Simulation relations for fault-tolerance

DOI10.1007/S00165-017-0426-2zbMATH Open1377.68044OpenAlexW2603330110MaRDI QIDQ1688554FDOQ1688554

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

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

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)

Cites Work

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

Cited In (4)

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

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)