
RealTime and Embedded Systems
Course Homepage  Spring 2012
This course consists of three interrelated but distinct course modules:
Each module gives 1.5 hp credits. A student can choose to follow the whole course, or just one or two modules.
The lectures for the first module will be given on March 2829, lunchtolunch, starting at 13:15 on March 28, at Donald Knuth, IDA.
1. Systemlevel design methodology
Module developed and given by Zebo
Peng and Petru Eles.
Contents:
 Systemlevel design flow
 Architecture and platform
 Hardware/software codesign
 Performance estimation and analysis
 Optimization techniques
 Systemlevel power/energy optimization
Examination:
Written exam.
Litterature:
Lecture Notes and Articles.
2. Advanced RealTime Systems
Module developed and given by Unmesh Bordoloi.
Contents:
 Introduction to embedded realtime systems, hard vs soft
realtime systems
 Periodic task scheduling
 Fixed priority
 Dynamic priority
 Resource access control
 Priority inheritance
 Priority ceiling protocols
 Realtime automotive communication protocols
 Introduction to CAN (nonpreemptive fixed priority protocol),
TTA (time triggered), FlexRay protocols (hybrid protocol)
 Eventtriggered vs. timetriggered paradigms
 Systemlevel timing analysis
 Issues  endtoend delay, heterogeneous distributed
components
 RealTime Calculus for systemlevel timing analysis
Examination:
Take Home Exam / Assignments
Litterature:
Lecture notes, handouts, articles.
3. Formal Modelling and Verification of RealTime Systems
Module developed and given by Wang Yi.
Contents:
The goal of this module is to introduce the theories, algorithms and data structures
behind the UPPAAL tool developed jointly by Uppsala University and Aalborg
University. The focus will be put on the theory of timed automata covering
the
syntax, semantics, verification problems, (un)decidability
results, and techniques for symbolic reachability analysis which is the core
of
the UPPAAL tool.
Examination:
Assignments.
Litterature:
Articles.
Examiner of the whole course
Prof. Zebo Peng 


