Survey of software tools for evaluating reliability, availability, and serviceability
Authors:
Open Access
- 1 December 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 20 (4) , 227-269
Abstract
In computer design, it is essential to know the effectiveness of different design options in improving performance and dependability. Various software tools have been created to evaluate these parameters, applying both analytic and simulation techniques, and this paper reviews those related primarily to reliability, availability, and serviceability. The purpose, type of models used, type of systems modeled, inputs, and outputs are given for each package. Examples of some of the key modeling elements such as Markov chains, fault trees, and Petri nets are discussed. The information is compiled to facilitate recognition of similarities and differences between various models and tools and can be used to aid in selecting models and tools for a particular application or designing tools for future needs. Tools included in the evaluation are CARE-III, ARIES-82, SAVE, MARKl, HARP, SHARPE, GRAMP, SURF, SURE, ASSIST, METASAN, METFAC, ARM, and SUPER. Modeling tools, such as REL70, RELCOMP, CARE, CARSRA, and CAST, that were forerunners to some of the current tools are noted for their contributions. Modeling elements that have gained widespread use for general systems, as well as fault-tolerant systems, are included. Tools capable of modeling both repairable and nonrepairable systems, accepting constant or time varying failure rates, and predicting reliability, availability, and serviceability parameters are surveyed.Keywords
This publication has 19 references indexed in Scilit:
- On unreliability polynomials and graph connectivity in reliable network synthesisJournal of Graph Theory, 1986
- A Linear-Time Algorithm for Computing K-Terminal Reliability in Series-Parallel NetworksSIAM Journal on Computing, 1985
- Hybrid reliability modeling of fault-tolerant computer systemsComputers and Electrical Engineering, 1984
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Advanced Reliability Modeling of Fault-Tolerant Computer-Based Systems1983
- Computing Network ReliabilityOperations Research, 1979
- Bibliography of literature on fault treesMicroelectronics Reliability, 1978
- Petri NetsACM Computing Surveys, 1977
- Analysis and Design of Reliable Computer NetworksIEEE Transactions on Communications, 1972
- A use of complex probabilities in the theory of stochastic processesMathematical Proceedings of the Cambridge Philosophical Society, 1955