참고문헌
- C. B. Feldstein and J. C. Muzio, "Development of A Fault Tolerant Flight Control System", Proc. of the 23rd Digital Avionics Systems Conference, 2004.
- L. L. Pullum, "Software Fault Tolerance Techniques and Implementation", Artech House, 2001.
- W. Torres-Pmales, "Software Fault- Tolerance : A Tutorial", NASA Technical Memorandom TM-2000-210616, 2000
- Z. Xie, H. Sun and K. Saluza, "A Survey of Software Fault Tolerance Techniques", University of Wisconsin-Madison/Department of Electrical and Computer Engineering 1415 Engineering Drive, Madison WI 53706 USA
- T. Anderson, P. A. Barrett, D. N. Halliwell and M. R. Moulding, "Software fault tolerance: an evaluation", IEEE Transactions on Software Engineering, Vol. SE-11, No. 12, pp.1502-1510, 1985. https://doi.org/10.1109/TSE.1985.231894
- G. K. Saha, "Approaches to Software Based Fault Tolerance - A Review", Computer Science Journal of Moldova, Vol. 13, No. 3(39), 2005.
- A. Avizienis, "The N-version approach to fault-Tolerant software", IEEE Trans. on Software Eng., Vol. 11. No.12. pp. 1491-1501, Dec. 1985
- A. Avizienis and J. P. J. Kelly, "Fault Tolerance by Design Diversity: Concepts and experiments", IEEE Computer, 17, pp.67-80, 1984. https://doi.org/10.1109/MC.1984.1659219
- R. W. Butler, "A Primer on Architectural Level Fault Tolerance", NASA Technical Report TM-2008-215108, 2008
- B. W. Johnson, "fault-tolerant microproce ssor-based systems", IEEE Micro, Vol. 4, No. 6, pp.6-21, 1984. https://doi.org/10.1109/MM.1984.291277
- IEEE-ISTO, "The Nexus 5001 Forum Standard for a Global Embedded Processor Debug Interface", 2003
- H. S. Yoon and J. P. Han, "Development of Verification Environment for Flight Safety Critical Software using NEXUS", Journal of the Korean Society for Aeronautical & Space Sciences, Vol. 40, No.6, 2012, pp.548-554 https://doi.org/10.5139/JKSAS.2012.40.6.548
- R. R. Some, W. S. Kim, G. Khanoyan, L. Callum, A. Agrawal, and J. J. Beahan, "A software-implemented fault injection methodology for design and validation of system fault tolerance", In Dependable System and Networks, 2001. Proeedings. The International Conference on, pp501-506, 2001.
- A. Johansson, "Software implemented fault injection used for software evaluation", in Building Reliable Component-Based System, I. Crnkovic and M. Larsson, Eds., ed: Artech House, 2002.
- A. Tai, M. Hecht and H. Hecht, "A New Method for the Verification of Fault Tolerant Software", Proc. EASCON 87, Washington, DC, October, 1987