Schwerpunktgebiet Cyber-Physical Systems (CPS)
Themen
Mit Cyber-Physical Systems bezeichnet man technische Geräte, die mit spezialisierten softwaretechnischen Anwendungen und Programmen versehen sind, um spezifische Aufgaben in einem größeren, physikalischen Umfeld zu erfüllen. Anwendungsbeispiele für solche eingebetteten Systeme sind z.B. die moderne Telekommunikation (Stichwort "Smartphone"), der Automobilbau, die Steuerung von Strom- und Energieversorgungsnetzen oder auch die Medizintechnik.
Diese Systeme sind sehr komplex und erfordern ein hohes Maß an Sicherheit und Effizienz. Wichtige Forschungsbereiche sind daher neben der Kommunikation der einzelnen Komponenten miteinander das Testen und Verifizieren der verwendeten Hardware und Software.
Beteiligte Lehrstühle und Arbeitsgruppen
Hauptsächlich die folgenden Lehrstühle und Arbeitsgruppen sind an der Forschung auf diesem Gebiet beteiligt:
- Betriebssyteme (Prof. Dr. Christoph Scholl)
- Programmiersprachen (Prof. Dr. Peter Thiemann)
- Rechnerarchitektur (Prof. Dr. Bernd Becker bzw. Prof. Dr. Armin Biere)
- Softwaretechnik (Prof. Dr. Andreas Podelski)
Cyber-Physical Systems in Studium und Lehre
Dies ist eines von drei Gebieten, in denen sich Studierende des Master of Science Informatik spezialisieren können. Die folgende Tabelle enthält ein beispielhaftes Curriculum für dieses Vertiefungsgebiet.
| Veranstaltungsart | Wintersemester | Sommersemester |
| Kursvorlesung (jedes Jahr angeboten) |
| Rechnerarchitektur Softwaretechnik |
| Kernveranstaltungen (jedes Jahr angeboten) | Cyber-Physical Systems – Discrete Models | Cyber-Physical Systems – Hybrid Models |
| weitere Spezialvorlesungen (i.d.R. alle 1 bis 2 Jahre) | Verifikation Eingebetteter Systeme Formale Methoden für Java Concurrency: Theory and Practice Peer-to-Peer Networks |
Echtzeitbetriebssysteme und Zuverlässigkeit Test und Zuverlässigkeit Entscheidungsprozeduren Compilerbau / Compiler Construction Distributed Systems Constraint-Satisfaction-Probleme Modallogik Programmanalyse Model Driven Engineering Real-Time Systems |
| frühere Spezialvorlesungen (nicht mehr angeboten) | Software Design, Modeling and Analysis in UML |
Zusätzlich werden Seminare, Praktika und weitere Spezialvorlesungen, die nur einmalig oder in unregelmäßigen Abständen gehalten werden, angeboten.
Mehr Informationen zu den Veranstaltungen finden Sie auch im Modulhandbuch des Masters Informatik.