Automating the addition of fault-tolerance

DOI10.1007/3-540-45352-0_9MaRDI QIDQ2766635zbMATH OpenFDO

Authors Sandeep S. Kulkarni, Anish Arora

Publication date 17 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45352-0_9

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Transformation of programs for fault-tolerance
• scientific article; zbMATH DE number 1543325
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
• A compositional framework for fault tolerance by specification transformation

Cited in

(14)

• Transformation of programs for fault-tolerance
• A compositional framework for fault tolerance by specification transformation
• Automation of fault-tolerant graceful degradation
• Symbolic synthesis of masking fault-tolerant distributed programs
• The complexity of automated addition of fault-tolerance without explicit legitimate states
• Synthesis of fault-tolerant embedded systems using games: from theory to practice
• Synthesis of fault-tolerant distributed systems
• MR4UM: a framework for adding fault tolerance to UML state diagrams
• Facilitating the design of fault tolerance in transaction level SystemC programs
• Combining decomposition and reduction for state space analysis of a self-stabilizing system
• Weakest invariant generation for automated addition of fault-tolerance
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
• Model-based construction and verification of critical systems using composition and partial refinement

This page was built for publication: Automating the addition of fault-tolerance

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