ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2009

June 17-25, 2009       DTU - Lyngby, Denmark organised and funded by ARTIST 

Aims and Scope

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.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet