A Model-Based Approach to Automation of Formal Verification of ROS 2-Based Systems
Lukas Dust, Mikael Ekström, Cristina Seceleanu, Rong Gu, Saad Mubeen, March 2025
Lukas Dust, Mikael Ekström, Cristina Seceleanu, Rong Gu, Saad Mubeen, March 2025
The linked folder contains the artifacts generated during creation of the journal article.
The folder "E2E" contains the EMF Metamodel, the Uppaal code and the test models created for the evaluation of the End to End Timing analysis.
The folder "parsing" contains the python code and a ROS 2 trace, as well as a converted xml model.
The folder "M2M" contains the modeling artifacts for the EMF Data Metamodel, the EMF Verification Metamodel and the M2M and M2Code transformations. Furthermore, generated models and uppaal code is contained.