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-Thread: 103376,ac9405996d0dcb7f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.news.pas.earthlink.net.POSTED!a6202946!not-for-mail From: Jeffrey Carter Organization: jrcarter commercial-at acm [period | full stop] org User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.4) Gecko/20030624 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Would You Fly an Airplane with a Linux-Based Control System? References: <20619edc.0411251028.3e249bf3@posting.google.com> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Sat, 27 Nov 2004 20:24:10 GMT NNTP-Posting-Host: 63.184.105.178 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.news.pas.earthlink.net 1101587050 63.184.105.178 (Sat, 27 Nov 2004 12:24:10 PST) NNTP-Posting-Date: Sat, 27 Nov 2004 12:24:10 PST Xref: g2news1.google.com comp.lang.ada:6561 Date: 2004-11-27T20:24:10+00:00 List-Id: Marius Amado Alves wrote: > I'm not mistaken. What you say does not disprove my hypothesis. Look, I > probably know the story as well as you guys. And the story is that an > Ada software component from Ariane 4 was reused for Ariane 5 without > change. This and the fact that there was an hardware mismatch resulted > in a BUGGY software system. Just answer this: how was the system fixed? > Did they change the hardware? No. Ergo, the software was at fault, not > the hardware. I think you'll find they changed the requirements, then made any changes that necessitated to the design (possibly none), and then changed the software to reflect the changes in the requirements and design. I agree that the SW system had an error, but it was an error in requirements, not in implementation. Anyway, I was addressing the claim that an implementation in C would not have exhibited the error, not where the error lay. -- Jeff Carter "Many times we're given rhymes that are quite unsingable." Monty Python and the Holy Grail 57