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,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-Thread: f849b,b8d52151b7b306d2 X-Google-Attributes: gidf849b,public X-Google-ArrivalTime: 2004-01-09 14:49:39 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.arch.embedded,comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems Date: 09 Jan 2004 17:49:32 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: 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> NNTP-Posting-Host: pip1-5.std.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1073688578 32702 192.74.137.185 (9 Jan 2004 22:49:38 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 9 Jan 2004 22:49:38 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.arch.embedded:7186 comp.lang.ada:4275 Date: 2004-01-09T17:49:32-05:00 List-Id: Hyman Rosen writes: > 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. Yes, of course. There's plenty of hyperbole on usenet -- folks say "X is impossible and Y is perfect" when the truth is, "Y is better than X for certain purposes". It's interesting that there are actually *very* few disasters caused by the malfunction of safety-critical software (in *any* language). At least, compared to the number of malfunctions in software I use every day on my desk. Language is important, but it is far from the *only* issue in ensuring safety. And airplanes are not dropping out of the sky all the time. >... 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. ;-) This vaguely reminds me of the usenet game of "trolling", where one tries to trick one's opponents into thinking oneself is a blithering idiot. I don't get it -- how can anybody get satisfaction out of that? At least you said "nyah nyah" to let us know you were being sarcastic. Sorry, this is getting off topic. I'll shut up now. - Bob