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:
Model-Based Development and Validation of Multirobot Cooperative System.
Simulation of Networked Embedded Control Systems Using TrueTime.
A logical approach to modelling and analysis of resource constraints.
Specification and verification with proof scores in CafeOBJ.