Blurb re: AdaCore in latest issue of Trains Magazine!

[Michael Feldman <mfeldman@gwu.edu>]

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.