From: Martyn Pike <usenet@embeddedconsultinguk.com>
Subject: Re: Ada/SPARK in railway signaling
Date: Thu, 04 Dec 2014 21:23:00 +0000
Date: 2014-12-04T21:23:00+00:00 [thread overview]
Message-ID: <5480d0b8$0$25098$c00b7f07@94.232.116.90> (raw)
In-Reply-To: <m5nuv7$2qk$1@speranza.aioe.org>
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.
>
> 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.
>
> Mike Feldman
next prev parent reply other threads:[~2014-12-04 21:23 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 ` Martyn Pike [this message]
2014-12-05 23:29 ` Ada/SPARK in railway signaling Michael Feldman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox