Affiliation:
1. Federated University of Pernambuco, Brazil
2. Duke University, USA
3. Federal University of Uberlândia, Brazil
Abstract
This chapter presents modeling method and evaluation techniques for computing dependability metrics of systems. The chapter begins providing a summary of seminal works. After presenting the background, the most prominent model types are presented, and the respective methods for computing exact values and bounds. This chapter focuses particularly on non-state space models although state space models such as Markov models and hierarchical models are also presented. Case studies are then presented in the end of the chapter.
Reference52 articles.
1. Persistence of an Effect of a Success in a Bernoulli Sequence
2. Answers to Questions Relative to High-Tension Transmission
3. Toward Systematic Design of Fault-Tolerant Systems.;A.Avizienis;IEEE Transactions on Computers,1997
4. Avizienis, A., Laprie, J.-C., & Randell, B. (2001). Fundamental Concepts of Dependability. LAAS-CNRS, Technical Report N01145.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献