Journal of the Korean Society for Aeronautical & Space Sciences (한국항공우주학회지)

The Korean Society for Aeronautical and Space Sciences (한국항공우주학회)
권호 표지
DOI QR코드

DOI QR Code

A Study on Software Based Fault-Tolerance Techniques for Flight Control Computer

비행조종컴퓨터 소프트웨어 기반 고장허용 설계 기법 연구

  • Received : 2015.09.10
  • Accepted : 2016.02.25
  • Published : 2016.03.01
Download PDF
⟨ Previous Next ⟩

Abstract

Software based fault tolerance techniques are designed to allow a system to tolerate software faults in the system. Fault tolerance techniques are divided into two groups : software based fault tolerance techniques and hardware based fault tolerance techniques. We need a proper design method according to characteristics of the system. In this paper, the concepts of software based fault tolerance techniques for Dual Flight Control Computer are described. For software based fault tolerance design, we classified software failure, designed a way for failure detection and the way of recovery. Eventually the effectiveness of software based fault tolerance techniques was verified through the Software Test Environment(STE).

소프트웨어 기반의 고장허용이란 장비의 일부분에 소프트웨어 고장이 발생하더라도 허용할 수 있도록 장비를 설계하는 것을 의미힌다. 고장허용을 위한 설계 방법은 크게 하드웨어 기반 고장허용 설계 방법과 소프트웨어 기반 고장허용 설계 방법이 있으며, 시스템의 특징에 따라 적절한 방법의 고장허용 설계 방법 선택이 필요하다. 본 논문에서는 하드웨어적으로 이중화로 구성된 비행조종컴퓨터의 소프트웨어 기반 고장허용 설계 기법에 대하여 기술하였다. 소프트웨어 기반의 고장허용 설계를 위하여 소프트웨어 고장을 분류하고, 고장에 대한 검출 방법을 설계한 후, 고장발생시 복구 방법을 설계하였다. 설계된 방법의 유효성을 확인하기 위하여 전용 소프트웨어 시험 환경을 통해 설계된 소프트웨어 기반 고장허용 설계의 타당성을 검증하였다.

Keywords

References

  1. C. B. Feldstein and J. C. Muzio, "Development of A Fault Tolerant Flight Control System", Proc. of the 23rd Digital Avionics Systems Conference, 2004.
  2. L. L. Pullum, "Software Fault Tolerance Techniques and Implementation", Artech House, 2001.
  3. W. Torres-Pmales, "Software Fault- Tolerance : A Tutorial", NASA Technical Memorandom TM-2000-210616, 2000
  4. 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
  5. 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
  6. G. K. Saha, "Approaches to Software Based Fault Tolerance - A Review", Computer Science Journal of Moldova, Vol. 13, No. 3(39), 2005.
  7. A. Avizienis, "The N-version approach to fault-Tolerant software", IEEE Trans. on Software Eng., Vol. 11. No.12. pp. 1491-1501, Dec. 1985
  8. 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
  9. R. W. Butler, "A Primer on Architectural Level Fault Tolerance", NASA Technical Report TM-2008-215108, 2008
  10. 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
  11. IEEE-ISTO, "The Nexus 5001 Forum Standard for a Global Embedded Processor Debug Interface", 2003
  12. 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
  13. 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.
  14. 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.
  15. A. Tai, M. Hecht and H. Hecht, "A New Method for the Verification of Fault Tolerant Software", Proc. EASCON 87, Washington, DC, October, 1987