At it's best, software QA and related methods should be equal to airline manufacture. Think of railway signalling systems, control-by-wire bits of modern cars,

At it's best, software QA and related methods should be equal to airline manufacture. Think of railway signalling systems, control-by-wire bits of modern cars, medical equipment, etc. Where the design of the software is formally proven, and the implementation verified to ensure it fits the design.