227-0124-00L  Embedded Systems

Semester Spring Semester 2017
Lecturers L. Thiele
Periodicity yearly course
Language of instruction English


Abstract Computer systems for controlling industrial devices are called embedded systems (ES). Specifically the following topics will be covered: Design methodology, software design, real-time scheduling and operating systems, architectures, distributed embedded systems, low-power and low-energy design, architecture synthesis.
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: Design methodology, software design, real-time scheduling and operating systems, architectures, distributed embedded systems, low-power and low-energy design, architecture synthesis. See: http://www.tik.ee.ethz.ch/tik/education/lectures/ES/ .
Lecture notes Material/script, publications, exercise sheets, podcast. See: http://www.tik.ee.ethz.ch/tik/education/lectures/ES/ .
Literature [Mar07] P. Marwedel. Eingebettete Systeme. Springer Verlag, Paperback, December 2007. ISBN 978-3-540-34048-5

[Mar11] P. Marwedel. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Springer Verlag, Paperback, 2011. ISBN 978-94-007-0256-1

[Tei07] J. Teich. Digitale Hardware/Software-Systeme: Synthese und Optimierung. Springer Verlag, 2007. ISBN 3540468226

[But11] G.C. Buttazzo. Hard real-time computing systems: predictable scheduling algorithms and applications. Springer Verlag, Berlin, 2011. ISBN-10: 1461406757, ISBN-13: 9781461406754

[Wolf12] W. Wolf. Computers as components: principles of embedded computing system design. Morgan Kaufmann, 2012. ISBN-10: 0123884365, ISBN-13: 978-0123884367
Prerequisites / Notice Prerequisites:
Basic course in computer engineering; knowledge about distributed systems and concepts for their description.