From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Michael Feldman <mfeldman@gwu.edu>
Newsgroups: comp.lang.ada
Subject: Blurb re: AdaCore in latest issue of Trains Magazine!
Date: Mon, 01 Dec 2014 14:45:56 -0800
Organization: Aioe.org NNTP Server
Message-ID: <m5ir30$brq$1@speranza.aioe.org>
Reply-To: Michael Feldman <mfeldman@gwu.edu>
NNTP-Posting-Host: AgQMD2NjsQPF+9QMbyCShw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:33.0) Gecko/20100101 Firefox/33.0 SeaMonkey/2.30
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:23817
Date: 2014-12-01T14:45:56-08:00
List-Id: <comp.lang.ada>

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.