The aim of this course is to introduce advanced topics in connection with models, analysis and verification of embedded systems. The course will cover theory and applications, and hands-on experience with state-of-the-art tools.
The topics will vary from year to year. The focus this year is on:
Real time validation of embedded systems based on timed automata and the Uppaal tool suite, including priced timed automata and timed games, and Uppaal CORA, Uppaal TIGA and Uppaal Tron.
Model-Based Development and Validation of Multirobot Cooperative System.
Analysis of systems with resource constraints.