On the development of fault-tolerant on-board control software and its evaluation by fault injection

As commercial drivers promote the integration of functions of different criticality into a limited set of processing elements, software plays an increasingly important role on board today's satellites. This trend questions the adequacy of the traditional development process and calls for a design and validation approach capable of achieving the required dependability without blowing the development costs. This paper reports on the most innovative features of an integrated project aimed at designing a software-intensive fault tolerance approach suitable for embedded flight control systems, and at assessing its efficiency by means of a non-intrusive software-implemented fault injection prototype tool.<<ETX>>

[1]  Jiri Gaisler.  Concurrent error-detection and modular fault-tolerance in a 32-bit processing core for embedded space flight applications , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[2]  Victor Carreño,et al.  A Fault Behavior Model for an Avionic Microprocessor: A Case Study , 1991 .

[3]  Chulsoo Kim,et al.  AOS: an avionics operating system for multi-level secure real-time environments , 1994, Tenth Annual Computer Security Applications Conference.

[4]  T. Yamada,et al.  Fault-tolerance experiments of the 'Hiten' onboard space computer , 1991, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.

[5]  Daniel P. Siewiorek,et al.  FIAT-fault injection based automated testing environment , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[6]  Charles Robert Yount.  The automatic generation of instruction-level error manifestations of hardware faults: a new fault-injection model , 1993 .

[7]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[8]  Jacob A. Abraham,et al.  FERRARI: a tool for the validation of system dependability properties , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[9]  Jean-Claude Laprie,et al.  X-Ware Reliability and Availability Modeling , 1992, IEEE Trans. Software Eng..

[10]  Edward J. McCluskey,et al.  Executable assertions and flight software , 1984 .

[11]  David Powell.  Failure mode assumptions and assumption coverage , 1992 .