Dependability modeling and evaluation of recovery block systems
نویسندگان
چکیده
The paper presents performance modeling and evaluation o f recovery block systems. In order to produce dependability model for complete fault tolerant system we consider the interaction between the faults in the alternatives and the faults in the acceptance test. The study is based on finite slate continuous time Markov model, and unlike previous works, we carry out the analysis in the time domain. The undetected and total failure probabilities (safety and reliability), as well as the average recovery block execution time expressions are obtained. Derived mathematical relations between failure probabilities (i.e. reliability and safety) and modeling parameters enable us t o gain a great deal of quantitative results.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملMEADEP — A Dependability Evaluation Tool for Engineers
MEADEP is a user-friendly dependability evaluation tool for measurement-based analysis of critical systems. MEADEP consists of four software modules: a data preprocessor for converting data in various formats to the MEADEP format, a data analyzer for graphical data presentation and parameter estimation, a graphical modeling interface for building block diagrams (including the exponential block,...
متن کاملDependability Modeling and Evaluation of Software Fault-Tolerant Systems
Abstmct-The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery Mocks (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 version...
متن کاملModeling Dependability of Dynamic Computing Systems
A trend actually characterizing any technological and application field is the use of control and computing devices. This moves the attention of the insiders on the management of more complex processes and systems, modifying requirements, tasks and skills. In this scenario the dependability evaluation becomes strategic. The increasing complexity of systems requires a serious revision of the tec...
متن کامل