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

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 27 Nov 2004 09:51:21 +0000, Marius Amado Alves wrote:

>>>A defect in a specification is a bug.
>> 
>> Maybe, but it is not a bug *in* the program that implements that
>> specification.
> 
> Ok. I understand your concept of "bug" is stronger than mine. And the 
> general public's.

Nope. Public perfectly understands that if a rocket explodes there should
be something explosive in it, a bug for instance, or maybe fuel? (:-))

> I guess this story cannot be made short. Just make 
> sure you don't blame the hardware.

I don't blame the hardware. However, using your theory why not to blame it?
Look, let's take some software specifications and blame the hardware which
does not fit to them!

"Bug" is a conditional. Something is buggy under some specified conditions.
A software is buggy under the condition that it does not respond to the
requirements. It would be nice to define all requirements as "the rocket
should fly". Alas, it is not how things work. Yes, under so formulated
conditions Ariane's software is indeed buggy. But no more than the
hardware, fuel, gravity and laws of the nature...

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de