Verlässliche Echtzeitsysteme (SS 2020)
Wichtige Hinweise: Digitalisierung der Lehrveranstaltung
Die Veranstaltung findet im Sommersemester 2020 in Form einer virtuellen Vorlesung statt.- Aus organisatorischen und technischen Gründen ist die Teilnehmerzahl begrenzt, daher ist eine Voranmeldung bis zum 21.04.2020 (23:59 Uhr) zwingend erforderlich.
- Bei Überbuchung ist eine Rückweisung der Anmeldung am 22.04.2020 möglich.
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
| 31.05.2020: | Laut Semesterterminplan ist Dienstag der 02.06.2020 trotz der aktuellen Pandemielage bergfrei. Die Rechnerübung entfällt folglich. (§) |
| 29.05.2020: | Die Termine für die Abgabe der Aufgaben 4 und 5 wurden jeweils um eine Woche verlängert, um die Teilnahme an zwei weiteren Rechnerübungsterminen zu ermöglichen sowie die Arbeitslast pro Woche zu reduzieren. Details finden sich wie immer in der Terminübersicht. (§) |
| 05.05.2020: | Die Termine für die Abgabe der Aufgaben 2 und 3 wurden jeweils auf den nachfolgenden Mittwoch verschoben, um die Teilnahme an zwei weiteren Rechnerübungsterminen zu ermöglichen. (pr) |
| 17.04.2020: |
Informationen zum Veranstaltungsbetrieb in der ersten Vorlesungswoche:
|
| 16.04.2020: | Aufgrund der unübersichtlichen Veranstaltungssituation im SS20 wurde die Anmeldefrist auf Wunsch auf den 21.04.2020 (23:59 Uhr) verlängert (§) |
| 02.04.2020: | VEZS findet im Sommersemester 2020 aufgrund der aktuellen Einschränkungen durch COVID-19 vorerst als rein virtuelle Veranstaltung statt. Wir arbeiten mit Hochdruck an den hierfür notwendigen Änderungen. Für die Teilnahme ist zwingend eine Anmeldung über StudOn bis zum 16.04.2020 notwendig. (pu) |
| 04.02.2020: | Vorläufige Version der Website online (§) |
Virtuelle Veranstaltung im Sommersemester 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.
- Die bisherige Gruppenarbeit entfällt: Die Übungen werden individuell bearbeitet und elektronisch abgegeben (git, Textdokumente).
- 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 Sommersemester 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 Ulbrich | Simon Schuster, M.Sc. | Florian Schmaus, M.Sc. | Phillip Raffeck, M.Sc, | Lukas Wegmann | Roman Sommer |
|
|
|
|
|
|
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 |
|---|---|---|---|---|---|---|
| 17 | 20.04 | 21.04 | 22.04 | 23.04 | 24.04 | Material 1: Organisation (Vorlesung) Material 1: Einleitung Material 1: Organisation (Übung) Material 1: Einführung in den Umgang mit git (Übung) |
| Material 1 | Ausgabe A1 | Fragestunde 1 | ||||
| 18 | 27.04 | 28.04 | 29.04 | 30.04 | 01.05 | Material 2: Grundlagen Material 2: Implementieren eines Filters mit Festkommaarithmetik (Übung) |
| Material 2 | Rechnerübung | Fragestunde 2 | Tag der Arbeit | |||
| Ausgabe A2 | Fester Termin A1 | |||||
| Rechnerübung | ||||||
| 19 | 04.05 | 05.05 | 06.05 | 07.05 | 08.05 | Material 3: Fehlertoleranz durch Redundanz Material 3: Triple Modular Redundancy (Übung) |
| Material 3 | Rechnerübung | Fragestunde 3 | ||||
| Rechnerübung | Ausgabe A3 | |||||
| 20 | 11.05 | 12.05 | 13.05 | 14.05 | 15.05 | Material 4: Codierung |
| Material 4 | Rechnerübung | Fester Termin A2 | Fragestunde 4 | |||
| Rechnerübung | ||||||
| 21 | 18.05 | 19.05 | 20.05 | 21.05 | 22.05 | Material 5: Fehlerinjektion Material 5: EAN Codes und Fehlerinjektion (Übung) |
| Material 5 | Rechnerübung | Christi Himmelfahrt | ||||
| Rechnerübung | Ausgabe A4 | |||||
| 22 | 25.05 | 26.05 | 27.05 | 28.05 | 29.05 | Material 6: Dynamisches Testen Material 6: Testen (Übung) |
| Material 6 | Rechnerübung | Fester Termin A3 | Fragestunde 5 | |||
| Rechnerübung | Ausgabe A5.1 | |||||
| 23 | 01.06 | 02.06 | 03.06 | 04.06 | 05.06 | |
| Pfingstmontag | Bergdienstag | Fragestunde 6 | ||||
| 24 | 08.06 | 09.06 | 10.06 | 11.06 | 12.06 | |
| Rechnerübung | Rechnerübung | Ausgabe A5.2 | Fronleichnam | |||
| 25 | 15.06 | 16.06 | 17.06 | 18.06 | 19.06 | Material 7: Grundlagen der statischen Programmanalyse |
| Material 7 | Rechnerübung | Fester Termin A4 | Fragestunde 7 | Fester Termin A5.1 | ||
| Rechnerübung | Ausgabe A5.3 | |||||
| 26 | 22.06 | 23.06 | 24.06 | 25.06 | 26.06 | Material 8: Verifikation nicht-funktionaler Eigenschaften, Stack- und WCET-Analyse Material 8: Stackverbrauchs Analyse (Übung) |
| Material 8 | Rechnerübung | Fragestunde 8 | Fester Termin A5.2 | |||
| Rechnerübung | Ausgabe A6 | |||||
| 27 | 29.06 | 30.06 | 01.07 | 02.07 | 03.07 | Material 9: Verifikation funktionaler Eigenschaften: Design-by-Contract |
| Material 9 | Rechnerübung | Fragestunde 9 | Fester Termin A5.3 | |||
| Rechnerübung | ||||||
| 28 | 06.07 | 07.07 | 08.07 | 09.07 | 10.07 | Material 10: Fallstudie Reaktorschutzsystem Material 10: Abstrakte Interpretation (Übung) |
| Material 10 | Rechnerübung | Fester Termin A6 | Fragestunde 10 | |||
| Rechnerübung | Ausgabe A7 | |||||
| 29 | 13.07 | 14.07 | 15.07 | 16.07 | 17.07 | Material 11: Industrievortrag: Abstrakte Interpretation in der industriellen Praxis Florian Martin AbsInt GmbH, Saarbruecken |
| Material 11 | Rechnerübung | Fragestunde 11 | ||||
| Rechnerübung | ||||||
| 30 | 20.07 | 21.07 | 22.07 | 23.07 | 24.07 | Material 12: Zusammenfassung & Fragestunde |
| Material 12 | Rechnerübung | Fester Termin A7 | Fragestunde 12 | |||
| 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 Sommersemester 2020)
- Kombinationsmodule mit 7.5, 10 oder 15 ECTS in Abhängigkeit vom Studiengang. (entfallen ggf. im Sommersemester 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.
