Dynamic fault-tree models for fault-tolerant computer systems

DOI10.1109/24.159800zbMath0825.68162MaRDI QIDQ4021349

Mark A. Boyd, Salvatore J. Bavuso, Joanne Bechta Dugan

Publication date: 16 January 1993

Published in: IEEE Transactions on Reliability (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f40268aaf764970186f2279f3ac3e1c5300c1572

Mathematics Subject Classification ID

68M07: Mathematical problems of computer architecture

68M15: Reliability, testing and fault tolerance of networks and computer systems

Related Items

Fuzzy temporal fault tree analysis of dynamic systems, The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits, The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits, DAG-based attack and defense modeling: don't miss the forest for the attack trees, Hamiltonian cycles in hypercubes with faulty edges, The marriage between safety and cybersecurity: still practicing, A review of attack graph and attack tree visual syntax in cyber security, Cold vs. hot standby mission operation cost minimization for 1-out-of-\(N\) systems, Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools, Fault trees on a diet: automated reduction by graph rewriting, The How and Why of Interactive Markov Chains, A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains, On the Minimisation of Acyclic Models, How to capture dynamic behaviours of dependable systems