PIM-DSD pim2 2 V 4 PA 6 3 nein Deutsch Projektarbeit KIM-DSD Kommunikationsinformatik 3 Wahlpflichtfach PIM-DSD Praktische Informatik 3 Wahlpflichtfach PIM-DSD Praktische Informatik 3 Wahlpflichtfach TIM-DSD Technische Informatik 3 Wahlpflichtfach Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 90 Veranstaltungsstunden (= 67.5 Zeitstunden). Der Gesamtaufwand des Moduls beträgt bei 6 Creditpoints 180 Stunden (30 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 112.5 Stunden zur Verfügung. Prof. Dr. Markus Esch mes Dr.-Ing. Jörg Herter jh Die Studierenden sind nach erfolgreichem Absolvieren dieses Moduls in der Lage, die besonderen Herausforderungen beim Entwurf von verlässlichen Systemen, in der Regel sicherheitskritische (Echtzeit-)Softwaresysteme, abzuschätzen und in die Realisierung einzubeziehen. Sie können aufgrund ihres erworbenen Hintergrundwissens die erforderlichen Entwurfsentscheidungen treffen und die Eigenschaften bezüglich Echtzeitverhalten entwicklen. In der Projektarbeit werden State-of-the-art-Industriewerkzeuge benutzt, um ein eigenes Roboterprojekt (Mindstorms) als verlässliches System umzusetzen. Die Studenten erhalten hierbei insbesondere Einblicke, welche Modellierungs- und Analysesoftware derzeit in Luft- und Raumfahrt, Automobilbau und Medizintechnikbereich eingesetzt wird und wie sich Entwicklung/Programmierstil von sicherheitskritischer Software (z.B. eingebettete Systeme aus der Luft- und Raumfahrt oder der Automobilindustrie) verglichen mit der Entwicklung von "normaler Software" unterscheidet. 1. Aufbau von verlässlichen und sicherheitskritischen Systemen 2. Besondere Sicherheitsanforderungen 3. Anforderungen an Zeitverhalten und Determinismus 4. Zuverlässigkeit und Fehlertoleranz 5. Modellierung und Besonderheiten der Entwicklung von verlässlichen sicherheitskritischen Systemen 6. Echtzeitbetriebssysteme und Scheduling-Verfahren 7. Projektarbeit Vorlesung zu den theoretischen Inhalten und betreutes Praktikum, weitestgehend selbstständiges Arbeiten im Rahmen der Projektarbeit in Gruppen P. Marwedel: Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things, Springer 2017 G. Buttazzo: Hard Real-Time Computing Systems, Springer 2004 P. Pop et al.: Analysis and Synthesis of Distributed Real-Time Embedded Systems, Springer 2004 F. Vahid, T.Givargis: Embedded System Design, John Wiley 2003 F. NIELSON, H. NIELSON, C. HANKIN: Principles of Program Analysis P. COUSOT, R. COUSOT: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints WS 2024/25 WS 2023/24 Sat Mar 7 06:30:02 CET 2026, CKEY=pdsd, BKEY=pim2, CID=[?], LANGUAGE=de, DATE=07.03.2026