comp.lang.ada
 help / color / mirror / Atom feed
From: Lao Xiao Hai <laoxhai@ix.netcom.com>
Subject: Re: Safety-Critical Systems Developed Using C++
Date: Thu, 18 Jan 2001 00:42:11 -0800
Date: 2001-01-18T08:43:20+00:00	[thread overview]
Message-ID: <3A66AC63.74ECBADB@ix.netcom.com> (raw)
In-Reply-To: 6Hu96.4848$rw.42689@e420r-atl2.usenetserver.com



John Luebs wrote:

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

1)  The DoD did not abandon Ada.

2)  Ada continues to be used for many important DoD projects.

3)  We continue to teach Ada in the DoD sponsored academic environments such
as West Point,
      USAF Academy, and Naval Postgraduate School.

4)  The DoD did issue a memorandum relaxing the Ada policy in favor of a
broader view
      of language selection.  That memorandum provides for an SEPR (Software
Engineering
      Process Review) that includes selecting a programming language for a
project on the
      basis of its appropriateness for the project being planned.   When
safety-critical is the
      overriding issue, intelligent planners select Ada.   Others, guided not
by technological
      concerns but political ones, may choose something else.

5)  Anyone who would choose C++ of Java for a DoD safety-critical weapon
systems program
     is maknig that choice on the basis of concerns that have nothing to do
with reliability or
     correctness of the technology.

6)  There continue to be good engineers who understand the value of Ada for
weapon systems
      development.   Of course, we do need more, but we are fortunate to still
have a few.

I keep encountering this kind of misinterpretation of DoD policy regarding
Ada.   It seems that even
those who have read Mr. Paige's directive on this subject fail to read it in
its entirety.  All they
see is the relaxing of the mandate, not the continued support for Ada.

Richard Riehle





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