DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS

Jean Arlat (1) , Karama Kanoun (1) , Jean-Claude Laprie (1)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault-tolerance software approaches: recovery blocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three versions and a decider).

Mots clés: Software Design Diversity; Software Fault Tolerance; Dependability Modeling; Dependability Evaluation

Domaines: Informatique [cs]

Jean Arlat, Karama Kanoun, Jean-Claude Laprie. DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS. IEEE Transactions on Computers, 1990, 39, pp.504 - 513. ⟨hal-01978863⟩