comp.lang.ada
 help / color / mirror / Atom feed
From: Marin David Condic <nobody@noplace.com>
Subject: Re: stupid question
Date: Wed, 08 Oct 2003 13:01:20 GMT
Date: 2003-10-08T13:01:20+00:00	[thread overview]
Message-ID: <3F840A9F.4030408@noplace.com> (raw)
In-Reply-To: d8f235a4.0310071912.563d16ea@posting.google.com

I hope you're not trolling to see if you can start a language war. ;-)

Some have mentioned Spark - a subset of Ada. That has merit. I regularly 
build engine controls for jet and rocket engines using Ada - not the 
Spark subset. We don't use *all* features of Ada - usually for timing or 
sizing concerns or its just not in the nature of what we do. (Strings, 
for example, just aren't a big concern for an engine control.) We 
understand what things in the language may have some uncertainty or risk 
involved and make choices about what we use on a case-by-case basis.

In general we like Ada because of all the checking it does. (and other 
reasons, but for safety purposes, its the checking.) When we started 
using Ada we kept stats on defects found in the software and discovered 
that we had reduced error rates by a factor of four. We were building 
"safe" software before, but doing so with a much higher cost in testing 
and rework. Now, because we don't inject so many errors, its less 
expensive to make the software safe.

MDC



Shanon Fernald wrote:
> What programming language do you think would be best to use if you
> were building the software to manage a nuclear power plant and why?
> Which would let you sleep best at night knowing you lived next door to
> the plant?


-- 
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm

Send Replies To: m c o n d i c @ a c m . o r g

     "All reformers, however strict their social conscience,
      live in houses just as big as they can pay for."

          --Logan Pearsall Smith
======================================================================




  parent reply	other threads:[~2003-10-08 13:01 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-10-08  3:12 stupid question Shanon Fernald
2003-10-08  3:31 ` James Rogers
2003-10-08  4:34 ` Steve
2003-10-08 12:54   ` Marin David Condic
2003-10-08 13:01 ` Marin David Condic [this message]
2003-10-08 22:18 ` Robert I. Eachus
2003-10-09 10:09   ` Steffen Huber
2003-10-10 16:02     ` Robert I. Eachus
  -- strict thread matches above, loose matches on Subject: below --
2007-04-12 20:05 Stupid question Dmitry A. Kazakov
2007-04-12 21:40 ` Adam Beneschan
2007-04-12 22:02   ` Adam Beneschan
2007-04-13  8:20     ` Dmitry A. Kazakov
2007-04-13 13:53       ` Anh Vo
2007-04-13 15:35       ` Adam Beneschan
2007-04-13 17:12         ` Dmitry A. Kazakov
2007-04-13 18:14           ` Adam Beneschan
2007-04-13 18:50             ` Adam Beneschan
2007-04-13 19:01           ` Randy Brukardt
2007-04-13 19:33             ` Markus E Leypold
2007-04-13 23:39               ` Randy Brukardt
2007-04-14  7:25                 ` Dmitry A. Kazakov
replies disabled

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