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

[Jeffrey Carter <spam@spam.com>]

Marius Amado Alves wrote:

> I'm not mistaken. What you say does not disprove my hypothesis. Look, I 
> probably know the story as well as you guys. And the story is that an 
> Ada software component from Ariane 4 was reused for Ariane 5 without 
> change. This and the fact that there was an hardware mismatch resulted 
> in a BUGGY software system. Just answer this: how was the system fixed? 
> Did they change the hardware? No. Ergo, the software was at fault, not 
> the hardware.

I think you'll find they changed the requirements, then made any changes 
that necessitated to the design (possibly none), and then changed the 
software to reflect the changes in the requirements and design.

I agree that the SW system had an error, but it was an error in 
requirements, not in implementation.

Anyway, I was addressing the claim that an implementation in C would not 
have exhibited the error, not where the error lay.

-- 
Jeff Carter
"Many times we're given rhymes that are quite unsingable."
Monty Python and the Holy Grail
57