1. Wong W E , Debroy V , Surampudi A , Recent Catastrophic Accidents : Investigating How Software was Responsible [C]// Fourth International Conference on Secure Software Integration & Reliability Improvement . IEEE Computer Society , 2010 . Wong W E, Debroy V, Surampudi A, Recent Catastrophic Accidents: Investigating How Software was Responsible [C]// Fourth International Conference on Secure Software Integration & Reliability Improvement. IEEE Computer Society, 2010.
2. Developing Safety-Critical Software
3. Johnson L A . SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION. [J]. Document RTCA/DO-178B , 1998 . Johnson L A. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION. [J]. Document RTCA/DO-178B, 1998.
4. Lempia D L , Miller S P . Requirements Engineering Management Findings Report. DOT/FAA/AR-08/34, 2008 . Conference Name: ACM Woodstock conferenceConference Short Name: WOODSTOCK’18Conference Location: El Paso, Texas USA Lempia D L, Miller S P. Requirements Engineering Management Findings Report. DOT/FAA/AR-08/34, 2008. Conference Name: ACM Woodstock conferenceConference Short Name: WOODSTOCK’18Conference Location: El Paso, Texas USA
5. Cofer D , Miller S P . Formal Methods Case Studies for DO-333 [J]. guidance systems , 2014 . Cofer D, Miller S P. Formal Methods Case Studies for DO-333 [J]. guidance systems, 2014.