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=2.0 required=5.0 tests=BAYES_05,FROM_WORDY,XPRIO autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e1a91c4d90acda97,start X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,e1a91c4d90acda97,start X-Google-Attributes: gid109fba,public X-Google-ArrivalTime: 2001-01-16 19:54:03 PST Path: supernews.google.com!sn-xit-03!supernews.com!cyclone-sjo1.usenetserver.com!news-out.usenetserver.com!nntp.flash.net!news.flash.net!not-for-mail From: "Ken Garlington" Newsgroups: comp.lang.ada,comp.lang.c++ Subject: Safety-Critical Systems Developed Using C++ X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: Date: Wed, 17 Jan 2001 03:53:10 GMT NNTP-Posting-Host: 216.215.78.34 X-Complaints-To: abuse@flash.net X-Trace: news.flash.net 979703590 216.215.78.34 (Tue, 16 Jan 2001 21:53:10 CST) NNTP-Posting-Date: Tue, 16 Jan 2001 21:53:10 CST Organization: FlashNet Communications, http://www.flash.net Xref: supernews.google.com comp.lang.ada:4080 comp.lang.c++:39899 Date: 2001-01-17T03:53:10+00:00 List-Id: 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?