Brainstorm

摘要

Avionics OEMs ensure their software systems meet stringent DO-178B standards. Developers must prove that each and every line of code can be bidirection-ally traced from requirement through the pass/fail of specific tests. No line of code can remain that does not rise from a requirement, has not been tested, and is not proven to do what it was intended to do. The automotive community has always argued that they don't have profit margins that allow for such stringent testing, while continuously moving more capabilities into uncertified software. Imagine a (multi-city) network problem occurs because GM, Ford, Toyota, Porsche, and all the others... chose not to follow stringent programming and certification standards. The number of deaths from such a network glitch would far outweigh the catastrophes of a plane going down. It's pretty obvious that if commercialization of advanced vehicular technology takes place, the necessary systemic checks must also be in place. It's the only way to go.