Model-based safety assessment of a triple modular generator with xSAP

DOI10.1007/s00165-021-00532-9OpenAlexW3143868368MaRDI QIDQ2026377

Yanyan Li

Publication date: 19 May 2021

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

Full work available at URL: https://doi.org/10.1007/s00165-021-00532-9

zbMATH Keywords

model checkingfault tree analysisminimal cut setsmodel-based safety assessmentpower generation systems

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Verification Modulo theories

Uses Software

• NuSMV
• Simulink
• MCK
• nuXmv

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Formal reliability analysis of redundancy architectures
• The complexity of reasoning about knowledge and time. I: Lower bounds
• NuSMV: A new symbolic model checker
• Infinite-state invariant checking with IC3 and predicate abstraction
• SAT-Based Model Checking without Unrolling
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• Formal Safety Assessment via Contract-Based Design
• Symbolic Fault Tree Analysis for Reactive Systems
• Computer Aided Verification

This page was built for publication: Model-based safety assessment of a triple modular generator with xSAP