Re: Certified C compilers for safety-critical embedded systems
From: Mike Silva (snarflemike_at_yahoo.com)
Date: 23 Dec 2003 11:32:08 -0800
Alan Balmer <email@example.com> wrote in message news:<firstname.lastname@example.org>...
> On 22 Dec 2003 21:06:08 -0800, email@example.com (Mike Silva)
> >...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.