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