From: Michael Feldman <mfeldman@gwu.edu>
Subject: Ada/SPARK in railway signaling (was: Blurb re: AdaCore in latest issue of Trains Magazine!)
Date: Wed, 03 Dec 2014 13:22:51 -0800
Date: 2014-12-03T13:22:51-08:00 [thread overview]
Message-ID: <m5nuv7$2qk$1@speranza.aioe.org> (raw)
In-Reply-To: 547e3227$0$25064$c00b7f07@94.232.116.90
Martyn Pike wrote:
>>Mike Fedman wrote:
[snip]
>> P.S. Please write -- to the newsgroup or just to me -- if you're aware
>> of any current projects in the rail industry, using Ada or SPARK or
>> related products like CodePeer. Projects in the U.S. would be especially
>> interesting. Naturally I will respect confidentiality.
>
> The Victoria Line DTG-R is written in Ada and SPARK.
>
> Now supporting 34 trains per hour !
>
> http://www.tfl.gov.uk/info-for/media/press-releases/2014/june/victoria-line-upgrade-helps-to-deliver-most-frequent-train-service-in-uk
>
>
> 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?
Thanks very much for this info. I'll make a poster ASAP, for the SIGAda poster
gallery linked from
http://sigada.org/
Mike Feldman
next prev parent reply other threads:[~2014-12-03 21:22 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 ` Michael Feldman [this message]
2014-12-04 21:23 ` Ada/SPARK in railway signaling Martyn Pike
2014-12-05 23:29 ` 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