Re: Certified C compilers for safety-critical embedded systems

From: Mike Silva (
Date: 12/23/03

Date: 23 Dec 2003 11:32:08 -0800

Alan Balmer <> wrote in message news:<>...
> On 22 Dec 2003 21:06:08 -0800, (Mike Silva)
> wrote:

> >...For example, here's reference to a
> >100:1 residual error reduction between C and SPARK, and a 10:1
> >reduction between C and Ada, with all code having been previously
> >certified to DO178B level A:
> >
> >
> 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.