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: 103376,82c2596e4584d057 X-Google-Attributes: gid103376,public From: Ken Garlington Subject: Re: Ariane 5 Failure - Summary Report Date: 1996/07/29 Message-ID: <31FCAC52.B62@lmtas.lmco.com>#1/1 X-Deja-AN: 170869330 references: <31F60E8A.2D74@lmtas.lmco.com> <31F629B8.5FFB@lmtas.lmco.com> <4t7fs4$bq62@red.interact.net.au> content-type: text/plain; charset=us-ascii organization: Lockheed Martin Tactical Aircraft Systems mime-version: 1.0 newsgroups: comp.lang.ada x-mailer: Mozilla 2.02 (Macintosh; I; 68K) Date: 1996-07-29T00:00:00+00:00 List-Id: Alan Brain wrote: > > Thirdly, assuming either of the above, not checking that an arithmetic operation of > this kind before it's fully complete is just plain silly. And such a check is un > morceau de gateaux. This is an implementation fault. It's a question of perception. If a system designer says, "Don't add this check," and I as an implementer don't add this check (possibly only after asking the designer, "Are you _sure_"?), is this a design or an implementation fault? It appears to me, from reading the report, that the lack of a check was an intentional _design_ decision, not just something that was required but inadvertantly left out of the code. I consider this a design fault (if not a specification fault). In the final analysis, you could call all of this an implementation error (since the implementation is the only part of the process that was actually on the system), but to me that seems to be a poor way to understand the chain of events. > Jeez, Ada provides safety belts, Anti-lock brakes, etc but if people don't buckle > up, and don't even bother to use the brake peddle, what can you do? Certainly, if people don't buckle up, you don't blame the car implementer (manufacturer)! -- LMTAS - "Our Brand Means Quality"