Verlässliche Echtzeitsysteme (WS 2020/21)
Wichtige Hinweise: Digitalisierung der Lehrveranstaltung
Die Veranstaltung findet im Wintersemester 2020/2021 in Form einer virtuellen Vorlesung statt.- Aus organisatorischen und technischen Gründen ist die Teilnehmerzahl begrenzt, daher ist eine Voranmeldung zwingend erforderlich. Die Anmeldung erfolgt über StudOn bis zum 28.10.2020, 23:59 Uhr. Sie werden bis zum 30.10.2020 (einschließlich) über den Erfolg ihrer Anmeldung informiert.
- Bei Überbuchung ist eine Rückweisung der Anmeldung bis zum 30.10.2020 möglich.
- Die Veranstaltung kann ohne Vorkenntnisse aus der Schwesterveranstaltung Echtzeitsysteme belegt werden. Da dies in diesem Semester für viele Studenten der Fall sein dürfte, bieten wir hier ferner für einzelne Themenfelder bei Bedarf gezielte Vertiefungsangebote.
- Wie in der Lehrveranstaltung Echtzeitsysteme werden jedoch Programmierkenntnisse in C/C++ vorausgesetzt (vgl. Voraussetzungen Echtzeitsysteme und Fragebogen Programmierkenntnisse auf der Veranstaltungswebsite des Vorjahres).
- Abweichend zum Sommersemester 2020 findet der Übungsbetrieb im Wintersemester in Zweiergruppen statt. Präsenzübungen sind aufgrund der angespannten Infektionslage nicht vorgesehen.
Für Fragen erreichen Sie uns in der Zwischenzeit über unsere Mailingliste.
Eingebettete Systeme durchdringen praktisch alle Bereiche des täglichen Lebens. Immer häufiger übernehmen diese Echtzeitsysteme Aufgaben, welche hohe Anforderungen an die funktionale Sicherheit stellen. Beispiele hierfür sind Fahrerassistenzsysteme in modernen Automobilen, medizinische Geräte, Prozessanlagen oder Flugzeuge. Fehlfunktionen in diesen Anwendungen ziehen mitunter katastrophale Konsequenzen nach sich: finanzielle und materielle Schäden bis hin zu Personenschäden. Die Entwicklung sicherer und robuster Systeme gewinnt daher in der Forschung und Entwicklung zunehmend an Bedeutung.
News
| 29.10.2020:
Informationen zum Veranstaltungsbetrieb in der ersten Vorlesungswoche:
Montag, 02.11., 12:15 Uhr: Kickoff:
Erstes gemeinsames Zoom-Meeting aller Teilnehmer
Besprechung der Veranstaltungsorganisation, Gruppenbildung und -anmeldung Die Sitzung endet mit einem Technikcheckup der Übungsinfrastruktur. Details hierzu folgen im Zoom-Meeting. (Die Rechnerübung am 02.11. um 10:15 Uhr findet nicht statt).(§) |
| 02.10.2020: Anmeldung zur Veranstaltung ist nun über StudOn möglich (§) |
| 02.10.2020: Informationen über Anmeldung und Übungsmodus hinzugefügt (§) |
| 10.08.2020: Bitte beachten: Der aktuelle Zustand ist lediglich aus dem letzten Semester portiert. Alle angegebenen Daten und Termine sind vorläufig! (§) |
Virtuelle Veranstaltung im Wintersemester 2020
Änderungen am Veranstaltungskonzept
Durch den Wegfall aller Präsenzanteile ergeben sich eine Reihe von fundamentalen Änderungen im Veranstaltungskonzept, welches wir bis auf weiteres umsetzen. Grundsätzlich folgt die Organisation in weiten Teil dem Konzept des Inverted Classroom. Entsprechend erfolgt die Stoffvermittlung durch Eigenarbeit zuhause. In den virtuellen Unterrichtseinheiten erfolgt letztlich die Anwendung und Reflexion des erarbeiteten Wissens.
Die wesentlichen Eckpunkte dieses Konzepts sind:
- Die Lehrinhalte der bisherigen Vorlesung und Tafelübung werden von uns durch Videos und Screencasts vorab bereitgestellt.
- Die Vorlesung wandelt sich zu einer wöchentlichen, virtuellen Diskussionsrunde für den gesamten Stoff.
- Die Tafelübung in ihrer bisherigen Form entfällt; Diskussion und Fragen werden im Rahmen der gemeinsamen virtuellen Diskussionsrunde am Vorlesungstermin aufgegriffen.
- Virtuelle Gruppenarbeit: Die Übungen werden in (virtuell kollaborierenden) Zweiergruppen bearbeitet und elektronisch abgegeben. Die verteilte Versionsverwaltung git wird im Rahmen der Übungen vermittelt und dient als Kollaborations- und Abgabewerkzeug
- Die Rechnerübung wandelt sich zu regelmäßig angebotenen virtuellen Beratungsrunden, in welchen durch Teilen des Bildschirms auch Implementierungsfragen gelöst werden können.
Hinweis: Durch die Beschränkungen einer rein virtuellen Betreuung, müssen wir den Implementierungsanteil in handhabbaren Grenzen halten. Da sich die erweiterten Übungen im Wesentlichen durch einen erhöhten Implementierungsaufwand auszeichnen, können wir diese leider nicht anbieten. Entsprechend entfällt im Wintersemester 2020 die Variante mit 7,5 ECTS.
Konferenzsoftware
Die Fragestunde der Lehrveranstaltung erfolgt über Zoom, den Link hierzu geht Ihnen nach Anmeldeschluss per Email zu.
Informationen zur Installation und Nutzung finden Sie auf den Seiten des RRZE, dort finden Sie ferner Informationen zu Sicherheit & Datenschutz.
Sollten Sie sich für die Nutzung mittels Browser entscheiden, so haben unsere eigenen initiale Tests gezeigt, dass die Nutzung mittels chromium-basierter Browser am zuverlässigsten funktionierte.
Sie könne bereits vorab die korrekte Funktionsweise Ihres Systems über ein Zoom-Testmeeting überprüfen. Wir raten Ihnen dringend, von dieser Möglichkeit Gebrauch zu machen.
Weiterhin bitten wir Sie, in den Audio- und Videokonferenzen dringend eine Hörsprechgarnitur oder zumindest Kopfhörer zu verwenden, um die eigene Verständlichkeit zu erhöhen und die Entstehung von Störsignalen (Rauschen, Rückkopplung, etc.) einzuschränken.
In der Rechnerübung kommt die Webkonferenzlösung Jitsi-Meet zum Einsatz. Bitte testen Sie auch hier frühzeitig die Funktionalität vor allem auch der "Bildschirm-Teilen"-Funktionalität (unten links) auf der Instanz des Rechenzentrums. Eine Anleitung finden Sie auch hier auf den Seiten des Rechenzentrums sowie in unserem Screencast zum Thema Rechnerübungen. Auch hier empfiehlt sich bei Problemen die Nutzung eines chromium-basierten Browsers.
Inhalt der Vorlesung
Während sich die Echtzeitsysteme den zeitlichen Aspekten der Systementwicklung widmet, rücken in Verlässliche Echtzeitsysteme Methoden und Techniken für die Entwicklung zuverlässiger Systeme in den Mittelpunkt - schließlich ist Rechtzeitigkeit keine hinreichende Eigenschaft sicherheitskritischer Systemen. Beide Veranstaltungen sind unabhängig voneinander durchführbar, ergänzen sich jedoch in optimaler Weise. Ziel der Vorlesung ist die zuverlässige Entwicklung von Software (frei von internen Fehlern) ebenso wie die Entwicklung zuverlässiger Software (robust gegenüber äußeren Fehlern). Im Fokus steht hierbei weniger die Vermittlung theoretischer Grundkenntnisse, sondern vielmehr deren praktischer Einsatz in Form von:
- Fehlersuche und -vermeidung: funktional, räumlich und zeitlich,
- unter Einsatz existierender Werkzeuge und Methoden wie sich auch in der Industrie zum Einsatz kommen.
- Robuste Echtzeitsysteme durch Fehlertoleranz und Verteilung
Weitere Informationen zur Vorlesung...
Inhalt der Übung
Im Rahmen der Übungen werden ausgewählte Vorlesungsinhalte mit besonderem Fokus auf deren praktischer Anwendung vertieft. Zum Einsatz kommen hierbei sowohl aktuelle Ansätze und Methoden aus der Forschung, als auch Werkzeuge und Techniken aus dem industriellen Umfeld. Hierzu zählt insbesondere auch die Fehlersuche mittels Debugger und die Codeanalyse mit der aiT-Toolchain (WCET-Analyse, Stack-Analyse, Abstrakte Interpretation mit Astrée).
Im Verlauf des Semesters wird die Verwendung der verschiedenen Techniken und Werkzeuge in den verschiedenen Phasen der Produktentwicklung aufgezeigt, indem ein solcher Entwicklungszyklus simuliert wird.
Weitere Informationen zur Übung...Dozenten und Betreuer
| Dr.-Ing. Peter Wägemann | Simon Schuster, M.Sc. | Phillip Raffeck, M.Sc, | Lukas Wegmann | Florian Schmaus, M.Sc. |
|
|
|
|
|
Terminübersicht (Wochenplanung)
| Mo | Di | Mi | Do | Fr | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 08:00 | ||||||||||||||||||
| 09:00 | ||||||||||||||||||
| 10:00 | ||||||||||||||||||
| ||||||||||||||||||
| 11:00 | ||||||||||||||||||
| 12:00 | ||||||||||||||||||
|
| |||||||||||||||||
| 13:00 | ||||||||||||||||||
| 14:00 | ||||||||||||||||||
| 15:00 | ||||||||||||||||||
| 16:00 | ||||||||||||||||||
| 17:00 | ||||||||||||||||||
Terminübersicht (Semesterplan)
Ablauf von Vorlesung und Übungsaufgaben im Überblick: Die Abgabe der Aufgaben findet im Rahmen der regulären Übung statt und erfolgt durch Demonstration eurer Lösung am Rechner.
| KW | Mo | Di | Mi | Do | Fr | Themen |
|---|---|---|---|---|---|---|
| 45 | 02.11 | 03.11 | 04.11 | 05.11 | 06.11 | Material 1: Organisation (Vorlesung) Material 1: Einleitung Material 1: Organisation (Übung) Material 1: Einführung in den Umgang mit git (Übung) |
| Fragestunde 1 | Rechnerübung | |||||
| Material 1 | ||||||
| Ausgabe A1 | ||||||
| 46 | 09.11 | 10.11 | 11.11 | 12.11 | 13.11 | Material 2: Grundlagen Material 2: Implementieren eines Filters mit Festkommaarithmetik (Übung) |
| Fragestunde 2 | Rechnerübung | Fester Termin A1 | ||||
| Material 2 | ||||||
| Ausgabe A2 | ||||||
| Rechnerübung | ||||||
| 47 | 16.11 | 17.11 | 18.11 | 19.11 | 20.11 | Material 3: Fehlertoleranz durch Redundanz Material 3: Triple Modular Redundancy (Übung) |
| Fragestunde 3 | Rechnerübung | |||||
| Material 3 | ||||||
| Rechnerübung | ||||||
| Ausgabe A3 | ||||||
| 48 | 23.11 | 24.11 | 25.11 | 26.11 | 27.11 | Material 4: Codierung |
| Fragestunde 4 | Fester Termin A2 | Rechnerübung | ||||
| Material 4 | ||||||
| Rechnerübung | ||||||
| 49 | 30.11 | 01.12 | 02.12 | 03.12 | 04.12 | Material 5: Fehlerinjektion Material 5: EAN Codes und Fehlerinjektion (Übung) |
| Fragestunde 5 | Rechnerübung | |||||
| Material 5 | ||||||
| Rechnerübung | ||||||
| Ausgabe A4 | ||||||
| 50 | 07.12 | 08.12 | 09.12 | 10.12 | 11.12 | Material 6: Dynamisches Testen Material 6: Testen (Übung) |
| Fragestunde 6 | Fester Termin A3 | Rechnerübung | ||||
| Material 6 | ||||||
| Rechnerübung | ||||||
| Ausgabe A5.1 | ||||||
| 51 | 14.12 | 15.12 | 16.12 | 17.12 | 18.12 | Material 7: Grundlagen der statischen Programmanalyse |
| Fragestunde 7 | Rechnerübung | |||||
| Material 7 | ||||||
| Rechnerübung | ||||||
| Ausgabe A5.2 | ||||||
| 52 | 21.12 | 22.12 | 23.12 | 24.12 | 25.12 | Material 8: Verifikation nicht-funktionaler Eigenschaften, Stack- und WCET-Analyse |
| Fragestunde 8 | Fester Termin A4 | Weihnachten/Neujahr | ||||
| Material 8 | ||||||
| Rechnerübung | ||||||
| Ausgabe A5.3 | ||||||
| 53 | 28.12 | 29.12 | 30.12 | 31.12 | 01.01 | |
| Weihnachten/Neujahr | ||||||
| 01 | 04.01 | 05.01 | 06.01 | 07.01 | 08.01 | |
| Weihnachten/Neujahr | Rechnerübung | Fester Termin A5.1 | ||||
| 02 | 11.01 | 12.01 | 13.01 | 14.01 | 15.01 | Material 9: Verifikation funktionaler Eigenschaften: Design-by-Contract Material 9: Stackverbrauchs Analyse (Übung) |
| Fragestunde 9 | Rechnerübung | Fester Termin A5.2 | ||||
| Material 9 | ||||||
| Rechnerübung | ||||||
| Ausgabe A6 | ||||||
| 03 | 18.01 | 19.01 | 20.01 | 21.01 | 22.01 | Material 10: Industrievortrag: Platform Software for Safety-Critical Multicore Systems Isabella Stilkerich Schaeffler AG, Herzogenaurauch |
| Fragestunde 10 | Rechnerübung | Fester Termin A5.3 | ||||
| Material 10 | ||||||
| Rechnerübung | ||||||
| 04 | 25.01 | 26.01 | 27.01 | 28.01 | 29.01 | Material 11: Fallstudie Reaktorschutzsystem Material 11: Abstrakte Interpretation (Übung) |
| Fragestunde 11 | Rechnerübung | Fester Termin A6 | ||||
| Material 11 | ||||||
| Rechnerübung | ||||||
| Ausgabe A7 | ||||||
| 05 | 01.02 | 02.02 | 03.02 | 04.02 | 05.02 | Material 12: |
| Fragestunde 12 | Rechnerübung | |||||
| Material 12 | ||||||
| Rechnerübung | ||||||
| 06 | 08.02 | 09.02 | 10.02 | 11.02 | 12.02 | |
| Fragestunde 13 | Fester Termin A7 | Rechnerübung | ||||
| Rechnerübung | ||||||
Prüfung
In der Veranstaltung kann u.a. in folgenden Prüfungen verwendet werden:
- Bachelor/Master: Modul Echtzeitsysteme 2 mit 5 ECTS (7.5 ECTS entfällt im Wintersemester 2020)
- Kombinationsmodule mit 7.5, 10 oder 15 ECTS in Abhängigkeit vom Studiengang. (entfallen ggf. im Wintersemester 2020)
Für weitere Informationen zur Prüfung konsultieren Sie bitte Ihre Prüfungsordnung oder das Prüfungsamt.
Kontakt
Bei Fragen zu Vorlesung oder den Übungen wenden Sie sich bitte an die Mailingliste:Dabei erreichen Sie unter i4ezs-owner@lists.cs.fau.de ausschließlich die Betreuer.
Für allgemeine Fragen, welche alle Teilnehmer betreffen, wie etwa Unklarheiten in der Aufgabenstellung, aber auch Bekanntmachungen unsererseits, existiert darüber hinaus die reguläre Mailingliste i4ezs@lists.cs.fau.de. Wir empfehlen allen Teilnehmern ausdrücklich die Anmeldung.
