Course Lecture Notes Problem Sets Discussion Slots Exams

Embedded Systems

Core lecture course (Stammvorlesung), Summer term 2012

Lecturer: Bernd Finkbeiner
Teaching assistants: Rüdiger Ehlers, Markus N. Rabe, Sebastian Hahn
Lectures: Tuesdays, 14:15-16:00, E1.3 HS 003
Thursdays, 16:15-18:00, E1.3 HS 002
Tutorials: Tuesdays, 12:15-14:00, E1.3 HS 003
Wednesdays, 14:15-16:00, E2.1 (Bioinformatics) R001
Exception: On June 26th (Tuesday), the tutorial will be in E2.5 HS 2
2nd Exception: On July 26th (Thursday), the lecture will be in E1.3 HS 001



Embedded systems are computer systems that are encapsulated into larger products, and that are normally not directly visible to the user. Embedded systems are responsible for the information processing in transportation systems (e.g., airplanes, trains, cars), telecommunication equipment (e.g., mobile phones), and consumer electronics products (e.g., TVs, DVD-players).

In this course we will study the theoretical foundations and practical tools that are needed to build reliable and efficient embedded systems.



Peter Marwedel.
Embedded System Design.
Springer, Berlin;
2nd Edition (2011)
ISBN: 978-94-007-0256-1
Edward A. Lee and Sanjit A. Seshia.
Introduction to Embedded Systems, A Cyber-Physical Systems Approach .
ISBN 978-0-557-70857-4, 2011.
Giorgio C. Buttazzo.
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications .
ISBN 978-1-4614-0675-4, 3rded. 2011.