From: Michael Feldman <mfeldman@gwu.edu>
Subject: Re: Ada/SPARK in railway signaling
Date: Fri, 05 Dec 2014 15:29:01 -0800
Date: 2014-12-05T15:29:01-08:00 [thread overview]
Message-ID: <m5tf3u$4em$1@speranza.aioe.org> (raw)
In-Reply-To: 5480d0b8$0$25098$c00b7f07@94.232.116.90
Martyn Pike wrote:
> On 03/12/2014 21:22, Michael Feldman wrote:
>> Martyn Pike wrote:
>>
>>>
>>>
>>> Martyn
>>
>> The linked article mentions new signaling on the Northern Line as well.
>> Is this the same Ada/SPARK software as on the Victoria? Any other new
>> Underground signaling in the works?
>
> No the Northern Line is not the same software as the Victoria line.
>
> There are some others but unfortunately until they are in passenger service I
> can't discuss them much.
Can you say whether any are in the US?
>
>>
>> Thanks very much for this info. I'll make a poster ASAP, for the SIGAda
>> poster gallery linked from
>>
>> http://sigada.org/
>
> I look forward to seeing it.
Have a look at that home page now. Posters are up for Victoria Line and Paris
Line 1. Also in the full gallery at
http://sigada.org/awareness/ada-posters-gallery/index.html
Just click on a thumbprint to get a full resizable printable poster.
>
>>
>> Mike Feldman
Mike Feldman
prev parent reply other threads:[~2014-12-05 23:29 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-12-01 22:45 Blurb re: AdaCore in latest issue of Trains Magazine! Michael Feldman
2014-12-02 10:11 ` Jacob Sparre Andersen
2014-12-02 10:15 ` Jacob Sparre Andersen
2014-12-02 21:41 ` Martyn Pike
2014-12-03 21:22 ` Ada/SPARK in railway signaling (was: Blurb re: AdaCore in latest issue of Trains Magazine!) Michael Feldman
2014-12-04 21:23 ` Ada/SPARK in railway signaling Martyn Pike
2014-12-05 23:29 ` Michael Feldman [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox