Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/5698| Title: | Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker |
| Authors: | Barros, João Paulo Gomes, Luís |
| Keywords: | Cyber-physical systems Controller design Verification Simulation Code generation Petri nets Spin Promela IOPT IOPT-Tools |
| Issue Date: | 2022 |
| Publisher: | IEEE |
| 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. |
| Peer reviewed: | yes |
| URI: | http://hdl.handle.net/20.500.12207/5698 |
| metadata.dc.identifier.doi: | 10.1109/ISIE51582.2022.9831529 |
| Publisher version: | https://ieeexplore.ieee.org/document/9831529 |
| Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Towards_an_Integrated_Tool_Support_for_the_Analysis_of_IOPT_Nets_Using_the_Spin_Model_Checker_PPpdfA.pdf | 656.91 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
