Cyber-Physical Systems

Zusammenfassung:

Die Vorlesung Cyber-Physical Systems befasst sich mit der Integration eingebetteter Systeme mit der physikalischen Welt. Dies erfolgt in drei Teilen: Der erste Teil befasst sich mit der Modellierung von physikalischen Vorgängen. Dazu werden theoretische Grundlagen der Modellierung erläutert und deren Umsetzung mit Hilfe moderner Entwicklungs-Tools betrachtet. Der zweite Teil behandelt den Entwurf eines Computers und insbesondere der notwendigen Software für ein System, das in physikalische Prozesse eingebettet ist und mit diesen in Rückkopplung steht. In diesem Teil werden wichtige Techniken für Echtzeitbetriebssysteme vorgestellt, wie sie etwa im Fahrzeugbau zum Einsatz kommen. Der dritte Teil der Vorlesung geht auf Analyse und Verifikation solcher Systeme ein. Hier werden Techniken besprochen, die insbesondere beim Entwurf sicherheitskritischer Systeme von Relevanz sind, etwa im Umfeld des Fahrzeugbaus oder der Luftfahrt.

Literatur zur Lehrveranstaltung:

• Edward A. Lee und Sanjit A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach. LeeSeshia.org, 2011.
• Jane W. S. Liu. Real-Time Systems. Prentice Hall, 2000.
• Giorgio C. Buttazzo. Hard Real-Time Computing Systems. Springer, 2005.
• Peter Marwedel. Eingebettete Systeme. Springer, 2007.

Diese Veranstaltung wird in Digicampus verwaltet. Die Anmeldung zu den Übungen ist dort ab sofort möglich. Dort finden Sie auch die Vorlesungsfolien und Übungsblätter.

weitere Informationen zu der Lehrveranstaltung:

empfohlenes Studiensemester der Lehrveranstaltung:	Master
Fachrichtung Lehrveranstaltung:	Master Informatik, Master Informatik und Multimedia, Master Informatik und Informationswirtschaft
Nummer der Lehrveranstaltung:	07339
Dauer der Lehrveranstaltung:	3 SWS
Typ der Lehrveranstaltung:	V - Vorlesung
Leistungspunkte:	6
Prüfung:	Klausur
Begleitende Lehrveranstaltung(en):	07340
Semester:	SS 2013