Stefaan Kenis: UPPAAL for analysis of RPG models
Reading part
UPPAAL is a tool for modeling, simulation and verification of real-time systems that is developed at the universities of Aalborg and Uppsala. It
has both a graphical and a textual interface for describing timed automata. It makes use of both clocks and communication channels.
reading report
reading presentation
Project part
My project was about analysing RPG models with UPPAAL. I started with creating models in UPPAAL. Then I exported models from AToMPM and transformed
it into a valid xml file, that can be imported into UPPAAL. The file generated from AToMPM is called exported.xml and can be found in the folder
demo from the material zip.
project report
project presentation
project material