VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

227-0124-00L 4 Credits
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

Embedded Systems

Eingebettete Systeme

Lecturers & Examiners: Prof. em. Dr. Lothar Thiele
VVZ CR 4.16

Last Updated: 2026-02-05 14:57:27

Abstract

Computer systems for controlling industrial devices are called embedded systems (ES). Specifically the following topics will be covered: Overview of the design methodology, design of complex digital systems, software implementation of embedded systems, hardware-software-codesign, aspects like real-time behavior and their influence on the architecture and implementation.

Objective

Introduction to industrial applications of computer systems; understanding specific requirements and problems arising in such applications. The focus of this lecture is on the implementation of embedded systems using formal methods and computer-based synthesis methods.

Content

Computer systems for controlling industrial devices are called embedded systems (ES). ES not only have to react to random events in their environment in a timely manner, they also have to calculate control values from continuous sequences of measurements. Embedded computer systems are connected to their environment though sensors and actors. The great interest in the systematic design of heterogeneous reactive systems is caused by the growing diversity and complexity of applications for ES, the requirement for low development and testing costs, and by progress in key technologies. Specifically the following topics will be covered: Overview of the design methodology, Design of complex digital systems, software implementation of embedded systems, hardware-software-codesign, aspects like real-time behavior and their influence on the architecture and implementation.

Resources

Lecture Notes

Material/script, publications, exercise sheets.

Literature

[Mar03] P. Marwedel. Embedded System Design. Kluwer Acad. Publ, 2003. ISBN 1-402-07690-8 [Tei97] J. Teich. Hardware/Software Systeme. Springer Verlag, 1997. ISBN 3-540-62433-3 [But97] G.C. Buttazzo. Hard real-time computing systems : predictable scheduling algorithms and applications. Kluwer Academic Publishers, 1997. ISBN 0-7923-9994-3 [Wolf2001] W. Wolf. Computers as components : principles of embedded computing system design. Morgan Kaufmann, 2001. ISBN 1-55860-693-9

General Information

Language
German
Frequency
Yearly recurring

Examination

Type
session examination
Mode
oral 30 minutes

Course Components

Type Title Time & Place Hours
lecture with exercise Eingebettete Systeme
  • Wed 13:15-17:00 (ETF E 1)
4 h weekly

Offered In