Fault injection for dependability validation of fault-tolerantcomputing systems
Arlat, J.
Crouzet, Y.
Laprie, J.-C.
Lab. of Autom. & Syst. Anal., CNRS, Toulouse ;
This paper appears in: Fault-Tolerant Computing, 1989. FTCS-19. Digest of Papers., Nineteenth International Symposium on
Publication Date: 21-23 Jun 1989
On page(s): 348-355
Meeting Date: 06/21/1989 - 06/23/1989
Location: Chicago, IL, USA
ISBN: 0-8186-1959-7
References Cited: 27
INSPEC Accession Number: 3513627
Digital Object Identifier: 10.1109/FTCS.1989.105591
Current Version Published: 2002-08-06
Abstract
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
