Hide menu

Introduction to Performance Validation of Embedded Software

2014HT

Status Active - open for registrations
School National Graduate School in Computer Science (CUGS)
Division SAS
Owner Sudipta Chattopadhyay
Homepage http://www.ida.liu.se/~sudch88/RA/teaching.html

  Log in  




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: Webmaster
Last updated: 2012-05-03