在 Event-B 中通过精化开发具有协同错误恢复的容错多智能体系统
软件工程
2012-10-29 v1
摘要
为多智能体系统设计容错机制是一项公认的艰巨任务。在本文中，我们提出了一种在 Event-B 中通过精化形式化开发容错多智能体系统的方法。我们演示了如何在 Event-B 中形式化规约协同错误恢复与动态重构。此外，我们讨论了如何在精化容错多智能体系统的过程中表达并验证其基本性质。该方法通过一个多机器人系统案例研究进行了说明。
引用
@article{arxiv.1210.7035,
title = {Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B},
author = {Inna Pereverzeva and Elena Troubitsyna and Linas Laibinis},
journal= {arXiv preprint arXiv:1210.7035},
year = {2012}
}
备注
In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012