A software tool for learning about stochastic models
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Education
- Vol. 36 (1) , 56-61
- https://doi.org/10.1109/13.204817
Abstract
The Symbolic Hierarchical Automated Reliability/Performance Evaluator (SHARPE), a software system that analyzes stochastic models, is discussed. SHARPE allows students to set up and solve a variety of model types, to compare results for different models of the same system, to see how altering system parameters affects measures of effectiveness of the system, and to experiment with modeling techniques, including the use of exact and approximate system or model decomposition. It can also be used to illustrate problems of large state spaces and stiff systems and to provide examples of methods for avoiding these problems. Using SHARPE, one can specify and analyze the following model types separately or in combination: fault trees, reliability block diagrams, reliability graphs, product-form queuing networks, series-parallel acyclic directed graphs, Markov and semi-Markov chains, and generalized stochastic Petri netsKeywords
This publication has 7 references indexed in Scilit:
- Reliability modeling of the MARS system: a case study in the use of different tools and techniquesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A decomposition approach for stochastic reward net modelsPerformance Evaluation, 1993
- Approximate availability analysis of VAXcluster systemsIEEE Transactions on Reliability, 1989
- PMS - Models in SHARPEPublished by Springer Nature ,1989
- Performance and Reliability Analysis Using Directed Acyclic GraphsIEEE Transactions on Software Engineering, 1987
- Closed-Form Solutions of PerformabilityIEEE Transactions on Computers, 1982
- Performance-Related Reliability Measures for Computing SystemsIEEE Transactions on Computers, 1978