Re: Certified C compilers for safety-critical embedded systems

From: Mike Silva (snarflemike_at_yahoo.com)
Date: 12/23/03


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

Alan Balmer <albalmer@att.net> wrote in message news:<eslguvk1fm9bbjs2hak84p2i2in77gv62d@4ax.com>...
> On 22 Dec 2003 21:06:08 -0800, snarflemike@yahoo.com (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:
> >
> >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