comp.lang.ada
 help / color / mirror / Atom feed
From: Sahan Amarasekera <sahan_aDOG@amarasekera.freeserve.co.uk>
Subject: Re: Safety-Critical Systems Developed Using C++
Date: Thu, 18 Jan 2001 16:05:28 +0000
Date: 2001-01-18T16:05:28+00:00	[thread overview]
Message-ID: <vu4e6tc8rqjvpu21q9t4aancrnuk0fn6se@4ax.com> (raw)
In-Reply-To: 9471rc$8cj$1@nnrp1.deja.com

On Thu, 18 Jan 2001 15:24:41 GMT, Ted Dennison <dennison@telepath.com>
wrote:

>In article <3A664EC4.6F679BE0@acm.org>,
>  Marin David Condic <mcondic.auntie.spam@acm.org> wrote:
>
>> 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
>
>That's interesting. Rational performed a similar study on their compiler
>codebase using data culled over 11 years of development, and found that
>their Ada code had 1/7th the defect rate of their C code and requied
>only half as many fixes per SLOC. 

Did they get any data on how Ada compared to C++ ??

----
Sahan Amarasekera

to email me, remove animal in email address:
sahan_aDOG@amarasekera.freeserve.co.uk



>Even compensating for differences in
>experience, training, function, and language expressivenes, the big gap
>was still there. Perhaps that's why many of Rational's heavy-hitters
>(including Grady Booch of UML fame) are big Ada proponents.
>
>Of course this study was for a large end-user application (a compiler
>and associated tools), not for a safety-critical system.
>
>For those interested, the full report is available at
>http://www.rational.com/products/whitepapers/337.jsp .




  reply	other threads:[~2001-01-18 16:05 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
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 [this message]
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