Reliable computer systems (2nd ed.): design and evaluation
Reliable computer systems (2nd ed.): design and evaluation
X-Ware Reliability and Availability Modeling
IEEE Transactions on Software Engineering
The automatic generation of instruction-level error manifestations of hardware faults: a new fault-injection model
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Executable assertions and timed traces for on-line software error detection
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
| Hi-index | 0.00 |
Abstract: 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.