Fault simulation to validate fault-tolerance in Ada

摘要

This paper discusses software fault injection as a validation technique for fault tolerance in Ada safety critical applications. General software fault simulation techniques are discussed followed by their implementation in Ada applications. Aspects of the Ada language that require specific attention during fault toler- ant design are discussed.