ACM Transactions on Computer Systems (TOCS)
Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
Hybrid reliability modeling of fault-tolerant computer systems
Computers and Electrical Engineering - Special issue: reliability and verification of computing systems
Introduction to operations research, 4th ed.
Introduction to operations research, 4th ed.
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
METASAN: a performability evaluation tool based on stochastic activity networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A hierarchial, combinatorial-Markov model of solving complex reliability models
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ACM Computing Surveys (CSUR)
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Parametric error analysis and coverage approximations in reliability modeling (sensitivity)
Parametric error analysis and coverage approximations in reliability modeling (sensitivity)
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
A first step towards an evaluation framework taxonomy
ACM SIGOIS Bulletin
ASSURE: automated design for dependability
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
SIDECAR: design support for reliability
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
A Unified Framework for Simulating Markovian Models of Highly Dependable Systems
IEEE Transactions on Computers
MEASURE+: a measurement-based dependability analysis package
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Hierarchical Modeling of Availability in Distributed Systems
IEEE Transactions on Software Engineering
Dependability and Performance Measures for the Database Practitioner
IEEE Transactions on Knowledge and Data Engineering
CAREL: Computer Aided Reliability Evaluator for Distributed Computing Networks
IEEE Transactions on Parallel and Distributed Systems
Dependability Modeling and Analysis of Distributed Programs
IEEE Transactions on Software Engineering
An Eclectic Survey of Bounding Methods for Markov Chain Models
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Architecture-based software reliability modeling
Journal of Systems and Software
Probabilistic optimization and assessment of voting strategies for X-by-wire systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Dependability metrics
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Performance troubleshooting in data centers: an annotated bibliography?
ACM SIGOPS Operating Systems Review
An approach for lifetime reliability analysis using theorem proving
Journal of Computer and System Sciences
| Hi-index | 0.01 |
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.