Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
复制标题
结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性
DOI：
10.1016/j.ic.2016.10.007
复制
发表时间：
2017
影响因子：
1
通讯作者：
Ezekiel J
中科院分区：
文献类型：
--
作者：
Ezekiel J
我们提出了一种将故障注入与模型检查相结合的自动化技术，以验证多智能体系统中的容错性、可恢复性和可诊断性。我们定义了一种通过向多智能体系统模型中注入错误来改变正确行为的通用方法，并规范了基于时间认知公式的模式来推断突变模型的正确行为和错误行为。该技术是在一个工具包中实现的，该工具包可用于将故障自动注入多代理系统程序中。通过向IEEE 802.5令牌环局域网协议模型中注入一些错误，并通过验证一些时间认知规范来分析协议的容错能力，证明了该方法的有效性。
We present an automated technique that combines fault injection with model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. We define a general method for mutating a multi-agent systems model representing correct behaviour by injecting faults into it, and specification patterns based on temporal-epistemic formulas to reason about the correct and faulty behaviours of the mutated model. The technique is implemented in a toolkit that can be used for injecting automatically faults into a multi-agent systems program. The usefulness of the methodology is demonstrated by injecting a number of faults into a model of the IEEE 802.5 token ring LAN protocol and analysing the protocol's fault tolerance, by verifying a number of temporal-epistemic specifications.
登录
查看更多内容
影响因子：
1.3
作者：
G. Neiger;M. Tuttle
通讯作者：
M. Tuttle
2-对氨基苯磺酰胺-4:6-二甲氧基嘧啶：实验评估。
DOI：
10.1111/j.1476-5381.1947.tb00331.x
发表时间：
1947
期刊：
British journal of pharmacology and chemotherapy
影响因子：
--
作者：
J. C. Gage;A. R. Martin;F. L. Rose;A. Spinks;G. A. Tuey
通讯作者：
G. A. Tuey
影响因子：
1.9
作者：
A. Lomuscio;Hongyang Qu;M. Solanki
通讯作者：
A. Lomuscio;Hongyang Qu;M. Solanki
DOI：
--
发表时间：
2010
期刊：
IEEE International Conference on Formal Engineering Methods
影响因子：
--
作者：
Youssef Hanna;David Samuelson;Samik Basu;Hridesh Rajan
通讯作者：
Hridesh Rajan
多智能体团队社会诊断算法设计研究
DOI：
--
发表时间：
2003
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
Meir Kalech;G. Kaminka
通讯作者：
G. Kaminka