comp.lang.ada
 help / color / mirror / Atom feed
From: "John B. Matthews" <nospam@nospam.invalid>
Subject: Re: Ariane 5 Failure from 1996
Date: Fri, 10 Jul 2009 14:17:59 -0400
Date: 2009-07-10T14:17:59-04:00	[thread overview]
Message-ID: <nospam-5707A3.14175910072009@news.aioe.org> (raw)
In-Reply-To: t8me55930rcv5n4ml2o4bou99e0lvcu199@4ax.com

In article <t8me55930rcv5n4ml2o4bou99e0lvcu199@4ax.com>,
 John McCabe <john@nospam.assen.demon.co.uk> wrote:

> On Fri, 10 Jul 2009 08:04:21 -0700 (PDT), Martin
> <martin.dowie@btopenworld.com> wrote:
[...]
> >My understanding of the Ariane pretty slim but if Wikipedia is 
> >accurate (http://en.wikipedia.org/wiki/Ariane_5) then it seems 
> >likely that the same error would have occurred, as my reading is 
> >that it was the deliberate removal of Ada checks that led to the 
> >32-bit Float being assigned to a 16-bit value, i.e. that part was 
> >C-in-Ada-syntax.
> 
> Interestingly enough, it is claimed in this article by the presenter, 
> with no reference as far as I can see to back up the claim.
> 
> http://www.two-sdg.demon.co.uk/curbralan/papers/MindYourLanguage.pdf

The author may have meant to cite "ARIANE 5 Flight 501 Failure Report 
by the Inquiry Board" in reference 7, but the link is invalid:

<http://www.esrin.esa.it/htdocs/tidc/Press/Press96/ariane5rep.html>

An archive may be found here:

<http://web.archive.org/web/20000815230639/www.esrin.esa.it/htdocs/tidc/
Press/Press96/ariane5rep.html>

> To me the whole section on Ada sounds like a typical spiel from 
> someone who really doesn't know Ada and has picked up a load of 
> anti-Ada propaganda from a number of disparate sources.

The article claims, "had the system been written in C, the disaster 
would probably never have happened!" That conclusion is unsupported in 
the article.

In contrast, I never get tired of reading Ian Joyner's "C++??", which 
I'd forgotten has a whole section on C:

<http://www.literateprogramming.com/c++critique.pdf>

-- 
John B. Matthews
trashgod at gmail dot com
<http://home.roadrunner.com/~jbmatthews/>



  parent reply	other threads:[~2009-07-10 18:17 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-07-10 14:53 Ariane 5 Failure from 1996 John McCabe
2009-07-10 15:04 ` Martin
2009-07-10 15:09   ` John McCabe
2009-07-10 16:27     ` Hibou57 (Yannick Duchêne)
2009-07-10 18:17     ` John B. Matthews [this message]
2009-07-12 14:08       ` Marco
2009-07-12 14:34         ` Dmitry A. Kazakov
2009-07-13 10:03         ` John McCabe
2009-07-14  0:53         ` John B. Matthews
2009-07-14 13:49           ` Nicholas Paul Collin Gloucester
2009-07-14 15:16             ` John B. Matthews
2009-07-14 17:29               ` Nicholas Paul Collin Gloucester
2009-07-14 20:18               ` Ada in teaching (was: Ariane 5 Failure from 1996) Georg Bauhaus
2009-07-14 21:10                 ` Adam Beneschan
2009-07-14 22:36                 ` John B. Matthews
2009-07-14 23:42                   ` Ada in teaching Georg Bauhaus
2009-07-15  1:03                     ` (see below)
2009-07-15 15:08                     ` John B. Matthews
2009-07-15 15:36                       ` John McCabe
2009-07-15 18:28                         ` John B. Matthews
2010-01-08 13:19             ` Ariane 5 Failure from 1996 Nicholas Paul Collin Gloucester
2010-01-08 17:34               ` Hibou57 (Yannick Duchêne)
2009-07-10 16:01   ` Bjarne Bäckström
2009-07-14 20:50   ` sjw
2009-07-10 15:26 ` Albrecht Käfer
2009-07-10 15:38 ` Adam Beneschan
2009-07-10 15:45 ` jonathan
2009-07-10 18:29   ` John McCabe
2009-07-10 18:44     ` John McCabe
2009-07-10 20:10       ` jonathan
2009-07-11 16:54         ` John McCabe
2009-07-14 14:33           ` Nicholas Paul Collin Gloucester
2009-07-14 14:39             ` John McCabe
2009-07-10 19:46     ` Niklas Holsti
2009-07-11 14:21       ` Albrecht Käfer
2009-07-11 16:55         ` John McCabe
2009-07-10 21:51 ` jimmaureenrogers
replies disabled

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