The Use of Proof in Diversity Arguments
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Software model checking takes off
Communications of the ACM
Software Verification and System Assurance
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Formal Verification of Avionics Software Products
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Software certification: is there a case against safety cases?
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
IEEE Transactions on Software Engineering
A lightweight methodology for safety case assembly
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Aviation safety: modeling and analyzing complex interactions between humans and automated systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Multi-layered scheduling of mixed-criticality cyber-physical systems
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
We outline the current approach to certification of aircraft software, and the role 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.