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.

Réalisation Axome - Création de sites Internet