comp.lang.ada
 help / color / mirror / Atom feed
From: Ken Garlington <garlingtonke@lmtas.lmco.com>
Subject: Re: ARIANE-5 Failure (DC-X works)
Date: 1996/06/17
Date: 1996-06-17T00:00:00+00:00	[thread overview]
Message-ID: <31C57AC5.1083@lmtas.lmco.com> (raw)
In-Reply-To: dewar.834725454@schonberg


Robert Dewar wrote:
> 
> Surely MatrixX cannot generate type incorrect code...

You have more confidence than I do in MatrixX!

However, I was thinking more in terms of trapping invalid values at execution time.
Certainly, a user can generate a control law diagram that generates out-of-bounds
results under certain conditions. If this software is used to drive a system 
simulation, then the Ada might fail in an obvious manner (and so the error would be 
detected), while some other language might fail in a subtle way -- or not at all, 
for the particular initial conditions.

-- 
LMTAS - "Our Brand Means Quality"




  reply	other threads:[~1996-06-17  0:00 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-06-06  0:00 ARIANE-5 Failure John McCabe
1996-06-07  0:00 ` Tronche Ch. le pitre
1996-06-07  0:00   ` David Weller
1996-06-07  0:00     ` Ken Garlington
1996-06-08  0:00       ` Samuel Mize
1996-06-09  0:00         ` ARIANE-5 Failure (DC-X works) Eugene W.P. Bingue 
1996-06-08  0:00           ` Robert Dewar
1996-06-09  0:00             ` ARIANE-5 Failure Dale Stanbrough
1996-06-09  0:00             ` ARIANE-5 Failure (DC-X works) Samuel Mize
1996-06-10  0:00               ` Robert Dewar
1996-06-12  0:00                 ` Samuel Mize
1996-06-13  0:00                   ` Robert Dewar
1996-06-17  0:00                     ` David Zink
1996-06-18  0:00                       ` Robert Dewar
1996-06-12  0:00                 ` Theodore E. Dennison
1996-06-15  0:00                   ` Robert Dewar
1996-06-13  0:00                 ` Ken Garlington
1996-06-14  0:00                   ` Robert Dewar
1996-06-17  0:00                     ` Ken Garlington
1996-06-18  0:00                       ` 4GL code in a deliverable (was: ARIANE-5 Failure) Arthur Evans Jr
1996-06-19  0:00                         ` Ken Garlington
1996-06-20  0:00                           ` Robert Dewar
1996-06-24  0:00                             ` Ken Garlington
1996-06-24  0:00                             ` Ken Garlington
1996-06-10  0:00               ` ARIANE-5 Failure Dale Stanbrough
1996-06-10  0:00             ` ARIANE-5 Failure (DC-X works) Ken Garlington
1996-06-14  0:00               ` Robert Dewar
1996-06-17  0:00                 ` Ken Garlington [this message]
1996-06-19  0:00                   ` 4THGL code Warren Taylor
1996-06-12  0:00         ` Automatic code generation (was ARIANE-5 Failure (DC-X works)) Steve Vestal
1996-06-07  0:00   ` ARIANE-5 Failure Ken Garlington
1996-06-07  0:00     ` John McCabe
1996-06-07  0:00     ` Robert Dewar
1996-06-07  0:00   ` Bert Peers
1996-06-08  0:00   ` Jim Kingdon
1996-06-09  0:00   ` Jim Kingdon
1996-06-09  0:00     ` Robert Dewar
1996-06-10  0:00       ` Dewi Daniels
1996-06-12  0:00         ` Theodore E. Dennison
1996-06-12  0:00           ` Ken Garlington
1996-06-13  0:00             ` Theodore E. Dennison
1996-06-13  0:00         ` Jan Kok
1996-06-10  0:00       ` Keith Thompson
1996-06-09  0:00   ` Jim Kingdon
1996-06-10  0:00   ` William Clodius
1996-06-07  0:00 ` Theodore E. Dennison
1996-06-10  0:00 ` William Clodius
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox