208documents trouvés
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
M.RODRIGUEZ, F.SALLES, J.C.FABRE, J.ARLAT
LIS, TSF
Manifestation avec acte : 3rd European Dependable Computing Conference (EDDC-3), Prague (République Tchèque), 15-17 Septembre 1999 , N° 99108
Diffusable
35005Validation-based development of dependable systems
J.ARLAT, J.BOUE, Y.CROUZET
TSF
Revue Scientifique : IEEE Micro, Vol.19, N°4, pp.66-79, Juillet/Août 1999 , N° 98392
Diffusable
34747Coverage estimation methods for stratified fault-injection
M.CUKIER, D.POWELL, J.ARLAT
TSF
Revue Scientifique : IEEE Transactions on Computers, Vol.48, N°7, pp.707-723, Juillet 1999 , N° 97001
Diffusable
Plus d'informations
Abstract
This paper addresses the problem of estimating the coverage of fault tolerance through statistical processing of observations collected in fault-injection experiments. In an earlier paper, various estimators based on simple sampling in the whole fault/activity input space and stratified sampling in a partitioned space were studied; frequentist confidence limits were derived based on a normal approximation. In this paper, the validity of this approximation is analyzed. The theory of confidence regions is introduced to estimate coverage without approximation when stratification is used. Three statistics are considered for defining confidence regions. It is shown that one - a vectorial statistic - is often more conservative than the other two. However, only the vectorial statistic is computationally tractable. We then consider Bayesian estimation methods for stratified sampling. Two methods are presented to obtain an approximation of the posterior distribution of the coverage by calculating its moments. The moments are then used to identify the type of the distribution in the Pearson distribution system, to estimate its parameters and to obtain the coverage confidence limit. Three hypothetical example systems are used to compare the validity and the conservatism of the frequentist and Bayesian estimations.
Mots-Clés / Keywords
Bayesian estimation; Frequentist estimation; Stratification; Sampling method; Coverage estimation; Fault-injection;
Metakernels and fault containment wrappers
F.SALLES, M.RODRIGUEZ-MORENO, J.C.FABRE, J.ARLAT
TSF, LIS
Manifestation avec acte : 29th Annual International Symposium on Fault-Tolerant Computing (FTCS-29), Madison (USA), 15-18 Juin 1999, pp.22-29 , N° 98568
Diffusable
34075GUARDS: introduction and overview
D.POWELL, A.AMENDOLA, J.ARLAT, B.ATTERMEYER, L.BEUS-DUKIC, A.BONDAVALLI, P.COPPOLA, C.DAMBRA, A.FANTECHI, E.JENN, C.RABEJAC, V.THEVENOT, A.WELLINGS
TSF, York, CNUCE, INTECS, Technicatome, MATRA, IEI, SOE, Ansaldo, IEI
Rapport de Contrat : Contrat Esprit GUARDS, Project 20716, Juin 1999, 35p. , N° 99276
Diffusion restreinte
34140GUARDS: a generic upgradable architecture for real-time dependable systems
D.POWELL, J.ARLAT, L.BEUS-DUKIC, A.BONDAVALLI, P.COPPOLA, A.FANTECHI, E.JENN, C.RABEJAC, A.WELLINGS
TSF, York, CNUCE, INTECS, Technicatome, MATRA, IEI
Revue Scientifique : IEEE Transactions on Parallel and Distributed Systems, Vol.10, N°6, pp.580-599, Juin 1999 , N° 98259
Diffusable
34181GUARDS: dependability evaluation
J.ARLAT, A.BONDAVALLI, F.DI GIANDOMENICO, M.T.JARBOUI, E.JENN, K.KANOUN, I.MURA, D.POWELL
TSF, CNUCE, IEI, Technicatome, Pise
Rapport de Contrat : Contrat Esprit GUARDS, Project 20716, Juin 1999, 47p. , N° 99280
Diffusion restreinte
34177Behavioral analysis in the presence of faults of dependable systems modeled with RDD-100
Y.LE GUEDART, M.KAANICHE, J.ARLAT, T.BOYER
LIS
Manifestations avec acte à diffusion limitée : 10th European Workshop on Dependable Computing (EWDC-10), Vienne (Autriche), 6-7 Mai 1999, pp.155-159 , N° 99106
Diffusable
33430PADRE : un protocole pour une gestion sûre des redondances duplex
D.ESSAME, J.ARLAT, D.POWELL
TSF
Manifestations avec acte à diffusion limitée : Papier invité. Colloque Franco-Allemand "Les Systèmes Embarqués et les Systèmes de Communication pour les Transports Guidés", Toulouse (France), 9 Mars 1999, 12p. , N° 99105
Diffusable
32706PADRE: A Protocol for Asymmetric Duplex REdundancy
D.ESSAME, J.ARLAT, D.POWELL
TSF
Manifestation avec acte : 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7), San Jose (USA), 6-8 Janvier 1999, pp.213-232 , N° 98335
Diffusable
32291