Home | Legals | Sitemap | KIT

Tools for Design and Analysis of Real-Time Systems

Tools for Design and Analysis of Real-Time Systems
type: Praktikum (P)
semester: WS 13/14
place:

40.28 Raum 001

time:

Tuesdays, 14:00-17:15
weekly

lecturer: Waqaas Munawar
Prof.Dr. Jian-Jia Chen
sws: 4
lv-no.: 2400076

Real-time systems play a crucial role in many applications, such as avionic control systems, automotive electronics, telecommunications, industrial automation, and robotics. Such safety-critical applications require high reliability in timing assurance to prevent from serious damage to the environment and significant human loss.

In this course, we will study the practical aspects of developing and verifying the real-time systems. The methodology we will follow is to use common RT tools on small-scale synthetic problems to see the real implementation of the concepts learned in the course on scheduling theory. The areas we will cover include

  • Worst case execution time analysis
  • Schedubility analysis for real schedulers
  • Steps for prototyping and testing novel scheduling algorithms
  • Real time calculus
  • Model checking to verify scheduling
  • Multi-core schedulers

The course will conclude with a project per student group, which will help reinforce the learned concepts.

The schedule of the course will be as follows:

Date
Session No.
Session Agenda
Material
22.10.2013      
29.10.2013 1 Organization slides
05.11.2013 2 WCET # 1 slides
12.11.2013      
19.11.2013 3 WCET # 2 slides
26.11.2013 4 RT Analysis slides
03.12.2013 5 RT Calculus slides
10.12.2013 6 Timed Automata slides
17.12.2013 7 LITMUS RT slides
24.12.2013 Holidays    
31.12.2013 Holidays    
07.01.2014 8 Project descriptions slides
14.01.2014      
21.01.2014      
28.01.2014      
04.02.2014      
11.02.2014  9  Project submission deadline  
13.02.2014  10  Project presentation