A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems
复制标题
综合容错嵌入式系统的博弈论方法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
C. Buckl
中科院分区：
文献类型：
--
作者：
Chih;H. Ruess;A. Knoll;C. Buckl
在本文中，我们通过将预定义的模式与算法的游戏求解结合在一起，提出了一种耐故障合成的方法。一个非故障耐受的系统，以及相关的故障假设和池中的耐故障机制模板被转化为分布式游戏，我们对策略进行了不完整的搜索以应对不可证明的性能。游戏的结果将使用约束求解的可执行代码转换为可执行的代码具体化故障机制。总体方法将实现到原型工具链中，并使用示例进行了说明。
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.