comp.lang.ada
 help / color / mirror / Atom feed
From: Marin David Condic <mcondic.auntie.spam@acm.org>
Subject: Re: Safety-Critical Systems Developed Using C++
Date: Wed, 17 Jan 2001 21:02:45 -0500
Date: 2001-01-18T02:04:31+00:00	[thread overview]
Message-ID: <3A664EC4.6F679BE0@acm.org> (raw)
In-Reply-To: 945eeq$vmk$1@nnrp1.deja.com

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.

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

k_e_n_s_a_i@my-deja.com wrote:

> I suppose it's irrelevant, but the integrity of a program depends on
> the skill of the programmers rather than the language it is coded in.
> Any syntactically correct language should be equally stable, excluding
> compiler flaws, etc.
>
> Sent via Deja.com
> http://www.deja.com/

--
======================================================================
Marin David Condic - Quadrus Corporation - http://www.quadruscorp.com/
Send Replies To: m c o n d i c @ q u a d r u s c o r p . c o m
Visit my web site at:  http://www.mcondic.com/

    "I'd trade it all for just a little more"
        --  Charles Montgomery Burns, [4F10]
======================================================================





  reply	other threads:[~2001-01-18  2:02 UTC|newest]

Thread overview: 48+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-01-17  3:53 Safety-Critical Systems Developed Using C++ Ken Garlington
2001-01-17  5:20 ` Richard Andrews
2001-01-17 17:02   ` Wes Groleau
2001-01-17 15:22 ` Mario Grgic
2001-01-17 16:20   ` Ian Wild
2001-01-17 16:44   ` Steve Nester
2001-01-17 17:04     ` Greg Comeau
2001-01-17 17:28   ` Marin David Condic
2001-01-17 23:58   ` Ken Garlington
2001-01-19  4:00   ` Flavius Vespasian
2001-01-19  7:33     ` Gerhard Häring
2001-01-19 15:28       ` Philip Anderson
2001-01-18  0:47 ` k_e_n_s_a_i
2001-01-18  2:02   ` Marin David Condic [this message]
2001-01-17 18:57     ` John Luebs
2001-01-18  8:42       ` Lao Xiao Hai
2001-01-18 13:49         ` Ken Garlington
2001-01-18 14:40           ` Peter Amey
2001-01-18 17:30           ` r_c_chapman
2001-01-18 20:45           ` Phil Staite
2001-01-19 10:40             ` Tarjei T. Jensen
2001-01-19 16:05               ` Phil Staite
2001-01-18 15:03         ` Marin David Condic
2001-01-18 14:54       ` Marin David Condic
2001-01-18 21:47       ` Mike Silva
2001-01-18 15:24     ` Ted Dennison
2001-01-18 16:05       ` Sahan Amarasekera
2001-01-18 19:12         ` Ted Dennison
2001-01-18 22:40         ` Marin David Condic
2001-01-19 11:27         ` Dewi Daniels
2001-01-20  0:46       ` ian.kerr2
2001-01-20  3:54         ` tmoran
2001-01-20 19:22           ` Ken Garlington
2001-01-18 18:42     ` k_e_n_s_a_i
2001-01-18 19:24       ` Britt Snodgrass
2001-01-18 22:57         ` Marin David Condic
2001-01-18 23:10           ` Jeffrey Carter
2001-01-19 22:22             ` Marin David Condic
2001-01-20  4:30           ` Larry Kilgallen
2001-01-22 15:20             ` Marin David Condic
2001-01-22 16:46               ` Robert Dewar
2001-01-18 22:52       ` Marin David Condic
2001-01-19 12:10       ` Ken Garlington
2001-01-21 23:17   ` dvdeug
2001-01-19  8:22 ` Daryle Walker
2001-01-19  9:19   ` Ian Wild
2001-01-19 12:13   ` Ken Garlington
2001-01-19 12:14   ` David Kristola
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox