Design and Analysis of Real-Time Systems
Lecturer
Time and Place
The lecture takes place on Thursdays from 2-4pm in lecture hall 3 in building E1 3.
The tutorial takes place on Mondays from 2-4pm in seminar room 016 (SR016) in building E1 3.
Synopsis
The lecture will cover:
- Worst-case Execution Time Analysis
- Basic Scheduling Theory
- Predictable Hardware Platforms
... and more!
Schedule
| Date |
Title |
Recommended Reading |
| April 18, 2013 |
Introduction to Real-Time Systems |
- |
| April 18, 2013 |
Introduction to WCET Analysis |
- |
| April 25, 2013 |
Introduction to Abstract Interpretation I |
Abstract Interpretation in a Nutshell |
| May 2, 2013 |
Introduction to Abstract Interpretation II |
- |
| May 9, 2013 |
Holiday: no class |
| May 16, 2013 |
Introduction to Abstract Interpretation III: Numerical Abstractions |
- |
| May 23, 2013 |
Introduction to Abstract Interpretation III: Numerical Abstractions and Loop Bound Analysis |
- |
| May 30, 2013 |
Holiday: no class |
| June 6, 2013 |
Caches and Static Cache Analysis |
- |
| June 13, 2013 |
Cache Predictability, Competitiveness, and Sensitivity Microarchitectural Analysis |
- |
| June 20, 2013 |
Predictability and Predictable Microarchitectures Precision-Timed ARM: An Example of a Predictable Microarchitecture |
RL Graham: Bounds on multiprocessing timing anomalies
R. Wilhelm et al.: Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems
D. Bui et al.: Temporal Isolation on Multiprocessing Architectures |
| June 27, 2013 |
Task Models and Scheduling |
Giorgio Buttazzo: Hard real-time computing systems : predictable scheduling algorithms and applications, Chapter 2 |
| July 4, 2013 |
Schedulability Analysis of Periodic Task Sets I |
Giorgio Buttazzo: Hard real-time computing systems : predictable scheduling algorithms and applications, Chapters 3 and 4 |
| July 11, 2013 |
Schedulability Analysis of Periodic Task Sets I+II Resource Sharing in Real-Time Scheduling |
Giorgio Buttazzo: Hard real-time computing systems : predictable scheduling algorithms and applications, Chapters 7 |
| July 18, 2013 |
Resource Reservation Servers |
Giorgio Buttazzo: Hard real-time computing systems : predictable scheduling algorithms and applications, Chapters 5 and 6 |
| July 25, 2013 |
Cache-Related Preemption Delay |
- |
Assignments
|
Deadline |
Material |
| Assignment 1 |
May 2, 2013 |
| Assignment 2 |
May 10, 2013 |
| Assignment 3 |
May 16, 2013 |
| Assignment 4 |
May 23, 2013 |
parity.cgi
simpleSign.cgi
extendedSign.cgi
Solution
|
| Assignment 5 |
June 6, 2013 |
signCond.cgi
ownAnalysis.cgi
|
| Assignment 6 |
June 13, 2013 |
| Assignment 7 |
June 20, 2013 |
Solution |
| Assignment 8 |
June 27, 2013 |
| Assignment 9 |
July 4, 2013 |
| Assignment 10 |
July 11, 2013 |
| Assignment 11 |
July 18, 2013 |
Exam
The exam will take place on August 1st from 2-4pm in lecture hall 3 in building E1 3.
The exam will be closed book but you are allowed to bring one A4 page (two sides) of handwritten notes.
Recommended Literature
- Edward Ashford Lee, Sanjit Arunkumar Seshia: Introduction to embedded systems : a cyber-physical systems approach
- Giorgio Buttazzo: Hard real-time computing systems : predictable scheduling algorithms and applications
- Peter Marwedel: Embedded system design : embedded systems foundations of cyber-physical systems
