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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 115aec,f41f1f25333fa601 X-Google-Attributes: gid115aec,public X-Google-Thread: 103376,a3ca574fc2007430 X-Google-Attributes: gid103376,public From: Chris Hills Subject: Re: Ada and Automotive Industry Date: 1996/12/14 Message-ID: <$BtV6FAgTpsyEwmR@phaedsys.demon.co.uk>#1/1 X-Deja-AN: 204115359 distribution: world x-nntp-posting-host: phaedsys.demon.co.uk references: <55ea3g$m1j@newsbf02.news.aol.com> <3280DA96.15FB@hso.link.com> organization: Phaedrus Systems mime-version: 1.0 newsgroups: comp.lang.ada,comp.realtime Date: 1996-12-14T00:00:00+00:00 List-Id: In article <32A4368E.41C67EA6@escmail.orl.lmco.com>, Ted Dennison writes >Of course even if the problem were what you said, it wouldn't mean much. >ALL software has bugs; C software and Ada software. > The point is that if >your primary goal is low-error software, you should choose tools and >methodoligies that are the least error prone, and make it the easiest to >spot (and non-intrusively fix) errors. In this day and age, there is >little doubt as to the relative ranks of C and Ada in this regard. If Ada, Mod2, C and C++ had an [approx] equal number of users who exersicsed comparable implimentations the order for safe reliable code would indeed be Ada Mod2 C C++ However the point I was trying to make that by sheer wheight of numbers C tends to be exercised more than other languages and most of the bugs in any particular implimentation found and better understood. I was told that the C compiler is the most completely understood form of SW on the planet because of this. It does not mean that all C compilers are perfect or all are used correctly >You >must then staff the project with people who know how to properly use the >tools, or it is all for naught. > This is probably the real bottom line. A good assembler programmer could turn out a safer program than a cowboy with Ada? I have seen a project (in C) where all the compiler warnings were turned off because "they were not ERRORS" and besides there were 100's of them ad it would take too long to sort them and any way the program ran (they said "worked"). In reality it comes down to the skill of the project team. As I said previously the Ariane 5 rocket used Ada but the same crash could have been achived with any language (but more efficiently in C :-) as the real problem appears to have been with the project control. /\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\ \/\/\/\/\/\ Chris Hills,Tamworth Staffs /\/\/\/\/\/ /\/\/\/\/\/\/\/\/\ B77 5PG England /\/\/\/\/\/\/\/\ \/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/