2026-04-17T05:26:34Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/235472025-07-17T14:27:22Zcom_2072_1033col_2072_452950

00925njm 22002777a 4500 dc Carrasco, Juan A. author Figueras Pàmies, Joan author Kuntzman, A author 1991-03 A Markov model taking into account physical and design faults for a two-version architecture oriented to safety-related applications is developed. Only a probabilistic knowledge of the initial state of the versions in relation to the presence of design faults is assumed. The model can be split into two submodels accounting separately for physical and design faults, and a closed form expression for the unsafety of the system is obtained. The parameter estimation problem is discussed and a method to predict the probability distribution of the number of related design faults at the beginning of the operational life of the system is proposed. The method uses a pool model to process fault-occurrence data collected during a “face-to-face” debugging of the two versions. It has by nature a limited capability for proving version diversity, but it is shown that the limit is of the order of the diversity reported by recent experiments on real software. Finally, the impact of version correction during operation is shown to be negligible for critical applications. Postprint (author’s final draft) Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació Fault-tolerant computing Tolerància als errors (Informàtica) Evaluation of safety-oriented two-version architectures