Fault simulation to validate fault-tolerance in Ada

被引：0

作者：

Napier, J ^{[1
]}

Chen, LP ^{[1
]}

May, J ^{[1
]}

Hughes, G ^{[1
]}

机构：

[1] Univ Bristol, Safety Syst Res Ctr, Dept Comp Sci, Bristol BS8 1UB, Avon, England

来源：

COMPUTER SYSTEMS SCIENCE AND ENGINEERING | 2000年 / 15卷 / 01期

关键词：

software fault injection; fault tolerance; Ada;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 tolerant design are discussed. An Ada case study has been used to illustrate how fault injection and observation of the consequent error propagation through a given design solution can help to assess fault tolerance strategies. Attempts to use fault tolerance raise language-specific issues; an example is given for the Ada language.

引用

页码：61 / 67

页数：7