A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
Computer Science and Game Theory
2010-11-02 v1 Distributed, Parallel, and Cluster Computing
Software Engineering
Abstract
In this paper, we present an approach for fault-tolerant synthesis by combining predefined patterns for fault-tolerance with algorithmic game solving. A non-fault-tolerant system, together with the relevant fault hypothesis and fault-tolerant mechanism templates in a pool are translated into a distributed game, and we perform an incomplete search of strategies to cope with undecidability. The result of the game is translated back to executable code concretizing fault-tolerant mechanisms using constraint solving. The overall approach is implemented to a prototype tool chain and is illustrated using examples.
Keywords
Cite
@article{arxiv.1011.0268,
title = {A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems},
author = {Chih-Hong Cheng and Harald Ruess and Alois Knoll and Christian Buckl},
journal= {arXiv preprint arXiv:1011.0268},
year = {2010}
}
Comments
The extended version of the paper "Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice" in VMCAI'11