Introduction to Performance Validation of Embedded Software2014HT
4 lecture sessions (approx. 4 hours each), reading assignments, take-home exercises and examination seminar.
This is an advanced and fairly active research area. Primarily recommended for PhD students. However, master's students who have an interest in the topic are also strongly encouraged. In particular, the course is recommended for PhD students who are working on embedded and real-time systems. Besides, students working on compiler construction and software engineering may also find the course content useful.
The course was last given
After the course, the students will be able to:
* understand the different stages to analyze the performance of embedded software
* understand the basic concepts of worst case execution time (WCET) analysis
* understand different mechanisms to predict WCET
* build timing models for different micro-architectural entities (e.g. caches, pipeline) and model program flow for WCET analysis
* understand the advantage and limitations of WCET analysis techniques
* understand basic compiler optimizations for improving WCET and the fundamental difference between such optimizations and optimizations performed by a general-purpose compiler (e.g. gcc)
* model timing delays when several programs contend for a resource (e.g. in a multi-tasking environment)
* get an exposure with the current trend of research in the area and write short critiques
* Basic knowledge in computer architecture, specifically memory hierarchy and
* Basic knowledge in program structure and semantics, such as control flow graph and abstract syntax tree.
Lectures, reading assignments, take-home exercises and examination seminar.
* Lecture materials
* "The worst-case execution-time problem - overview of methods and survey of tools", ACM Trans. on Embedded Computing Systems, 2008
* Selected research articles
Page responsible: Webmaster
Last updated: 2012-05-03