ARTIST2 / UNU-IIST Spring School in China 2006

Week 1: Design, Architectures and Implementation

• Monday
  Introduction to Embedded System Design (Lothar Thiele)
  Software for Embedded Systems (Lothar Thiele)
• Tuesday
  Specification Languages for Embedded Systems (Peter Marwedel)
  Scheduling Policies (Lothar Thiele)
• Wednesday
  Design Space Exploration of Embedded Systems (Lothar Thiele)
  Performance Analysis of Distributed Embedded Systems (Lothar Thiele)
• Thursday
  Efficiency improving transformations (Peter Marwedel)
  Exploitation of the Memory Hierarchy (Peter Marwedel)
• Friday
  Key Compiler Algorithms (Peter Marwedel)
  Building a Compiler (Peter Marwedel)

Week 2: Modeling, Validation and Verification

• Monday
  Modeling of Real-Time Systems (Joseph Sifakis)
  Duration Calculus (Zhou Chaochen)
  Component-Based Construction: Interaction Models and Composition (Joseph Sifakis)
• Tuesday
  Component-Based Construction: Scheduler Modeling and Composability (Joseph Sifakis)
  The Duration Calculus and Model Checking (Zhou Chaochen)
  Correctness by Construction: Timed Systems with Priorities (Joseph Sifakis)
• Wednesday
  The IF toolset and the BIP framework (Joseph Sifakis)
  Verification of Untimed Systems: CTL and Basic Algorithms (Wang Yi)
• Thursday
  Semantics and Verification of Timed Systems (Wang Yi)
  A Component Model for Objects-Oriented Systems (Liu Zhiming)
  The UPPAAL Tool (1) (Wang Yi)
• Friday
  The UPPAAL Tool (2) (Wang Yi)
  Verification of Real-Time Fault-Tolorant Systems (Liu Zhiming)
  The TIMES tool: Models to Programs (Wang Yi)