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.
[1] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[2] G. B. Finelli,et al. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..
[3] John Rushby,et al. Formal Methods and their Role in the Certification of Critical Systems , 1997 .
[4] Peter A. Lindsay,et al. A systematic approach to software safety integrity levels , 1997, SAFECOMP.