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

DOI10.1007/978-3-642-18275-4_10zbMATH Open1317.68130OpenAlexW3139526736MaRDI QIDQ3075475FDOQ3075475

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

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

Mathematics Subject Classification ID

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

Cites Work

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Title not available (Why is that?)
• Computer Aided Verification
• Distributed Computing
• Symbolic computational techniques for solving games
• Automating the addition of fault tolerance with discrete controller synthesis

Cited In (6)

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

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)