From: Mike Silva <snarflemike@yahoo.com>
Subject: Re: Arguments for using Ada
Date: Thu, 21 May 2009 07:23:23 -0700 (PDT)
Date: 2009-05-21T07:23:23-07:00 [thread overview]
Message-ID: <5c1771d1-74a9-4640-b171-78a86196461c@l28g2000vba.googlegroups.com> (raw)
In-Reply-To: 77f9ljF1h8vniU1@mid.individual.net
I've always been impressed by the finding that some Ada code certified
to DO-178B had only one tenth the residual error rate of some C code
also certified to DO-178B. Maybe the Praxis folk can help you
document that finding. In addition, you should peruse all their
online publications.
Here's the reference to the one-tenth residual error figure:
http://www.praxis-his.com/sparkada/pdfs/spark_c130j.pdf
next prev parent reply other threads:[~2009-05-21 14:23 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-19 8:41 Arguments for using Ada Georg Maubach
2009-05-19 9:13 ` christoph.grein
2009-05-19 9:18 ` Ludovic Brenta
2009-05-19 9:38 ` Ludovic Brenta
2009-05-19 11:28 ` roderick.chapman
2009-05-19 12:29 ` Peter Hermann
2009-05-21 14:23 ` Mike Silva [this message]
2009-05-21 18:33 ` roderick.chapman
2009-05-25 6:06 ` Michael Erdmann
2009-05-25 6:06 ` Michael Erdmann
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox