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

DOI10.1007/s00165-011-0202-7zbMath1298.68050MaRDI 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 analysis; combinational circuits; fault injection; mechanical fault tree synthesis; retrenchment

Mathematics Subject Classification ID

94C12: Fault detection; testing in circuits and networks

68Q60: Specification and verification (program logics, model checking, etc.)

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

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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, Composition mechanisms for retrenchment

Uses Software

• Galileo

Cites Work

• Unnamed Item
• 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