4documents trouvés
Guide de la sûreté de fonctionnement
J.C.LAPRIE, J.ARLAT, J.P.BLANQUART, A.COSTES, Y.CROUZET, Y.DESWARTE, J.C.FABRE, H.GUILLERMAIN, M.KAANICHE, K.KANOUN, C.MAZET, D.POWELL, C.RABEJAC, P.THEVENOD-FOSSE
LIS
Ouvrage (auteur) : Cepaduès Editions, N°ISBN 2-85428-382-1, 1995, 324p. , N° 94090
Non diffusable
9586Recherche et développement en Midi-Pyrénées
A.COSTES
TSF
Manifestation avec acte : Rencontre sur la Recherche Scientifique et Technologique Transpyrénéenne, Jaca (Espagne), 12-14 Septembre 1994 , 9p. , N° 94490
Diffusable
10935Composants matériels
A.COSTES, B.COURTOIS
TSF, EXT
Ouvrage (contribution) : ARAGO 15 "Informatique Tolérante aux Fautes", Masson, N°ISBN 2-225-84522-0, 1994, pp.47-53 , N° 94161
Non diffusable
9836Fault injection and dependability evaluation of fault-tolerant systems
J.ARLAT, A.COSTES, Y.CROUZET, J.C.LAPRIE, D.POWELL
TSF
Revue Scientifique : IEEE Transactions on Computers, Vol.42, N°8, pp.913-923, Août 1993 , N° 91260
Diffusable
Plus d'informations
Abstract
The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection test sequence aimed at evaluating the coverage of the fault tolerance process are presented. Emphasis is given to the derivation of experimental measures. The various steps by which the fault occurrence and fault tolerance processes are combined to evaluate dependability measures are identified and their interactions are analyzed. The method is illustrated by an application to the dependability evaluation of the distributed fault-tolerant architecture of the ESPRIT Delta-4 Project
Mots-Clés / Keywords
Markov chains; Fault tolerance; Fault injection; Experimental evaluation; Dependability modeling and evaluation; Coverage;