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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c4cb2c432feebd9d
X-Google-Thread: 1094ba,c4cb2c432feebd9d
X-Google-Attributes: gid103376,gid1094ba,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!news4.google.com!news.glorb.com!newsgate.cistron.nl!xs4all!amsnews11.chello.com!newsfeed01.chello.at!newsfeed02.chello.at!news.hispeed.ch.POSTED!not-for-mail
Message-Id: <1319222.cHklMpk1fa@linux1.krischik.com>
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: Ada vs Fortran for scientific applications
Newsgroups: comp.lang.ada,comp.lang.fortran
Followup-To: comp.lang.ada
Date: Thu, 25 May 2006 17:19:26 +0200
References: <mubcg.13522$fb2.853@newssvr27.news.prodigy.net>
 <epcs4e.qb8.ln@hunter.axlog.fr> <tHkcg.6937$kR6.484@trnddc05>
 <0ugu4e.4i7.ln@hunter.axlog.fr>
 <PkHcg.90575$Fs1.7198@bgtnsc05-news.ops.worldnet.att.net>
 <To_cg.10095$S7.4017@news-server.bigpond.net.au>
 <%P_cg.155733$eR6.26337@bgtnsc04-news.ops.worldnet.att.net>
 <pan.2006.05.24.15.48.07.783229@linuxchip.demon.co.uk.uk.uk>
 <ru0dg.156184$eR6.115957@bgtnsc04-news.ops.worldnet.att.net>
 <pan.2006.05.24.17.53.03.81353@linuxchip.demon.co.uk.uk.uk>
 <2006052415345816807-gsande@worldnetattnet> <op.s92jl8t85afhvo@dogen>
 <5H9dg.10257$S7.8193@news-server.bigpond.net.au>
User-Agent: KNode/0.10.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Complaints-To: abuse@hispeed.ch
Organization: hispeed.ch
NNTP-Posting-Host: 80.218.119.160 (80.218.119.160)
NNTP-Posting-Date: Thu, 25 May 2006 18:00:02 +0200
X-Trace: db8084475d482f57fd20515931
Xref: g2news2.google.com comp.lang.ada:4461 comp.lang.fortran:10246
Date: 2006-05-25T17:19:26+02:00
List-Id: <comp.lang.ada>

robin wrote:

> "Ed Falis" <falis@verizon.net> wrote in message
> news:op.s92jl8t85afhvo@dogen...
>> On Wed, 24 May 2006 14:34:58 -0400, Gordon Sande
>> <g.sande@worldnet.att.net> wrote:
>>
>> > The urban legends have the Fortran error of a DO loop that changed into
>> > an assignment because of a typo changing a comma into a period and
>> > a satellite was lost. For Ada it is a tossed interrupt that caused a
>> > launch failure. Bad practice of one will always be inferior to good
>> > practice of the other.
>>
>> In the Ariane 5 case, it wasn't the language, but mismanagement in
>> applying software appropriate to a launcher with different flight
>> parameters to a new one without review.
> 
> That wasn't the case.  The code was reviewed,
> and it was decided that the particular conversion
> didn't require a check for overflow (even though
> similar conversions in the vicinity had protection).

The review was only done for the Ariane 4 rocket. The real mistake was to
reuse the software on the Ariane 5 rocket without rerunning the test suite
or redoing the reviews.

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com