Week 1: Design, Architectures and Implementation (abstract)
Lothar Thiele and Peter Marwedel |
Monday |
| |
8.45 |
- |
9.15 |
|
Opening |
| |
9.15 |
- |
12.00 |
|
Introduction to Embedded System Design (Lothar Thiele) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
16.15 |
|
Software for Embedded Systems (Lothar Thiele) |
| |
16.15 |
- |
16.45 |
|
Student session/Discussion |
Tuesday |
| |
9.15 |
- |
12.00 |
|
Specification Languages for Embedded Systems (Peter Marwedel) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
16.15 |
|
Scheduling Policies (Lothar Thiele) |
| |
16.15 |
- |
16.45 |
|
Student session/Discussion |
Wednesday |
| |
9.15 |
- |
12.00 |
|
Design Space Exploration of Embedded Systems (Lothar Thiele) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
16.15 |
|
Performance Analysis of Distributed Embedded Systems (Lothar Thiele) |
| |
16.15 |
- |
16.45 |
|
Student session/Discussion |
Thursday |
| |
9.15 |
- |
12.00 |
|
Efficiency improving transformations (Peter Marwedel) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
16.15 |
|
Exploitation of the Memory Hierarchy (Peter Marwedel) |
| |
16.15 |
- |
16.45 |
|
Student session/Discussion |
Friday |
| |
9.15 |
- |
12.00 |
|
Key Compiler Algorithms (Peter Marwedel) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
16.15 |
|
Building a Compiler (Peter Marwedel) |
| |
16.15 |
- |
16.45 |
|
Student session/Discussion |
Outline |
| |
9.15 |
- |
10.00 |
|
Lecture |
| |
10.00 |
- |
10.30 |
|
Coffee |
| |
10.30 |
- |
12.00 |
|
Lecture (+ short break) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
15.00 |
|
Lecture (+ short break) |
| |
15.00 |
- |
15.30 |
|
Coffee |
| |
15.30 |
- |
16.30 |
|
Lecture |
| |
16.30 |
- |
17.30 |
|
Discussion/Student Session |
Weekend |
Saturday:
|
|
Social event |
Sunday: |
|
Free |
Week 2: Modeling, Validation and Verification (abstract)
Joseph Sifakis and Wang Yi |
| |
Monday |
|
8.30 |
- |
9.00 |
|
Opening |
|
9.00 |
- |
12.00 |
|
Modeling of Real-Time Systems (Joseph Sifakis) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
14.30 |
|
Duration Calculus (Zhou Chaochen) |
| |
14.30 |
- |
16.30 |
|
Component-Based Construction: Interaction Models and Composition (Joseph Sifakis) |
| |
16.30 |
- |
17.30 |
|
Student session/Discussion |
| |
Tuesday |
|
9.00 |
- |
12.00 |
|
Component-Based Construction: Scheduler Modeling and Composability (Joseph Sifakis) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
14.30 |
|
The Duration Calculus and Model Checking (Zhou Chaochen) |
| |
14.30 |
- |
16.30 |
|
Correctness by Construction: Timed Systems with Priorities (Joseph Sifakis) |
| |
16.30 |
- |
17.30 |
|
Student session/Discussion |
| |
Wednesday |
|
9.00 |
- |
12.00 |
|
The IF toolset and the BIP framework (Joseph Sifakis) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
16.30 |
|
Verification of Untimed Systems: Basic Algorithms (Wang Yi) |
| |
16.30 |
- |
17.30 |
|
Student session/Discussion |
| |
Thursday |
|
9.00 |
- |
12.00 |
|
Semantics of Timed Systems: Timed Automata (Wang Yi) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
14.30 |
|
A Component Model for Objects-Oriented Systems (Liu Zhiming) |
| |
14.30 |
- |
16.30 |
|
Symbolic Verification of Timed Systems: Regions, Zones and DBM's (Wang Yi) |
| |
16.30 |
- |
17.30 |
|
Student session/Discussion |
| |
Friday |
|
9.00 |
- |
12.00 |
|
The UPPAAL Model Checker (Wang Yi) |
| |
12.00 |
- |
13.30 |
|
Lunch |
| |
13.30 |
- |
14.30 |
|
Verification of Real-Time Fault-Tolorant Systems (Liu Zhiming) |
| |
13.30 |
- |
16.30 |
|
The TIMES tool: Models to Programs (Wang Yi) |
| |
16.30 |
- |
17.30 |
|
Student session/Discussion |
