Evidence-Based Security in Aerospace: From Safety to Security and Back Again

Security concerns of safety-critical systems increase due to interconnections of systems. This paper tries to outline future security requirements in avionics and issues in assessing the reliability of software from the safety and security perspective. Quantitative work on software reliability has focused on requirements-to-code translation, software security has focused more on requirements correctness. Future work must take advantage of results from both the security and safety areas.