Model transformation from RoboSim to network of timed automata for UPPAAL | Current Project
![](/projects/robosim2uppaal/featured_hu97ba39fba74f73343a32c9279ebe6e45_247170_720x2500_fit_q75_h2_lanczos.webp)
This project investigates how to transform from RoboSim models to timed automata.
We propose a model transformation method based on TA patterns and mapping rules, and develop a real-time automatic transformation tool from RoboSim model to NTA model for UPPAAL. This work was successfully applied to the real case Alpha algorithm. The next steps are: 1. Automatic generation of properties for robots. 2. Propose a new DSML for modeling specific environment.