Title :
New challenges in certification for aircraft software
Author_Institution :
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
Abstract :
We outline the current approach to certification of aircraft software, and the rôle of DO-178B. 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.
Keywords :
air traffic; aircraft; certification; software engineering; DO-178B; air traffic system; aircraft software; aircraft systems; certification; Aircraft; Guidelines; Monitoring; Safety; Software; Standards; Testing; Certification; DO-178B; Formal Methods;
Conference_Titel :
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on
Conference_Location :
Taipei
Print_ISBN :
978-1-4503-0714-7
