Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
复制标题
DOI：
10.3233/mgs-200320
复制
发表时间：
2020-04
期刊：
影响因子：
--
通讯作者：
A. Boucherit;Laura M. Castro;Abdallah Khababa;O. Hasan
中科院分区：
文献类型：
--
作者：
A. Boucherit;Laura M. Castro;Abdallah Khababa;O. Hasan
多智能体系统的形式化设计和开发在过去的几十年里引起了人们的广泛关注，因为它们在安全关键应用中的广泛使用。提出了一种基于多Agent范式的安全关键系统高效、混合、可扩展的形式化开发方法。事实上，我们在本文中的目标是从每个开发阶段的现有工具和技术的优势中贝内，然后将它们集成到一个统一的艾德方法中。在特定的方法，我们主张使用Petri网和重写逻辑，以促进形式化的多代理系统，以及我们已经集成了模型检查和基于属性的测试技术在验证和测试阶段。为了说明所提出的方法的使用和有效性，我们使用它来分析一个简单的自动分配机。
The formal design and development of multi-agent systems has attracted a considerable attention over the past decades because of their extensive use in safety-critical applications. This paper presents an efficient, hybrid and scalable formal development approach for safety-critical systems based on the multi-agent paradigm. In fact, we aim in this paper to benefit from the advantages of existing tools and techniques for each development stage and then integrate them in one unified approach. In particular approach, we advocate using Petri nets and rewriting logic to facilitate the formalization of multi-agent based systems, as well as we have integrated both the model checking and property-based testing techniques in the verification and testing stages. For illustrating the utilization and effectiveness of the proposed approach, we use it to analyze a simple automated distributing machine.