Synthesis of fault-tolerant embedded systems using games: from theory to practice

DOI10.1007/978-3-642-18275-4_10MaRDI QIDQ3075475zbMATH OpenOpenAlexFDO

Authors Chih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl

Publication date 15 February 2011

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

Full work available at URL http://mediatum.ub.tum.de/doc/1287145/document.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Recommendations

• Synthesis of fault-tolerant distributed systems
• Automating the addition of fault tolerance with discrete controller synthesis
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
• Symbolic synthesis of masking fault-tolerant distributed programs
• Synthesizing masking fault-tolerant systems from deontic specifications

Cites work

• Automating the addition of fault tolerance with discrete controller synthesis
• Computer Aided Verification
• Distributed Computing
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 1696500 (Why is no real title available?)
• Symbolic computational techniques for solving games

Cited in

(6)

• Automating the addition of fault tolerance with discrete controller synthesis
• Fault tolerance in large games
• Synthesizing robust systems
• Synthesizing masking fault-tolerant systems from deontic specifications
• On tolerance of discrete systems with respect to transition perturbations
• Safe environmental envelopes of discrete systems

Describes a project that uses

Uses Software

• Alpaga
• UPPAAL TIGA

This page was built for publication: Synthesis of fault-tolerant embedded systems using games: from theory to practice

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