Elaboration of safety requirements
暂无分享,去创建一个
[1] Robert E. Voros. Small Airplane Considerations for the Guidelines for Development of Civil Aircraft and Systems , 2013 .
[2] Nancy G. Leveson,et al. An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.
[3] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[4] V.A. Carreno,et al. A case-study application of RTCA DO-254: design assurance guidance for airborne electronic hardware , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).
[5] Andreas Mitschke,et al. A Systematic Elaboration of Safety Requirements in the Avionic Domain , 2012, SAFECOMP Workshops.