New Challenges In Certification For Aircraft Software

John Rushby

This is a substantial revision of the original, which appeared in the Proceedings of the Ninth ACM International Conference On Embedded Software (EMSOFT), pp. 211-218, Taipei, Taiwan, October 2011.


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.

PDF or (experimental--both these files fail validation and may break on your reader or browser): EPUB or HTML



BibTeX Entry

	AUTHOR = {John Rushby},
	TITLE = {New Challenges In Certification For Aircraft Software},
	PAGES = {211--218},
	BOOKTITLE = {Proceedings of the Ninth {ACM} International Conference On Embedded Software: {EMSOFT}},
	EDITOR = {Sanjoy Baruah and Sebastian Fischmeister},
	DATE = oct,
	YEAR = 2011,
	ADDRESS = {Taipei, Taiwan}

Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page