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,267eec8ad557a7d0 X-Google-Attributes: gid103376,public From: Ken Garlington Subject: Re: ARIANE-5 Failure (DC-X works) Date: 1996/06/17 Message-ID: <31C57AC5.1083@lmtas.lmco.com>#1/1 X-Deja-AN: 160696247 references: <834097751.22632.0@assen.demon.co.uk> <31B7A88D.446B@lri.fr> <4p9m1j$pm2@dfw.dfw.net> <31B84662.7930@lmtas.lmco.com> <4pd540$rl2@Starbase.NeoSoft.COM> <4pd7qc$kp2@dfw-ixnews4.ix.netcom.com> <31BC0835.5930@lmtas.lmco.com> 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-06-17T00:00:00+00:00 List-Id: 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"