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.
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.
PDF
or (experimental--both these files fail validation and may break on
your reader or browser):
EPUB
or
HTML
Slides
PDF
BibTeX Entry
@INPROCEEDINGS{Rushby:EMSOFT11,
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,
ORGANIZATION = acm,
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