Safety Simulation and Analysis for Complex Systems Concurrency Based on Petri Net and Stateflow Model

Dong, Jin; Jiao, Jian; Xia, Hongqing; Chu, Jiayun

doi:10.1109/rams.2019.8768931

Cited by 2 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri nets [1] have been widely used as a graphical and semiformal tool for specification and analysis of concurrent and complex systems [2], [3]. They are gaining more popularity in recent years since they allow an easy structural and behavioral description of studied systems [4], [5]. Due to their popularity, a large number of tools have been developed for editing, modeling, and analyzing Petri net model's properties [6].…”

Section: Introductionmentioning

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

Section: Introductionmentioning

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

show abstract

Conditional Expression Fault Classification and Repair Method of Aviation Control Software

Xie

Wang

et al. 2020

西北工业大学学报

View full text Add to dashboard Cite

Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software. This paper studies the fault classification and repair method of conditional expression of aviation control software. 1) a two-level Boolean conditional expression fault classification method is proposed; 2) based on the design of mutation operator, repair solution and stop condition of mutation repair, an automatic repair method of conditional expression is proposed; 3) a repair assistant tool for conditional expression is designed and implemented, and 155 fault expressions are repaired. The results show that 55.5% of fault expressions can achieve accurate repair, 44.5% of fault expressions can generate multiple correct versions after a repair, and some versions have operation redundancy, so it is necessary to select the optimal version manually.

show abstract

Safety Simulation and Analysis for Complex Systems Concurrency Based on Petri Net and Stateflow Model

Cited by 2 publications

References 1 publication

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

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

Conditional Expression Fault Classification and Repair Method of Aviation Control Software

Contact Info

Product

Resources

About