Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

2020 ◽  
Vol 16 (1) ◽  
pp. 47-66
Author(s):  
Ammar Boucherit ◽  
Laura M. Castro ◽  
Abdallah Khababa ◽  
Osman Hasan
Keyword(s):  
Petri Net ◽  
Formal Analysis ◽  
Critical Systems ◽  
Rewriting Logic ◽  
Agent Based ◽  
Safety Critical ◽  
Multi Agent ◽  
Safety Critical Systems

Behavioral Modeling of Multi Agent System

2015 ◽  
Vol 7 (1) ◽  
pp. 55-78 ◽  
Author(s):  
Rajib Kumar Chatterjee ◽  
Neha Neha ◽  
Anirban Sarkar
Keyword(s):  
Petri Net ◽  
Formal Analysis ◽  
Medical Emergency ◽  
Multi Agent System ◽  
Key Factors ◽  
Agent System ◽  
Agent Based ◽  
Multi Agent ◽  
Role Based ◽  
High Level

Modeling interactions between agents and the Multi-Agent System (MAS) behavior based on role based collaboration among the participating agents are the key factors to design of effective MAS dynamics. In this paper, a High level Multi Agent Petri Net called HMAP has been proposed which is capable of describing, analyzing and modeling dynamics of such MAS which are characterized as asynchronous, distributed, parallel and non-deterministic agent based systems. Proposed HMAP is also effective towards modeling roles, collaborations and interactions among the heterogeneous agents in MAS environment. Moreover the HMAP is useful in formal analysis of several behavioral properties of MAS like, Reachability, Home properties, Boundedness, Liveness and Fairness. The proposed mechanism has been illustrated using a suitable case study of Medical Emergency System. Moreover, to further validate the proposed concepts of HMAP, it has been simulated using Color Petri Net based tool called CPN Tool, with some restriction.

Compare of Formal Analysis and Testing for Verification of Safety-Critical Systems: A Case Study

2013 ◽  
Vol 765-767 ◽  
pp. 1227-1230
Author(s):  
Juan Zhang ◽  
Guo Qi Li ◽  
Xiao Liu
Keyword(s):  
Formal Analysis ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Safety Critical System ◽  
Safety Critical Systems

Safety-critical system attracts more attention in recent years. During the development of safety-critical systems, verification plays the most important role and includes many high cost activities. Testing and formal analysis are two mainstream ways for verification. This paper describes new tools and procedures for testing and formal analysis for verification of safety-critical systems. Compare them in detail in a case study. Conclusion and future works are given finally.

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document