Reliability modeling of the MARS system: a case study in the use of different tools and techniques
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 268-277
- https://doi.org/10.1109/pnpm.1991.238793
Abstract
Analytical reliability modeling is a promising method for predicting the reliability of different architectural variants and to perform trade-off studies at design time. However, generating a computationally tractable analytic model implies in general an abstraction and idealization of the real system. Construction of such a tractable model is not an exact science, and as such, it depends on the modeler's intuition and experience. This freedom can be used in formulating the same problem by more than one approach. Such a N-version modeling approach increases the confidence in the results. In this paper, we analyze the MARS architecture with the dependability evaluation tools SHARPE and SPNP, employing several different techniques including: hierarchical modeling, stochastic Petri nets, folding of stochastic Petri nets, and state truncation. The authors critically examine these techniques for their practicability in modeling complex fault-tolerant computer architectures Author(s) Kantz, H. Inst. fur Tech. Inf., Tech Univ., Wien, Austria Trivedi, T.Keywords
This publication has 11 references indexed in Scilit:
- SURF A PROGRAM FOR DEPENDABILITY EVALUATlON OF COMPLEX FAULT-TOLERANT COMPUTING SYSTEMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Tolerating transient faults in MARSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fixed Point Iteration in Availability ModelingPublished by Springer Nature ,1991
- Reliability estimation of fault-tolerant systems: tools and techniquesComputer, 1990
- Calculating the maximum execution time of real-time programsReal-Time Systems, 1989
- Coverage modeling for dependability analysis of fault-tolerant systemsIEEE Transactions on Computers, 1989
- Distributed fault-tolerant real-time systems: the Mars approachIEEE Micro, 1989
- Reliability Modeling Using SHARPEIEEE Transactions on Reliability, 1987
- The hybrid automated reliability predictorJournal of Guidance, Control, and Dynamics, 1986
- An Abstract Language for Specifying Markov Reliability ModelsIEEE Transactions on Reliability, 1986