Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
复制标题
使用游戏综合容错嵌入式系统：从理论到实践
DOI：
10.1007/978-3-642-18275-4_10
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Knoll
中科院分区：
文献类型：
--
作者：
C.-H. Cheng;H. Ruess;C. Buckl;A. Knoll
本文提出了一种将预定义的容错模式与算法博弈求解相结合的容错综合方法。将非容错系统与池中相应的容错假设和容错机制模板一起转化为分布式博弈，并对策略进行不完全搜索以应对不可决定性。游戏的结果被转换回使用约束求解的具体化容错机制的可执行代码。在原型工具链上实现了整个方法，并用实例进行了说明。
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.
登录
查看更多内容
DOI：
--
发表时间：
2010
期刊：
arXiv.org
影响因子：
--
作者：
Chih;H. Ruess;A. Knoll;C. Buckl
通讯作者：
C. Buckl
FST TCS 2003：软件技术和理论计算机科学基础
DOI：
--
发表时间：
2004
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
P. Pandya;J. Radhakrishnan
通讯作者：
J. Radhakrishnan
Alpaga：解决不完全信息平价博弈的工具
DOI：
--
发表时间：
2009
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
Dietmar Berwanger;K. Chatterjee;M. Wulf;L. Doyen;T. Henzinger
通讯作者：
T. Henzinger
DOI：
--
发表时间：
2009
期刊：
Formal Methods Syst. Des.
影响因子：
--
作者：
A. Girault;É. Rutten
通讯作者：
É. Rutten
DOI：
--
发表时间：
2005
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
R. Alur;P. Madhusudan;Wonhong Nam
通讯作者：
Wonhong Nam