A framework for assessing standards for safety critical computer-based systems

摘要

This paper presents a framework for assessing different standards for computer-based safety-critical systems. Key attributes of standards forming a basis for comparison are described. Three examples of standards are described using this framework: MIL-STD 882C; RTCA Standard DO178B for avionics software; and the Australian Defence Standard Def (Aust) 5679.