1 |
Lawrwnce Livermore National Lab "Software safety Hazard Analysis" U.S. Nuclear Regulatory Commission, NASA-GB-8719 pp.22-32, 2004.
|
2 |
Joint Services Software Safety Committee "Software System Safety Handbook" Joint Services Computer Resources Management Group, pp.63-73, Dec. 1999.
|
3 |
Jinpyo Hong, Hungjae Oh "A study of Design Concept for Mission computer in KFX program", The 7th Conference on National Defence Technology, Vol 1 pp.249-256, July 2011.
|
4 |
MIL-STD-882C/D "Standard Practice for System Safety", USA Department of Defence, Appendix A, Feb. 2000.
|
5 |
Mats P.E.Heimdahl "Formal Verification of Flight Critical SW" AIAA Guidance, Navigation and Control Conference, Aug. 15-18 2005.
|
6 |
Andrew Kornecki "SW Certification for Safety Critical System : A Status Report", Processing of the International Multiconference on Computer Science Technology, pp.665-672, 2008.
|
7 |
Chang Jin Kim "Formalism-Based Defence Safety/Security Critical SW Development & Certification Criteria" Korea Institute of Military Science and Technology, Vol 10. Mar. 2007.
|
8 |
DO-178B "Software Consideration in Airborne system and Equipment Certification" RTCA Inc. Washington D.C, pp. 5-8, 1992
|
9 |
U.S Airforce "Weapon Systems Software Management Guidebook" Secretary of the Air Force for Aquisition, ver.1 pp73-82, Aug. 2008.
|
10 |
Debra S. Herrmann, "Software Safety and Reliability" IEEE Computer Society, Los Alamitos, pp.18-27, pp.160-190, 2010.
|