Blurb re: AdaCore in latest issue of Trains Magazine!

Blurb re: AdaCore in latest issue of Trains Magazine!

[Michael Feldman]

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.

Re: Blurb re: AdaCore in latest issue of Trains Magazine!

[Jacob Sparre Andersen]

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."

Re: Blurb re: AdaCore in latest issue of Trains Magazine!

[Jacob Sparre Andersen]

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/

Re: Blurb re: AdaCore in latest issue of Trains Magazine!

[Martyn Pike]

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

Ada/SPARK in railway signaling (was: Blurb re: AdaCore in latest issue of Trains Magazine!)

[Michael Feldman]

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

Re: Ada/SPARK in railway signaling

[Martyn Pike]

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

Re: Ada/SPARK in railway signaling

[Michael Feldman]

Martyn Pike wrote:
> 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.

Can you say whether any are in the US?
>
>>
>> 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.

Have a look at that home page now. Posters are up for Victoria Line and Paris 
Line 1. Also in the full gallery at

http://sigada.org/awareness/ada-posters-gallery/index.html

Just click on a thumbprint to get a full resizable printable poster.
>
>>
>> Mike Feldman

Mike Feldman