comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Amey <pna@praxis-cs.co.uk>
Subject: Re: Safety-Critical Systems Developed Using C++
Date: Thu, 18 Jan 2001 14:40:05 +0000
Date: 2001-01-18T14:40:05+00:00	[thread overview]
Message-ID: <3A670045.AC8D56FF@praxis-cs.co.uk> (raw)
In-Reply-To: awC96.8457$J%.852855@news.flash.net



Ken Garlington wrote:
> 
> "Lao Xiao Hai" <laoxhai@ix.netcom.com> wrote in message
> news:3A66AC63.74ECBADB@ix.netcom.com...
> :
> : 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.
> 
> Which brings me back to the original question: Does anyone know of a
> specific safety-critical application (military or non-military) that was
> implemented in C++ and subsequently put into operational use? Alternately,
> can anyone suggest a newsgroup that might be more appropriate for this
> question?

Ken,  

This is by way of being a "nil return".  Despite keeping a reasonably
close eye on this corner of the market place I am not aware of any such
system.  This doesn't mean someone won't eventually answer your question
positively but it does suggest that these systems are not enormously
common.  Certainly all of the critical C++ I have seen turned out to be
C compiled with a C++ compiler on closer inspection.

Peter


-- 
---------------------------------------------------------------------------   
      __         Peter Amey, Product Manager
        )                    Praxis Critical Systems Ltd
       /                     20, Manvers Street, Bath, BA1 1PX
      / 0        Tel: +44 (0)1225 466991
     (_/         Fax: +44 (0)1225 469006
                 http://www.praxis-cs.co.uk/

--------------------------------------------------------------------------



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