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 07:10:46 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!colt.net!kibo.news.demon.net!news.demon.co.uk!demon!phaedsys.demon.co.uk!chris
From: Chris Hills <chris@phaedsys.org>
Newsgroups: comp.arch.embedded,comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
Date: Sun, 28 Dec 2003 15:05:38 +0000
Organization: Phaedrus Systems
Message-ID: <ua7ZFABCFv7$EA5V@phaedsys.demon.co.uk>
References: <3fe00b82.90228601@News.CIS.DFN.DE> <3FE026A8.3CD6A3A@yahoo.com>
 <x0%Db.16$_l6.25998@news.uswest.net>
 <3bf1uvg2ntadvahfud2rg6ujk24sora6gr@4ax.com>
 <2u3auvogde8ktotlaq0ldiaska3g416gus@4ax.com> <bs62ph$giu$1@newshost.mot.com>
 <20619edc.0312221020.3fd1b4ee@posting.google.com>
 <b5feuv06s2nmpakq0o1b7v0kpd450v3eli@4ax.com>
 <20619edc.0312222106.3b369547@posting.google.com>
 <eslguvk1fm9bbjs2hak84p2i2in77gv62d@4ax.com>
 <20619edc.0312231132.58868a9e@posting.google.com>
 <bsm4hq$ea20f$1@ID-69815.news.uni-berlin.de>
NNTP-Posting-Host: phaedsys.demon.co.uk
Mime-Version: 1.0
X-Trace: news.demon.co.uk 1072624246 25367 80.176.226.26 (28 Dec 2003 15:10:46
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Sun, 28 Dec 2003 15:10:46 +0000 (UTC)
X-Newsreader: Turnpike Integrated Version 5.01 M <7y9ouFdz6gbBVVTek6rkWKl0do>
Xref: archiver1.google.com comp.arch.embedded:6223 comp.lang.ada:3885
Date: 2003-12-28T15:05:38+00:00
List-Id: <comp.lang.ada>

In article <bsm4hq$ea20f$1@ID-69815.news.uni-berlin.de>, Peter Amey
<peter.amey@praxis-cs.co.uk> writes
>
>
>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
>
Hi Peter,

I have just downloaded your paper. Interesting and well worth reading. 

Regards
        Chris


/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
\/\/\/\/\ Chris Hills  Staffs  England    /\/\/\/\/\
/\/\/ chris@phaedsys.org       www.phaedsys.org \/\/
\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/