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

Boucherit, Ammar; Castro, Laura M.; Khababa, Abdallah; Hasan, Osman

doi:10.3233/mgs-200320

Cited by 4 publications

(3 citation statements)

References 69 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Por fim, o trabalho de (Boucherit et al, 2020) utilizou redes de Petri e lógica de reescrita para facilitar a formalização de aplicações multiagentes críticas de segurança. O artigo apresenta um algoritmo que permite a geração automática de especificações Maude para modelos de sistemas multiagente baseados em redes de Petri.…”

Section: Trabalhos Relacionadosunclassified

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

Machado,

Zelindro,

Adamatti

et al. 2024

Cuad. Ed. Desar.

View full text Add to dashboard Cite

A demanda por sistemas com inteligência artificial, como sistemas multiagente, está continuamente crescendo. Ao mesmo tempo, há uma necessidade de desenvolvimento de ferramentas para auxiliar nesta área, garantindo uma melhor tolerância a falhas para o projeto, uma vez que esses sistemas possuem características que tornam o sistema não determinístico e aumentam a dificuldade na realização de testes. Para tentar resolver esse problema, foi desenvolvida uma ferramenta de mapeamento que gera automaticamente um modelo gráfico que pode ser utilizado para identificar caminhos de teste para um determinado sistema multiagente. Esta ferramenta utiliza como entrada um arquivo XML do Moise+, um modelo organizacional para sistemas multiagente, mapeando-o em uma rede de Petri colorida, uma ferramenta de modelagem gráfica e matemática. O mapeamento resultante é utilizado para gerar casos de teste, necessários para validar o modelo Moise+, sendo utilizado como guia durante a realização dos testes do sistema. A automação torna o processo mais rápido e elimina a possibilidade de erro humano.

show abstract

Section: Trabalhos Relacionadosunclassified

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

Machado,

Zelindro,

Adamatti

et al. 2024

Cuad. Ed. Desar.

View full text Add to dashboard Cite

show abstract

“…In this context, it is worth noting that there is another enhanced rewriting logic-based semantics [17], [18] for Petri nets, and, therefore, the corresponding specification of our Petri net is given in Listing 2.…”

Section: Listing 1 First Maude Specificationmentioning

confidence: 99%

PN2Maude: An automatic tool to generate Maude specification for Petri net models

Boucherit,

Abbas,

Mohamed Lamine

et al. 2023

CSJM

View full text Add to dashboard Cite

Currently, Model-Driven Engineering (MDE) plays a key role in the software development process as it aims to handle their increasing complexity and focuses on the automatic generation of code and/or specifications from system models. This paper presents a very useful tool for the automatic generation of Maude specifications from both Petri net PNML (Petri Net Markup Language) descriptions or incidence matrices. At the end of this paper, a simple but complete Petri net example will be presented to demonstrate the usefulness of the developed tool.

show abstract

“…Many researchers ensure the safety from different aspects [1][2][3] by different methods, such as control strategy, security factor, and intelligent platform. More and more experiences show that the formal method is very effective to ensure the safety of the Internet of Vehicles [4][5][6][7] systems.…”

Section: Introductionmentioning

confidence: 99%

Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z

Liu

Huang

Chen

2020

Mathematical Problems in Engineering

View full text Add to dashboard Cite

Nowadays, the Internet of Vehicles has become the focus of global technological innovation and transformation in the automotive industry. Its flow modelling appears to play a very important role for designing and controlling the transportation systems, since it is not only necessary for improving safety and transportation efficiency but also can yield a series of society, economy, and ecosystem environment problems. Considering the characteristics of the frame structure includes states and actions and discrete and continuous aspects of traffic flow dynamics, both petri net and Z have proved to be useful tools for modelling the Internet of Vehicles. It can formally describe the vehicle behavior accurately with petri net and more details with Z frame structure. A new integration formal method of time petri net and Z is presented in this paper for modelling the vehicle behaviors and traffic rules through taking into account state dependencies on external rules. Moreover, a case study in the Internet of Vehicles is proposed to deal with the accurate localization of events. It shows that this formal verification methods significantly improves the safety and intelligence of the Internet of Vehicles.

show abstract

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

Cited by 4 publications

References 69 publications

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

PN2Maude: An automatic tool to generate Maude specification for Petri net models

Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z

Contact Info

Product

Resources

About