* Blurb re: AdaCore in latest issue of Trains Magazine!
@ 2014-12-01 22:45 Michael Feldman
2014-12-02 10:11 ` Jacob Sparre Andersen
` (2 more replies)
0 siblings, 3 replies; 7+ messages in thread
From: Michael Feldman @ 2014-12-01 22:45 UTC (permalink / raw)
Hi all,
The life-long rail enthusiast in me has been a long-term subscriber to Trains
Magazine (trains.com). Today I received the January 2015 print issue; imagine my
delight to see, on p. 21 in the "Technology Briefs" section, the following:
"New York City-based Adacore is offering its CodePeer analysis software to
automatically check on computer codes in rail and aviation systems. The software
checks for logic and other errors before the software is installed and goes
“live” on a system. In railroading, the application may be useful for
communications, signals, and other applications, such as positive train control.
For more information, visit www.adacore.com/codepeer."
I read a lot of rail literature, from several countries and in several
languages, aimed at the enthusiast as well as the professional. I'm not
surprised to see Ada-related articles and blurbs in the aerospace press; this is
the first time I've seen anything like this in the rail press.
Nice going, AdaCore!
Mike Feldman
mfeldman@gwu.edu
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.
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: Blurb re: AdaCore in latest issue of Trains Magazine!
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
2 siblings, 0 replies; 7+ messages in thread
From: Jacob Sparre Andersen @ 2014-12-02 10:11 UTC (permalink / raw)
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."
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: Blurb re: AdaCore in latest issue of Trains Magazine!
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
2 siblings, 0 replies; 7+ messages in thread
From: Jacob Sparre Andersen @ 2014-12-02 10:15 UTC (permalink / raw)
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/
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: Blurb re: AdaCore in latest issue of Trains Magazine!
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
2 siblings, 1 reply; 7+ messages in thread
From: Martyn Pike @ 2014-12-02 21:41 UTC (permalink / raw)
On 01/12/2014 22:45, Michael Feldman wrote:
> Hi all,
>
> The life-long rail enthusiast in me has been a long-term subscriber to
> Trains Magazine (trains.com). Today I received the January 2015 print
> issue; imagine my delight to see, on p. 21 in the "Technology Briefs"
> section, the following:
>
> "New York City-based Adacore is offering its CodePeer analysis software
> to automatically check on computer codes in rail and aviation systems.
> The software
> checks for logic and other errors before the software is installed and
> goes “live” on a system. In railroading, the application may be useful for
> communications, signals, and other applications, such as positive train
> control. For more information, visit www.adacore.com/codepeer."
>
> I read a lot of rail literature, from several countries and in several
> languages, aimed at the enthusiast as well as the professional. I'm not
> surprised to see Ada-related articles and blurbs in the aerospace press;
> this is the first time I've seen anything like this in the rail press.
>
> Nice going, AdaCore!
>
> Mike Feldman
> mfeldman@gwu.edu
>
> 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
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2014-12-05 23:29 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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 is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox