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,28cd155693714664 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-19 10:06:38 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!news.binc.net!kilgallen From: Kilgallen@SpamCop.net (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: Faulty languages and Liability Date: 19 Jun 2002 12:06:35 -0600 Organization: LJK Software Message-ID: <2ELOLD3GG0z1@eisner.encompasserve.org> References: <3D0DE5E2.5010904@mail.com> <3D0F91D3.87CDBDF7@NOSPAM.visteon.com> <9l1yXnVJaOCo@eisner.encompasserve.org> <3D10A7A0.376A5F45@NOSPAM.visteon.com> NNTP-Posting-Host: eisner.encompasserve.org X-Trace: grandcanyon.binc.net 1024506311 30276 192.135.80.34 (19 Jun 2002 17:05:11 GMT) X-Complaints-To: abuse@binc.net NNTP-Posting-Date: Wed, 19 Jun 2002 17:05:11 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:26404 Date: 2002-06-19T12:06:35-06:00 List-Id: In article <3D10A7A0.376A5F45@NOSPAM.visteon.com>, John Kern writes: > Larry Kilgallen wrote: > >> In a real court case, issues of compiler validation would likely not >> have any bearing unless it can be shown the compiler in question made >> an error that would have been caught by a validated compiler. > > > I once heard from one of my professors that they preferred to take > testimony from only engineers certified Professional Engineers. If I > were on a jury and someone told me that they used a "Validated" > compiler, I think I would think more highly of it than otherwise, even > if I didn't know what it meant. Competent opposing counsel would make sure you knew what that meant. > Wouldn't your argument also hold that if a language in question allowed > an error that would have been caught by another language? Certainly if the error in question was the cause of the problem. Not if management running the software on the wrong hardware (rocket) was the cause of the problem. > If a field of endeavor establishes an industry "best practice" say for > eliminating errors in embedded software, (say MISRA C coding standards), > I think a supplier is at risk for deviating. Perhaps in an Enron-style trial for gross misconduct, but not for a trial about a particular failure incident.