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: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public From: john@assen.demon.co.uk (John McCabe) Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/20 Message-ID: <33308069.3279956@news.demon.co.uk>#1/1 X-Deja-AN: 226833273 X-NNTP-Posting-Host: assen.demon.co.uk References: <332B5495.167EB0E7@eiffel.com> <332d95c9.1004852@news.demon.co.uk> Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-20T00:00:00+00:00 List-Id: nouser@nohost.nodomain (Thomas) wrote: >In article <332d95c9.1004852@news.demon.co.uk> john@assen.demon.co.uk (John McCabe) writes: <..snip..> I forgot to address this bit: >Or what about choosing a less ambitious flight >trajectory and maybe lower payload so that control required less >computation? This was one of the ironies of it all i.e. the computations being performed at the time of the exception were completely unnecessary and should not have been performed at the time. Sure with a lower CPU loading you could have put in checks, but it sounds to me like noone had a clue what they should do if they detected a fault anyway. Best Regards John McCabe