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,LOTS_OF_MONEY autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e1a91c4d90acda97 X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,e1a91c4d90acda97 X-Google-Attributes: gid109fba,public X-Google-ArrivalTime: 2001-01-16 21:14:04 PST Path: supernews.google.com!sn-xit-03!supernews.com!cyclone-sf.pbi.net!63.208.208.143!feed2.onemain.com!feed1.onemain.com!news-out.cwix.com!newsfeed.cwix.com!intgwpad.nntp.telstra.net!news-server.bigpond.net.au!not-for-mail From: "Richard Andrews" Subject: Re: Safety-Critical Systems Developed Using C++ Newsgroups: comp.lang.ada,comp.lang.c++ Organization: Ixla Ltd References: User-Agent: Pan/0.9.1 (Unix) X-No-Productlinks: Yes Message-ID: Date: Wed, 17 Jan 2001 05:20:57 GMT NNTP-Posting-Host: 144.132.2.10 X-Complaints-To: news@bigpond.net.au X-Trace: news-server.bigpond.net.au 979708857 144.132.2.10 (Wed, 17 Jan 2001 16:20:57 EST) NNTP-Posting-Date: Wed, 17 Jan 2001 16:20:57 EST Xref: supernews.google.com comp.lang.ada:4081 comp.lang.c++:39921 Date: 2001-01-17T05:20:57+00:00 List-Id: In article , "Ken Garlington" wrote: > I'm trying to generate a list of safety-critical software-intensive > systems that have been developed in C++ and subsequently put into > production. So far, I have found vague references to: > > Bay Area Rapid Transit (BART) train control system Air Traffic Control > system in U.S. European train control systems > > Does anyone have any pointers to others, or confirmation/additional > details as to the list above? I got the feeling that the European train control systems were written in Eiffel, but I might be wrong. It was used as a design-by-contract success story in a seminar I went to last year.