From: Marius Amado Alves <amado.alves@netcabo.pt>
To: comp.lang.ada@ada-france.org
Subject: Re: Would You Fly an Airplane with a Linux-Based Control System?
Date: Fri, 26 Nov 2004 11:40:56 +0000
Date: 2004-11-26T11:40:56+00:00 [thread overview]
Message-ID: <mailman.123.1101469316.10401.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <oSFxff11_F@VB1162.spb.edu>
Alexander E. Kopilovich wrote:
>...
> - The on-board software detects that one of the accelerometers is out of
> range (actually, there was FPU exception generated when float-to-integer
> conversion exceeded the capacity of the integer), this was interpreted as
> hardware error and caused the backup processor to take over;...
>
> Do you agree that this addition is enough there?
No. This whole talk of hardware-generated exception sounds like "FUD".
Namely, it sounds like your trying to blame the hardware. The cause was
a SOFTWARE enginering error. Yes, a BUG. In the Ada software. And
because it's connected to exceptions, the hypothesis that if the thing
had been done in an exceptionless language like C the effect might have
been different. And yes, maybe less bad. And none of the explanations
I've seen so far (here, in books, and in the Internet) disprove this
hypothesis.
next prev parent reply other threads:[~2004-11-26 11:40 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-11-22 11:44 Would You Fly an Airplane with a Linux-Based Control System? Preben Randhol
2004-11-22 13:23 ` Simon Clubley
2004-11-22 22:36 ` Brian May
2004-11-22 23:07 ` Ed Falis
2004-11-22 23:29 ` David Botton
2004-11-23 4:11 ` Alexander E. Kopilovich
2004-11-23 9:24 ` Martin Krischik
2004-11-25 18:28 ` Mike Silva
2004-11-25 20:15 ` David Botton
2004-11-26 3:11 ` Alexander E. Kopilovich
2004-11-26 10:11 ` Alex R. Mosteo
2004-11-26 11:51 ` Marius Amado Alves
2004-11-26 12:32 ` Alex R. Mosteo
2004-11-26 13:40 ` Adrien Plisson
2004-11-26 13:54 ` Marius Amado Alves
2004-11-26 22:22 ` Adrien Plisson
2004-11-27 0:24 ` Marius Amado Alves
2004-11-29 1:23 ` Georg Bauhaus
2004-12-04 18:58 ` Enrique Laso Leon
2004-12-05 1:29 ` Alexander E. Kopilovich
2004-12-05 13:50 ` Would You Fly an Airplane with a Linux-Based Control Larry Kilgallen
2004-12-06 13:20 ` Would You Fly an Airplane with a Linux-Based Control System? Simon Clubley
[not found] ` <oSFxff11_F@VB1162.spb.edu>
2004-11-26 11:40 ` Marius Amado Alves [this message]
2004-11-26 12:21 ` Jean-Pierre Rosen
2004-11-26 13:00 ` Vinzent 'Gadget' Hoefler
2004-11-26 19:25 ` Jeffrey Carter
2004-11-26 19:50 ` Marius Amado Alves
2004-11-26 22:58 ` Simon Wright
2004-11-27 20:24 ` Jeffrey Carter
2004-11-29 1:09 ` Georg Bauhaus
2004-11-29 20:06 ` Preben Randhol
2004-11-26 20:58 ` Mike Silva
2004-11-27 0:06 ` Marius Amado Alves
2004-11-27 0:55 ` Rod Haper
2004-11-27 1:31 ` Marius Amado Alves
2004-11-27 8:07 ` Martin Krischik
2004-11-27 9:16 ` Dmitry A. Kazakov
2004-11-27 9:51 ` Marius Amado Alves
2004-11-27 13:44 ` Dmitry A. Kazakov
2004-11-29 20:13 ` Preben Randhol
2004-11-27 20:31 ` Jeffrey Carter
2004-11-27 7:59 ` Martin Krischik
2004-11-27 8:24 ` Pascal Obry
2004-11-27 19:36 ` Mike Silva
2004-11-26 21:09 ` Mike Silva
2004-11-27 0:15 ` Marius Amado Alves
2004-11-27 19:41 ` Mike Silva
2004-11-27 7:47 ` Martin Krischik
2004-11-29 20:04 ` Preben Randhol
2004-11-30 3:11 ` Alexander E. Kopilovich
2004-11-30 15:20 ` Mike Silva
2004-12-01 2:51 ` Alexander E. Kopilovich
2004-11-30 13:24 ` Martin Krischik
2004-11-30 17:28 ` Preben Randhol
2004-12-01 9:27 ` Martin Krischik
2004-12-01 16:59 ` Preben Randhol
2004-12-01 18:53 ` Martin Krischik
2004-12-02 21:07 ` Preben Randhol
2004-12-05 6:52 ` Brian May
2004-11-23 12:28 ` Georg Bauhaus
2004-11-23 10:35 ` Robert Kaiser
2004-11-23 12:36 ` Martin Krischik
2004-11-23 21:16 ` Simon Wright
2004-11-23 22:09 ` Brian May
2004-11-24 6:07 ` Simon Wright
2004-11-24 14:39 ` Mike Silva
-- strict thread matches above, loose matches on Subject: below --
2004-11-29 6:33 Christoph Karl Walter Grein
2004-11-29 6:45 Christoph Karl Walter Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox