From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: Blurb re: AdaCore in latest issue of Trains Magazine!
Date: Tue, 02 Dec 2014 11:15:47 +0100
Date: 2014-12-02T11:15:47+01:00 [thread overview]
Message-ID: <87oarm1hnw.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: m5ir30$brq$1@speranza.aioe.org
Michael Feldman wrote:
> 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.
Metro line 1 in Paris has been switched to automatic using the software
originally developed for line 14. I have been told that this was the
first time the mixed-operation (automatic and human drivers) was used in
production, as the new cars for the line arrived from the factory.
Greetings,
Jacob
--
Photos from LinuxDay2014 in Cagliari:
http://linuxday.gulch.it/2014/album/
next prev parent reply other threads:[~2014-12-02 10:15 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox