Introduction to Performance Validation of Embedded Software2014HT
|
|
Course plan
Lectures
4 lecture sessions (approx. 4 hours each), reading assignments, take-home exercises and examination seminar.
Recommended for
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
Goals
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
Prerequisites
* Basic knowledge in computer architecture, specifically memory hierarchy and
pipeline.
* Basic knowledge in program structure and semantics, such as control flow
graph and abstract syntax tree.
Contents
Please see http://www.ida.liu.se/~sudch88/RA/teaching.html
Organization
Lectures, reading assignments, take-home exercises and examination seminar.
Literature
* 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
Lecturers
Sudipta Chattopadhyay
http://www.ida.liu.se/~sudch88
Examiner
Sudipta Chattopadhyay
http://www.ida.liu.se/~sudch88
Examination
Please see http://www.ida.liu.se/~sudch88/RA/teaching.html
Credit
6 credits
Organized by
Comments
Page responsible: Director of Graduate Studies