Simulation relations for fault-tolerance

DOI10.1007/S00165-017-0426-2MaRDI QIDQ1688554zbMATH OpenOpenAlexFDO

Authors Ramiro Demasi, Pablo F. Castro, Tim Maibaum, Nazareno Aguirre

Publication date 8 January 2018

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

Full work available at URL https://doi.org/10.1007/s00165-017-0426-2

zbMATH Keywords

fault-toleranceprogram verificationformal specificationsimulation relations

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Relational characterizations of system fault tolerance
• Logical specification and analysis of fault tolerant systems through partial model checking
• Formally verifying fault tolerant system designs
• scientific article; zbMATH DE number 1543325
• Fair simulation

Cites work

• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 47346 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1235916 (Why is no real title available?)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• scientific article; zbMATH DE number 578247 (Why is no real title available?)
• scientific article; zbMATH DE number 1487747 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Temporal Logic of Robustness
• A theory for observational fault tolerance
• Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
• Deontic logic, contrary to duty reasoning and fault tolerance
• Distributed cooperation with action systems
• Engineering and theoretical underpinnings of retrenchment
• Logic for Programming, Artificial Intelligence, and Reasoning
• Model-based construction and verification of critical systems using composition and partial refinement
• Modeling in Event B. System and software engineering.
• Synthesis of fault-tolerant concurrent programs
• Synthesizing masking fault-tolerant systems from deontic specifications
• The Byzantine Generals Problem
• dCTL: a branching time temporal logic for fault-tolerant system verification
• “Sometimes” and “not never” revisited

Cited in

(5)

• Dynamic Fault Tolerance in Distributed Simulation System
• Concurrent analogue fault simulation, the equation formulation aspect
• Measuring masking fault-tolerance
• A model of actors and grey failures
• Relational characterizations of system fault tolerance

Describes a project that uses

Uses Software

• Rodin
• UNITY

This page was built for publication: Simulation relations for fault-tolerance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1688554)