Re: Would You Fly an Airplane with a Linux-Based Control System?

[Martin Krischik <martin@krischik.com>]

Marius Amado Alves wrote:

> 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.

The specification for that paricular pice of software was for the Ariane 4 -
and there it was proofen then all possible values where smaller then then
the range of Integer

The Software was right for what it was designed for. If you use the tires of
fiat punto on a ferrari you should not be supprised when you end up on the
hard sholder. And nobody would blame the tires - one would blame the stupid
driver.

It was a management descicion error to reuse the software.

With regards

Martin
-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com