Dynamic fault-tree models for fault-tolerant computer systems

DOI10.1109/24.159800zbMath0825.68162OpenAlexW2154884120MaRDI 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

Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (14)

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

This page was built for publication: Dynamic fault-tree models for fault-tolerant computer systems