Das Herbstsemester 2020 findet in einer gemischten Form aus Online- und Präsenzunterricht statt.
Bitte lesen Sie die publizierten Informationen zu den einzelnen Lehrveranstaltungen genau.

227-0124-00L  Embedded Systems

SemesterFrühjahrssemester 2015
DozierendeL. Thiele
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


KurzbeschreibungComputersysteme zur Steuerung von Geräten und industriellen Anlagen werden als eingebettete Systeme (ES) bezeichnet. Im einzelnen werden behandelt: Entwurf komplexer digitaler Systeme, Softwareimplementierung eingebetteter Systeme, Echtzeit-Ablaufplanung und Betriebssysteme, Architekturen eingebetteter Systeme, verteilte eingebettete Systeme, Energie- und Leistungsverbrauch, Architektursynthese.
LernzielEinführung in die Einsatzmöglichkeiten von Rechensystemen in industriellen Anwendungen; Erkennen der besonderen Anforderungen und Probleme. Schwerpunkt der Vorlesung ist die Implementierung eingebetteter Systeme unter Einsatz formaler Methoden und rechnergestützter Entwurfsverfahren.
InhaltComputersysteme zur Steuerung von Geräten und industriellen Anlagen werden als eingebettete Systeme (ES) bezeichnet. ES müssen nicht nur auf zufällige Ereignisse in ihrer Umgebung zeitgerecht reagieren, sondern auch aus regelmässigen Folgen von Messwerten entsprechende Stellwerte errechnen. Eingebette Computersysteme sind mit ihrer Umgebung über Sensoren und Aktoren verknüpft. Das grosse Interesse am systematischen Entwurf von heterogenen reaktiven Systemen ist verursacht durch die steigende Vielfalt und Komplexität von Anwendungen für ES, die Notwendigkeit, Entwurfs- und Testkosten zu senken sowie durch Fortschritte in Schlüsseltechnologien. Im einzelnen werden behandelt: Entwurf komplexer digitaler Systeme, Softwareimplementierung eingebetteter Systeme, Echtzeit-Ablaufplanung und Betriebssysteme, Architekturen eingebetteter Systeme, verteilte eingebettete Systeme, Energie- und Leistungsverbrauch, Architektursynthese. Siehe: http://www.tik.ee.ethz.ch/tik/education/lectures/ES/ .
SkriptMaterialien/Skript, Publikationen, Übungsblätter, Podcast. Siehe: http://www.tik.ee.ethz.ch/tik/education/lectures/ES/ .
Literatur[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
Voraussetzungen / BesonderesVoraussetzungen:
Abgeschlossene Grundausbildung in Technischer Informatik; Kenntnisse der Eigenschaften verteilter Systeme und der Konzepte für ihre Beschreibung.