Affiliations: [a] Computer Science Department, University of El-Oued, Algeria | [b] Computer Science Department, A Coruña University, Spain | [c] Computer Science Department, University of Ferhat Abbas Sétif, Algeria | [d] School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Pakistan
Correspondence:
[*]
Corresponding author: Ammar Boucherit, Computer Science Department, University of El-Oued, Algeria. E-mail: ammar-boucherit@univ-eloued.dz.
Abstract: 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.
Keywords: Multi-agent system, model-checking, property-based testing, petri net, rewriting logic
