Abstract | ||
---|---|---|
Traditional modeling tools for High Availability systems do not combine intuitivity, efficiency, and modeling power under the same umbrella. For example, combinatorial methods like fault trees or reliability block diagrams are quite intuitive, allow for a stepwise refinement of the models and can be analyzed efficiently. However, their modeling power is limited, as traditional methods for analyzing these models rely on the fact that there are no statistical dependencies between the failure and repair behavior of the components. In contrast, state-based modeling methods like Markov chains (either designed by hand [11] or generated from high-level diagrams like Petri nets [1]) allow for the modeling of arbitrary dependencies like: failure propagation, failures with a common cause, limited repair resources, standby/warm/cold-redundancy, physical dependencies, imperfect coverage, etc. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/QEST.2005.27 | QEST |
Keywords | Field | DocType |
programming environments,software reliability,software tools,OpenSESAME,high modeling power,intercomponent dependency,reliability block diagram,structured availability modeling environment | Reliability block diagram,Computer science,Top-down and bottom-up design,Theoretical computer science,User Friendly,Software quality,Fault tree analysis,High availability,Distributed computing,Embedded system | Conference |
ISBN | Citations | PageRank |
0-7695-2427-3 | 6 | 1.17 |
References | Authors | |
14 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Max Walter | 1 | 54 | 9.17 |
Carsten Trinitis | 2 | 151 | 29.80 |