From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e1a91c4d90acda97 X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,e1a91c4d90acda97 X-Google-Attributes: gid109fba,public X-Google-ArrivalTime: 2001-01-18 12:54:03 PST Path: supernews.google.com!sn-xit-03!supernews.com!logbridge.uoregon.edu!newsfeed.stanford.edu!headwall.stanford.edu!unlnews.unl.edu!newsfeed.ksu.edu!nntp.ksu.edu!onews.collins.rockwell.com!not-for-mail From: Britt Snodgrass Newsgroups: comp.lang.ada,comp.lang.c++ Subject: Re: Safety-Critical Systems Developed Using C++ Date: Thu, 18 Jan 2001 13:24:31 -0600 Organization: N/A Message-ID: <3A6742EF.D9136D3@adapower.net> References: <945eeq$vmk$1@nnrp1.deja.com> <3A664EC4.6F679BE0@acm.org> <947ddu$jpd$1@nnrp1.deja.com> Reply-To: britt@adapower.net NNTP-Posting-Host: gatekeeper.collins.rockwell.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Mailer: Mozilla 4.51 [en]C-CCK-MCD (WinNT; U) X-Accept-Language: en Xref: supernews.google.com comp.lang.ada:4186 comp.lang.c++:40448 Date: 2001-01-18T13:24:31-06:00 List-Id: k_e_n_s_a_i@my-deja.com wrote: > > > Still, I would think it unlikely that military systems or other > critical applications would be programmed in C/C++, even if some I know of several safety critical systems programmed in C (not C++) where the software has been developed and verified in accordance with RTCA DO-178B Level A (most stringent) standards. These include instrument landing system (ILS) units used to help land large commercial aircraft. Safe software can be written in C; it just takes more time and money than doing it in Ada. One technical reason for using C is that the ILS units use unique processors such as 16-bit fixed-point DSP CPUs for which there is no Ada compiler available. Britt Snodgrass