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: 103376,f948976d12c7ee33 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-24 09:50:36 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!news.uunet.ca!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail Message-ID: <3EF87DD1.1060700@cogeco.ca> From: "Warren W. Gay VE3WWG" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Boeing and Dreamliner References: <3EF5F3F3.6000806@attbi.com> <3EF7F94D.5080105@attbi.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 24 Jun 2003 12:35:29 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1056472529 198.96.223.163 (Tue, 24 Jun 2003 12:35:29 EDT) NNTP-Posting-Date: Tue, 24 Jun 2003 12:35:29 EDT Organization: Bell Sympatico Xref: archiver1.google.com comp.lang.ada:39678 Date: 2003-06-24T12:35:29-04:00 List-Id: If there isn't a FAQ on this yet, there should be!!! 8-/ Warren. Robert I. Eachus wrote: > Hyman Rosen wrote: > >> The main problem was that the people who wrote this software >> didn't leave any indication behind that it was valid only for >> data which could be encountered by an Ariane 4. Pure and simple, >> the Ariane 4 programmers left a buffer overflow bug in their >> code, and the Ariane 5 people tripped over it. The fact that it >> was in Ada helped not at all. > > > First, wrong! The software was well documented. And since the > programmers had appealed the decision not to protect that particular > conversion with a local exception handler, it was a very well documented > part of the design. > > But the tean that wrote the software never saw the Ariane 5 > requirements, and the people who could have checked the SRI > documentation against the Ariane 5 requirements didn't have access to > the SRI documentation. Any attempt to put the two together would have > resulted in a much bigger "Hey, wait a minute!" Since the control laws > depended on Ariane 4 physical parameters. ... -- Warren W. Gay VE3WWG http://home.cogeco.ca/~ve3wwg