Performance and Reliability Analysis of Computer Systems

An Example-Based Approach Using the SHARPE Software Package

  • Robin Sahner
  • Kishor S. Trivedi
  • Antonio Puliafito

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Modeling Theory

    1. Front Matter
      Pages 1-3
    2. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 5-26
    3. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 27-46
    4. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 47-54
    5. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 55-84
    6. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 85-102
    7. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 103-117
    8. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 119-142
    9. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 143-149
  3. Modeling Examples

    1. Front Matter
      Pages 151-153
    2. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 155-202
    3. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 203-259
    4. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 261-311
    5. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 313-328
    6. Robin Sahner, Kishor S. Trivedi, Antonio Puliafito
      Pages 329-341
  4. Back Matter
    Pages 343-404

About this book

Introduction

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modeling is followed; all of the examples described are solved 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 and Performance 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 courses covering reliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability.

Keywords

Phase Software algorithms calculus communication communication systems computer model modeling network networks reliability system modeling

Authors and affiliations

  • Robin Sahner
    • 1
  • Kishor S. Trivedi
    • 2
  • Antonio Puliafito
    • 3
  1. 1.UrbanaUSA
  2. 2.Duke UniversityDurhamUSA
  3. 3.University of CataniaCataniaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4615-2367-3
  • Copyright Information Kluwer Academic Publishers 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-6005-6
  • Online ISBN 978-1-4615-2367-3
  • About this book
Industry Sectors
Electronics
Aerospace
Automotive