Dependability Modeling
- 1 January 2012
- book chapter
- other
- Published by IGI Global
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.Keywords
This publication has 21 references indexed in Scilit:
- SHARPE at the age of twenty twoACM SIGMETRICS Performance Evaluation Review, 2009
- On composing Dependable Web Services using undependable web componentsInternational Journal of Simulation and Process Modelling, 2007
- Babbage's Intelligence: Calculating Engines and the Factory SystemCritical Inquiry, 1994
- Quality and Reliability: Some Recent Developments and a Historical PerspectiveJournal of the Operational Research Society, 1990
- A Reliability Bound for Systems of Maintained, Interdependent ComponentsJournal of the American Statistical Association, 1970
- Multi-Component Systems and Structures and Their ReliabilityTechnometrics, 1961
- Persistence of an Effect of a Success in a Bernoulli SequenceJournal of the Society for Industrial and Applied Mathematics, 1960
- Life TestingJournal of the American Statistical Association, 1953
- A Mathematical Theory of CommunicationBell System Technical Journal, 1948
- ber die analytischen Methoden in der WahrscheinlichkeitsrechnungMathematische Annalen, 1931