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: 101deb,885dab3998d28a4 X-Google-Attributes: gid101deb,public X-Google-Thread: 103376,885dab3998d28a4 X-Google-Attributes: gid103376,public X-Google-Thread: f74ae,eca28648989efca9 X-Google-Attributes: gidf74ae,public X-Google-Thread: 107079,eca28648989efca9 X-Google-Attributes: gid107079,public From: mheaney@ni.net (Matthew Heaney) Subject: Re: Ariane 5 failure Date: 1996/09/26 Message-ID: #1/1 X-Deja-AN: 185592297 distribution: inet references: <52a572$9kk@goanna.cs.rmit.edu.au> <52bm1c$gvn@rational.rational.com> <1780E8471.KUNNE@frcpn11.in2p3.fr> content-type: text/plain; charset=ISO-8859-1 organization: Estormza Software mime-version: 1.0 newsgroups: sci.astro,sci.math.num-analysis,comp.lang.pl1,comp.lang.ada Date: 1996-09-26T00:00:00+00:00 List-Id: In article <1780E8471.KUNNE@frcpn11.in2p3.fr>, KUNNE@frcpn11.in2p3.fr (Ronald Kunne) wrote: >In article <52bm1c$gvn@rational.rational.com> >rlk@rational.com (Bob Kitzberger) writes: > >>Ada _has_ range checks built into the language. They were explicitly >>disabled in this case. > >The problem of constructing bug-free real-time software seems to me >a trade-off between safety and speed of execution (and maybe available >memory?). In other words: including tests on array boundaries might >make the code saver, but also slower. > >Comments? Why, yes. If the rocket blows up, at the cost of millions of dollars, then I'm not clear what the value of "faster execution" is. The rocket's gone, so what difference does it make how fast the code executed? If you left the range checks in, your code would be *marginally* slower, but you'd still have your rocket, now wouldn't you? >Ronald Matt -------------------------------------------------------------------- Matthew Heaney Software Development Consultant mheaney@ni.net (818) 985-1271