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: 107079,eca28648989efca9
X-Google-Attributes: gid107079,public
X-Google-Thread: 103376,885dab3998d28a4
X-Google-Attributes: gid103376,public
X-Google-Thread: f74ae,eca28648989efca9
X-Google-Attributes: gidf74ae,public
From: KUNNE@frcpn11.in2p3.fr (Ronald Kunne)
Subject: Re: Ariane 5 failure
Date: 1996/09/26
Message-ID: <1780E8471.KUNNE@frcpn11.in2p3.fr>#1/1
X-Deja-AN: 185426131
distribution: inet
references: <agrapsDy4oJH.29G@netcom.com> <52a572$9kk@goanna.cs.rmit.edu.au>
 <52bm1c$gvn@rational.rational.com>
organization: In2p3
newsgroups: sci.astro,sci.math.num-analysis,comp.lang.pl1,comp.lang.ada
Date: 1996-09-26T00:00:00+00:00
List-Id: <comp.lang.ada>


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?
 
Greetings,
Ronald