Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package / Edition 1 available in Hardcover
- Pub. Date:
- Springer US
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Packageprovides a variety of probabilistic, discrete-state models used toassess the reliability and performance of computer and communicationsystems. The models included are combinatorial reliability models(reliability block diagrams, fault trees and reliability graphs),directed, acyclic task precedence graphs, Markov and semi-Markovmodels (including Markov reward models), product-form queueingnetworks and generalized stochastic Petri nets. A practical approachto system modeling is followed; all of the examples described aresolved and analyzed using the SHARPE tool.
In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modeling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system.
The SHARPE (Symbolic Hierarchical Automated Reliability andPerformance Evaluator) package is the ''toolchest' that allows the authors to specify stochastic models easily and solve them quickly,adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided.
Audience: Suitable for use in advanced level coursescoveringreliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability.
|Product dimensions:||6.10(w) x 9.25(h) x 0.04(d)|
Table of ContentsPreface. Part I: Modeling theory. 1. Distribution functions. 2. Reliability and availability models. 3. Series-parallel acyclic directed graphs. 4. Markov models. 5. Product-form queueing networks. 6. Performability models. 7. Shastic Petri Net models. 8. Semi-Markov chains. Part II: Modeling examples. 9. Reliability and availability modeling. 10. Performance modeling. 11. Hierarchical models. 12. Performability models. 13. Handling algorithmic and numerical limitations. Part III: Appendices. A: Sharpe command line syntax. B: Sharpe language description. C: Using Sharpe interactively. D: Algorithm choices for phase-type Markov chains. References. Index.