The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits

DOI10.1007/s00165-011-0202-7zbMath1298.68050OpenAlexW2094933253MaRDI QIDQ470019

Marco Bozzano, Richard Banach

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0202-7

zbMATH Keywords

fault tree analysiscombinational circuitsfault injectionmechanical fault tree synthesisretrenchment

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Composition mechanisms for retrenchment ⋮ The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits ⋮ Model-based safety assessment of a triple modular generator with xSAP

Uses Software

• Galileo

Cites Work

• The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
• Engineering and theoretical underpinnings of retrenchment
• Composition mechanisms for retrenchment
• Symbolic Fault Tree Analysis for Reactive Systems
• Computer-Assisted Markov Failure Modeling of Process Control Systems
• Dynamic fault-tree models for fault-tolerant computer systems
• Data Refinement
• FM 2005: Formal Methods
• Retrenchment and refinement interworking: the tower theorems
• Unnamed Item

This page was built for publication: The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits