Validation, Synthesis
and
Performance Evaluation
of
Embedded Systems
using UPPAAL 

Kim Guldstrand Larsen
CISS, Aalborg University, DENMARK  

Beijing, August 8-12, 2011.

Slides

1. Introduction
2. Timed Automata
3. Decidability and Symbolic Engine
4. Scheduling
5. Schedulability and WCET Analysis
6. Controller Synthesis and Compositionality
7. Statistical Model Checking
8. Testing

Material available here!

Exercises available here!