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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 107f24,582dff0b3f065a52 X-Google-Attributes: gid107f24,public X-Google-Thread: 1014db,582dff0b3f065a52 X-Google-Attributes: gid1014db,public X-Google-Thread: 103376,bc1361a952ec75ca X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,582dff0b3f065a52 X-Google-Attributes: gid109fba,public X-Google-ArrivalTime: 2001-08-02 10:25:18 PST Message-ID: <3B698CFD.77903C51@baesystems.com> Date: Thu, 02 Aug 2001 18:25:17 +0100 From: David Gillon Organization: BAE SYSTEMS Avionics (Rochester) X-Mailer: Mozilla 4.5 [en] (WinNT; I) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++,comp.lang.functional Subject: Re: How Ada could have prevented the Red Code distributed denial of service attack. References: <%CX97.14134$ar1.47393@www.newsranger.com> <9ka0on$me1@augusta.math.psu.edu> <9kbs3h$p1j$1@nh.pace.co.uk> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit NNTP-Posting-Host: rc3284.rochstr.gmav.gecm.com X-Trace: 2 Aug 2001 18:15:38 GMT, rc3284.rochstr.gmav.gecm.com Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!colt.net!dispose.news.demon.net!demon!easynet-monga!easynet-melon!easynet.net!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!rc3284.rochstr.gmav.gecm.com Xref: archiver1.google.com comp.lang.ada:11106 comp.lang.c:71687 comp.lang.c++:79392 comp.lang.functional:7201 Date: 2001-08-02T18:25:17+01:00 List-Id: Marin David Condic wrote: > "Mike Smith" wrote: > > Define "major". Is the software for automotive engine computers written in > > Ada? The embedded world is one of the most "major" categories of software > > development, and I'd bet that a lot of that is in fact written in assembly. > > Ummmmm Actually, I've heard tell of automotive computers being programmed in > Ada. I won't swear to that because I can't cite specifics - but I can attest > to this: Aircraft jet engines have controls programmed in Ada and they work > quite well, thank you. (Take a bow, Marin!) It occurs to me I've never seen a comparison between the complexity of a typical automotive engine controller and a jet engine FADEC. Anyone have any useful data for comparison--LoC, function points, whatever? > BTW: This is more than just > military jet engines - large commercial jet engines also have Ada on board. Also latest generation large commercial jets in general, the Boeing 777 being a case in point. > Why? Because if the engine control fails in an aircraft, a pilot (and maybe > passengers) are going to have a really bad day. They tend to not have a > sense of humor about it either. And they aren't going to buy the excuse that > "Any *competent* programmer..." wouldn't have let this happen. Ditto for the flight controls and other safety critical avionics. FAA/JAA certification requirements might come as an unpleasant shock to a lot of developers used to working at lower safety integrity levels. -- David Gillon