Retrospectively Documenting SAFEGUARD's Possession of the Overarching Properties

摘要

Software-intensive aviation and space systems are typically developed in accordance with recognized development process, safety analysis, and software development standards such as RTCA DO-178C and SAE ARP 4754A. In 2015, the FAA invited selected participants to a workshop on streamlining assurance processes [1]. This resulted in the assembly of a working group that has drafted a set of Overarching Properties (OPs) for the airworthiness approval of airborne systems. The completion of this draft raises a question: How should applicants demonstrate satisfaction of the OPs? To define and assess a candidate answer, we have prepared retrospective documentation showing that a specimen software system possesses the OPs.