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=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-19 20:30:41 PST Path: supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!iad-read.news.verio.net.POSTED!kilgallen From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) Newsgroups: comp.lang.ada,comp.lang.c++ Subject: Re: Safety-Critical Systems Developed Using C++ Message-ID: References: <945eeq$vmk$1@nnrp1.deja.com> <3A664EC4.6F679BE0@acm.org> <947ddu$jpd$1@nnrp1.deja.com> <3A6742EF.D9136D3@adapower.net> <3A6774DA.E999CEF7@acm.org> Organization: LJK Software Date: 19 Jan 2001 23:30:36 -0500 NNTP-Posting-Host: 216.44.122.34 X-Complaints-To: abuse@verio.net X-Trace: iad-read.news.verio.net 979965038 216.44.122.34 (Sat, 20 Jan 2001 04:30:38 GMT) NNTP-Posting-Date: Sat, 20 Jan 2001 04:30:38 GMT Xref: supernews.google.com comp.lang.ada:4228 comp.lang.c++:40873 Date: 2001-01-19T23:30:36-05:00 List-Id: In article <3A6774DA.E999CEF7@acm.org>, Marin David Condic writes: > > Thats one of the reasonable justifications for using C (or some other > language with less safety features than Ada) for an embedded, critical > system. There just don't exist Ada compilers targeted to every processor > that is out there. (Still, there seem to be plenty of processors that *are* > supported!) > > And you're right - you can build safe systems in any language. As a customer (victim?) rather than provider of air travel, I am less interested in the theoretical possibility of getting it right and much more concerned about what the probability is they got it right on some particular plane.