Kishor S. Trivedi is a Professor of Electrical and Computer Engineering at Duke University, North Carolina, and a Life Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and a recipient of the IEEE Computer Society's Technical Achievement Award.

Texte du rabat

Learn about the techniques used for evaluating the reliability and availability of engineered systems with this comprehensive guide.

Résumé
Covering both classical and advanced approaches, this comprehensive text describes the techniques used for evaluating the reliability of engineered systems. Including numerous examples, case studies and practice problems, it is the ideal self-study guide for students, researchers and practitioners in engineering and computer science.

Contenu

Part I. Introduction: 1. Introduction; 2. Dependability evaluation; 3. Dependability metrics defined on a single unit; Part II. Non-State-Space Models (Combinatorial Models): 4. Reliability block diagram; 5. Network reliability; 6. Fault tree analysis; 7. State enumeration; 8. Dynamic redundancy; Part III. State-Space Models with Exponential Distributions: 9. Continuous time Markov chain: availability models; 10. Continuous time Markov chain: reliability models; 11. Continuous time Markov chain: queueing systems; 12. Petri nets; Part IV. State-Space Models with Non-Exponential Distributions: 13. Non-homogeneous CTMC; 14. Semi-Markov and Markov regenerative models; 15. Phase type expansion; Part V. Multi-Level Models; 16. Hierarchical models; 17. Fixed-point iteration; Part VI. Case Studies: 18. Case studies.