Synthesizing bounded-time 2-phase fault recovery

DOI10.1007/s00165-014-0325-8zbMath1328.68045OpenAlexW2048713255MaRDI QIDQ903518

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

program transformationfault-toleranceprogram synthesisreal-timebounded-time recoveryphased recovery

Mathematics Subject Classification ID

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

Related Items

Unnamed Item

Uses Software

• Sycraft

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automating the addition of fault tolerance with discrete controller synthesis
• Defining liveness
• The directed subgraph homeomorphism problem
• Sooner is safer than later
• A theory of timed automata
• Real-time system = discrete system + clock variables
• Symbolic synthesis of masking fault-tolerant distributed programs
• Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
• Think globally, act locally: decentralized supervisory control
• On the synthesis of strategies in infinite games
• On the synthesis of discrete controllers for timed systems
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• Decentralized control and coordination of discrete-event systems with partial observation
• On Synthesizing Controllers from Bounded-Response Properties
• CONCUR 2003 - Concurrency Theory
• Computer Aided Verification