Abstract: We outline the current approach to certification of aircraft software, and the role of the DO-178B guidelines. We consider evidence for its effectiveness and discuss possible explanations for this. We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.The full paper can be found at http://www.csl.sri.com/users/rushby/papers/emsoft11.pdf
Want to get involved?
Contactinfo @ open-do.org