Synthesizing bounded-time 2-phase fault recovery

DOI10.1007/S00165-014-0325-8MaRDI QIDQ903518zbMATH OpenOpenAlexFDO

Authors Borzoo Bonakdarpour, Sandeep S. Kulkarni

Publication date 6 January 2016

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

Full work available at URL https://doi.org/10.1007/s00165-014-0325-8

zbMATH Keywords

bounded-time recoveryfault-tolerancephased recoveryprogram synthesisprogram transformationreal-time

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Symbolic synthesis of masking fault-tolerant distributed programs
• Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
• Synthesis of fault-tolerant distributed systems
• Bounded synthesis of reactive programs
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

Cites work

• A theory of timed automata
• Automating the addition of fault tolerance with discrete controller synthesis
• Decentralized control and coordination of discrete-event systems with partial observation
• Defining liveness
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1303059 (Why is no real title available?)
• scientific article; zbMATH DE number 1487476 (Why is no real title available?)
• scientific article; zbMATH DE number 1764950 (Why is no real title available?)
• scientific article; zbMATH DE number 2086417 (Why is no real title available?)
• On Synthesizing Controllers from Bounded-Response Properties
• On the synthesis of discrete controllers for timed systems
• On the synthesis of strategies in infinite games
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• Real-time system = discrete system + clock variables
• Sooner is safer than later
• Symbolic synthesis of finite-state controllers for request-response specifications
• Symbolic synthesis of masking fault-tolerant distributed programs
• The directed subgraph homeomorphism problem
• The element of surprise in timed games.
• Think globally, act locally: decentralized supervisory control
• Timed control with partial observability.

Cited in

(4)

• Symbolic synthesis of masking fault-tolerant distributed programs
• Automated synthesis of distributed self-stabilizing protocols
• Ensuring average recovery with adversarial scheduler
• Automated constraint-based addition of nonmasking and stabilizing fault-tolerance

Describes a project that uses

Uses Software

• Sycraft

This page was built for publication: Synthesizing bounded-time 2-phase fault recovery

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