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=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable 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!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Blurb re: AdaCore in latest issue of Trains Magazine! Date: Tue, 02 Dec 2014 11:15:47 +0100 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: <87oarm1hnw.fsf@adaheads.sparre-andersen.dk> References: NNTP-Posting-Host: 195.249.206.131 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: loke.gir.dk 1417515347 22861 195.249.206.131 (2 Dec 2014 10:15:47 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Tue, 2 Dec 2014 10:15:47 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) Cancel-Lock: sha1:iO7EPRpHMK/0Of5KS6wGABNqVT8= Xref: news.eternal-september.org comp.lang.ada:23828 Date: 2014-12-02T11:15:47+01:00 List-Id: 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/