Re: Boeing 737 and 737 MAX software

[Maciej Sobczak <see.my.homepage@gmail.com>]

> True, airspeed needs not be computed this way. But it must be somehow computed.

Note that the airspeed had to be computed (or measured) long before the new sensor was invented, so presumably the method of computing it was not taking the new sensor into account anyway. And I don't expect that method to be changed just because some new sensor is installed.

I don't see any reason for using this addition anywhere in the system.

> True, it is possible that the software was written in Ada. But then, the fact that it didn't raise an exception

If the addition was never performed (because there was no reason to do it), then it is quite reasonable that no exception was raised.

One could imagine a contract that binds several such values in constraints that are motivated at the system-level and this is arguably where Ada could help. But I doubt such novel programming techniques would be even considered.

> indicating a failure to detect/handle so "exceptional" situations as AoA implying negative [horizontal] airspeed, is simply unbelievable.

Why? The new sensor was not installed to detect negative airspeed, but to detect stalls.

This system might have been written in Ada or C (I don't expect anything else to be even considered) with the same results. Which, arguably, is not helping to promote the language (whichever was used).

-- 
Maciej Sobczak * http://www.inspirel.com