Re: Safety-Critical Systems Developed Using C++

["John Luebs" <jkluebs@luebsphoto.com>]

In article <3A664EC4.6F679BE0@acm.org>, "Marin David Condic"
<mcondic.auntie.spam@acm.org> wrote:

> You'll get a lot of argument there from this crowd! :-)
> 
> I had a ten year study of error rates in embedded code for safety
> critical systems. Moving to Ada reduced the error rates by a factor of
> four. Same programmers. Same problem domain. Same sort of system
> architecture. No way around it. Ada's compile time checking, strong
> typing, etc., reduced the error rates. And not by just a little.
> 

Ada reduces error rates! So that's why the DoD abandoned it as fast as
possible!

> It's hard to argue with data that demonstrates a reduced error rate. All
> programmers make mistakes. Stronger checking up front catches more of
> them and reduces the cost of fixing them.
> 
> MDC