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,FREEMAIL_FROM, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f849b,b8d52151b7b306d2 X-Google-Attributes: gidf849b,public X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-01-09 12:16:26 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!feed1.news.rcn.net!rcn!wn11feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!not-for-mail Message-ID: <3FFF00D0.9997DC0B@yahoo.com> From: CBFalconer Reply-To: cbfalconer@worldnet.att.net Organization: Ched Research X-Mailer: Mozilla 4.75 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.arch.embedded,comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems References: <3fe00b82.90228601@News.CIS.DFN.DE> <5802069.JsgInS3tXa@linux1.krischik.com> <1072464162.325936@master.nyc.kbcfp.com> <1563361.SfB03k3vvC@linux1.krischik.com> <11LvOkBBXw7$EAJw@phaedsys.demon.co.uk> <3ff0687f.528387944@News.CIS.DFN.DE> <1086072.fFeiH4ICbz@linux1.krischik.com> <3ff18d4d.603356952@News.CIS.DFN.DE> <1731094.1f7Irsyk1h@linux1.krischik.com> <3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com> <3ff20cc8.635997032@News.CIS.DFN.DE> <3ff9df16.30249104@News.CIS.DFN.DE> <1073573635.128327@master.nyc.kbcfp.com> <1073670876.126393@master.nyc.kbcfp.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Fri, 09 Jan 2004 20:16:25 GMT NNTP-Posting-Host: 12.76.139.123 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1073679385 12.76.139.123 (Fri, 09 Jan 2004 20:16:25 GMT) NNTP-Posting-Date: Fri, 09 Jan 2004 20:16:25 GMT Xref: archiver1.google.com comp.arch.embedded:7176 comp.lang.ada:4266 Date: 2004-01-09T20:16:25+00:00 List-Id: Hyman Rosen wrote: > Robert I. Eachus wrote: > > > Arianne 501 crashed because... > > Yes, I know. But I'm also pretty sure that there's lots of > safety-critical code that's written in C. If someone is going to > mouth off with ignorant comments about C, I want to make sure > that I mouth off with ignorant comments about Ada. Neither of which is very helpful. You might do well to recognize that Ada has been designed to detect Stupid Human Tricks as far as practicable, while C is designed to allow SHTs anywhere that they are not demonstrably and immediately fatal. At the same time I expect Scott Moore has more experience with strongly typed and relatively safe languages than you do. I may be wrong. Given a choice of two airline pilots, would you choose the one whose sole experience has been stunt-flying and racing, or the one who has been captaining an airliner without incident for a similar length of time? Would you alter your choice if a) You want to get there in one piece or b) You have to get there yesterday to prevent disaster or c) Only one is available. -- Chuck F (cbfalconer@yahoo.com) (cbfalconer@worldnet.att.net) Available for consulting/temporary embedded and systems. USE worldnet address!