The authors address the dependability validation of fault-tolerant computing systems and more specifically the validation of the fault-tolerance mechanisms. Their approach is based on the use of fault injection at the physical level on a hardware/software prototype of the system considered. The place of this approach in a validation-directed design process as well as its place with respect to related works on fault injection are identified. The major requirements and problems related to the development and application of a validation methodology based on fault injection are presented and discussed. The proposed methodology has been implemented through the realization of a general physical-fault injection tool (MESSALINE) whose usefulness is demonstrated by its application to the experimental validation of a subsystem of a computerized interlocking system for railway control applications.
Fault injection for dependability validation of fault-tolerant computing systems
Fehlerinjektion fuer die Zuverlaessigkeitsvalidation fehlertoleranter Rechnersysteme
1989
8 Seiten, 27 Quellen
Aufsatz (Konferenz)
Englisch
British Library Online Contents | 1996
|Fault-tolerant ASIC Design for High System Dependability
British Library Conference Proceedings | 2009
|Fault injection for dependability validation: a methodology and some applications
Tema Archiv | 1990
|Fault-tolerant ASIC design for high system dependability
Tema Archiv | 2009
|