Paper Info
Title
Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker
Abstract
This paper presents a model translation to allow automatic simulation and verification of controller models for cyber-physical systems. The models are constructed using IOPT nets, a non-autonomous Petri nets class. Those models are then translated into Promela models to be executed by the Spin model checker, a widely used open-source software verification tool. Three illustrative examples are presented: one autonomous model and two non-autonomous models. As future work, it is foreseen the integration with the freely available IOPT-Tools framework.
Year
DOI
Venue
2022
10.1109/ISIE51582.2022.9831529
2022 IEEE 31st International Symposium on Industrial Electronics (ISIE)
Keywords
DocType
ISSN
cyber-physical systems,controller design,veri-fication,simulation,code generation,Petri nets,Spin,Promela,IOPT,IOPT-Tools
Conference
2163-5137
ISBN
Citations 
PageRank 
978-1-6654-8241-7
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
João Paulo Barros110518.03
Luís Gomes200.34