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: f849b,b8d52151b7b306d2 X-Google-Attributes: gidf849b,public X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-12-28 00:34:04 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!62.164.179.169!not-for-mail From: Peter Amey Newsgroups: comp.arch.embedded,comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems Date: Sun, 28 Dec 2003 08:34:00 +0000 Message-ID: References: <3fe00b82.90228601@News.CIS.DFN.DE> <3FE026A8.3CD6A3A@yahoo.com> <3bf1uvg2ntadvahfud2rg6ujk24sora6gr@4ax.com> <2u3auvogde8ktotlaq0ldiaska3g416gus@4ax.com> <20619edc.0312221020.3fd1b4ee@posting.google.com> <20619edc.0312222106.3b369547@posting.google.com> <20619edc.0312231132.58868a9e@posting.google.com> NNTP-Posting-Host: 62.164.179.169 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 1072600442 15009807 62.164.179.169 ([69815]) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: <20619edc.0312231132.58868a9e@posting.google.com> Xref: archiver1.google.com comp.arch.embedded:6208 comp.lang.ada:3875 Date: 2003-12-28T08:34:00+00:00 List-Id: Mike Silva wrote: [snip] >>> >>>http://www.sparkada.com/downloads/Mar2002Amey.pdf >> >>An interesting article, though not for the residual error reduction >>references, which are simply quotes of claims made by Lockheed, with >>no background. > > > Just to clarify, the error reduction claims I was referring to were > those cited from a UK MoD study done by Aerosystems International. > I'd like to be able to find that study, or a fuller summary, on line. > > Mike The study was only fully reported at a private MoD briefing. The nearest thing to a public version is in a recent article by Andy German (of Qinetiq) in a recent issue of Crosstalk. The Andy German paper covers experiencess of static analysis of a large number of air systems and shows similar (but not quite so extreme) trends to the C130J figures. Peter