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:11:55 +0100
Date: 2014-12-02T11:11:55+01:00 [thread overview]
Message-ID: <87sigy1huc.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.
IIRC a French rail signalling project in Ada was discussed in a
presentation at the Ada Europe conference in Stockholm a few years ago.
You may already have it on your list, as it sounded like the system had
been in production (and continued development) for a long time.
One regional railway in Austria is using a new safety system implemented
in Ada, which was presented at the Ada Europe conference in Paris this
summer.
Greetings,
Jacob
--
"... while the C compiler will happily generate code for
almost anything produced by leaning on the keyboard."
next prev parent reply other threads:[~2014-12-02 10:11 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox