Lothar Thiele: Catalogue data in Autumn Semester 2023 |
| Name | Prof. em. Dr. Lothar Thiele |
| Field | Technische Informatik |
| Address | Inst. f. Techn. Informatik u. K. ETH Zürich, ETZ G 88 Gloriastrasse 35 8092 Zürich SWITZERLAND |
| Telephone | +41 44 632 70 31 |
| thiele@tik.ee.ethz.ch | |
| URL | http://www.tik.ee.ethz.ch/~thiele/ |
| Department | Information Technology and Electrical Engineering |
| Relationship | Professor emeritus |
| Number | Title | ECTS | Hours | Lecturers | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 227-0124-00L | Embedded Systems   | 6 credits | 4G | M. Magno, L. Thiele | ||||||||
| Abstract | An embedded system is a combination of computer hardware and software, either fixed in capability or programmable, that is designed for a specific function or for specific functions within a larger system. The course covers theoretical and practical aspects of embedded system design and includes a series of lab sessions. | |||||||||||
| Learning objective | Understanding specific requirements and problems arising in embedded system applications. Understanding architectures and components, their hardware-software interfaces, the memory architecture, communication between components, embedded operating systems, real-time scheduling theory, shared resources, low-power and low-energy design as well as hardware architecture synthesis. Using the formal models and methods in embedded system design in practical applications using the programming language C, the operating system ThreadX, a commercial embedded system platform, and the associated design environment. | |||||||||||
| Content | An embedded system is a combination of computer hardware and software, either fixed in capability or programmable, that is designed for a specific function or for specific functions within a larger system. For example, they are part of industrial machines, agricultural and process industry devices, automobiles, medical equipment, cameras, household appliances, airplanes, sensor networks, internet-of-things, as well as mobile devices. The focus of this lecture is on the design of embedded systems using formal models and methods as well as computer-based synthesis methods. Besides the theoretical lecture, the course is complemented by laboratory sessions where students learn to program an embedded system platform including sensors using C, to base their design on the embedded operating system ThreadX, and to edit/debug via an integrated development environment. Specifically, the following topics will be covered in the course: Embedded system architectures and components, hardware-software interfaces and memory architecture, software design methodology, communication, embedded operating systems, real-time scheduling, shared resources, low-power and low-energy design, and hardware architecture synthesis. | |||||||||||
| Lecture notes | Lecture material, publications, exercise sheets, and laboratory documentation will be available on the course's Moodle page. | |||||||||||
| Literature | Yifeng Zhu: Embedded Systems with Arm Cortex-M Microcontrollers in Assembly Language and C - Fourth Edition, E-Man Press LLC, ISBN: 978-0982692677, 2023 Giorgio C. Butazzo: Hard Real-Time Computing Systems. Predictable Scheduling Algorithms and Applications, Springer, ISBN 978-1-4614-3019-3, 2011 | |||||||||||
| Prerequisites / Notice | Prerequisites: Basic knowledge in computer architectures and programming. | |||||||||||
| Competencies |
| |||||||||||