Re: Certified C compilers for safety-critical embedded systems

From: Peter Amey (peter.amey_at_praxis-cs.co.uk)
Date: 12/28/03 

Date: Sun, 28 Dec 2003 08:34:00 +0000

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

Relevant Pages