Skip to main content.

Getting Ready For The Tutorial

Before coming to the tutorial, please check your installation of Java. You need Java 1.5 installed on your machine under Windows or Linux. Please refer to the Java homepage to download appropriate software.
It is a good idea to download Uppaal (latest 3.6 alpha version) prior to the tutorial even though you will be given a CD with the distribution. The tool is free for non commercial purpose and can be downloaded from our homepage.
You are welcome to browse the available documentation (papers, help, tutorials, FAQ) on the Uppaal homepage under "documentation" if you are impatient to discover the tool. This may help you prepare questions for the tutorial.


9:00 - 10:30Session 1: Introduction to Uppaal.
10:30 - 11:00Coffee Break.
11:00 - 12:00Session 2: Inside Uppaal - Basics.
12:00 - 13:30Lunch.
13:30 - 15:00Session 3: Inside Uppaal - Advanced.
15:00 - 15:30Coffee Break.
15:30 - 17:00Session 4: Beyond Uppaal.
19:00 - 21:00RTSS'05 Welcome Reception.


Session 1: Introduction to Uppaal.

Presentation of the tool, model-checking, tool architecture. Timed automata in Uppaal, semantics, query language, zones and operations on zones. Slides Demo, guided exercises. Slides.

Session 2: Inside Uppaal - Basics.

Data structures, reachability algorithm, liveness algorithm, deadlock. Slides

Session 3: Inside Uppaal - Advanced.

Model-checker architecture, reachability & liveness pipeline, virtual machine, sharing, minimal graph, to store or not to store, symmetry. Slides.
Practice on modeling patterns, exercises. Slides.

Session 4: Beyond Uppaal.

Uppaal Cora, Tron, Tiga. Open source components (DBM library, libutap, parts of the GUI). Slides.
Times. Slides. Cover. Slides.
Exercises if time left.



General Reading

Efficient Data Structures

Distributed Model-Checking

Other Efficient Techniques

Planning and Scheduling

Hybrid Systems

Logic and Pre-orders