It is rarely discussed, but a major factor contributing to the Airbus crash was that the software did not derive airspeed from engine parameters and use it to verify the pitot tubes. The common mode failure of the pitot tubes could have been anticipated and protected against.