Der Besuch der Veranstaltung Echtzeitsysteme (EZS) ist keine notwendige Voraussetzung für den Besuch und das Verständnis dieser Vorlesung. Für die Teilnahme an der Veranstaltung sind Kenntnisse in der Programmiersprache C, z.B. aus einer der Veranstaltungen SPiC, GSPiC oder SP hilfreich. Darüber hinaus ist ein gewisses Durchhaltevermögen und Interesse an system- und hardwarenaher Programmierung gefragt.
Gliederung und Vorlesungsfolien
Die Vorlesungsfolien werden im PDF-Format als animierte Folien und als Handout im Format DIN A4 angeboten.
Die Folien bilden den roten Faden durch die Vorlesung. Sie können (und
sollen) eine ergänzende Vorlesungsmitschrift oder die ausführliche Erläuterung
der Themen in der Fachliteratur nicht ersetzen!
Die Folien, Videos und Screencasts liegen noch nicht vollständig vor und werden jeweils rechtzeitig zum Start der Bearbeitungswoche bereitgestellt.
Hinweis: Die hier verlinkten Videos sind aus den Netzen der Universität sowie per VPN ohne Passwort zugänglich. Teilnehmer der Veranstaltung erhalten Zugangsdaten zur Nutzung ohne VPN in der initialen Anmeldebestätigung per Email.
Die Zuverlässigkeit fast aller modernen Geräte wird maßgeblich durch die Fehleranfälligkeit der eingebetteten Software mitbestimmt. Daher wird dieses Thema von der Industrie auch immer mehr in den Fokus gestellt. AbsInt entwickelt seit über 20 Jahren Softwarelösungen, um eingebettete System zuverlässiger und sicherer zu machen. Der Vortrag geht auf die Herausforderungen des Einsatzes komplexer theoretischer Methoden in der industriellen Praxis ein und gibt Einblicke in die Details der Entwicklung der Tools.
12
KW30
Kapitel
Folien
Video
Screencast
12. Zusammenfassung
|
Fragestunde
Die von uns jeweils am Anfang der Woche bereitgestellten Materialen (Vorlesung und Übung) werden eigenverantwortlich bearbeitet. Die ursprüngliche Präsenzveranstaltung (Vorlesung) wird in der virtuellen Auslegung zu einer Fragestunde beziehungsweise zum gemeinsamen Erarbeiten von praktischen Lehrinhalten genutzt. Das aktuelle Thema der Fragestunde richtet sich nach dem Fortschritt in den bereitgestellten Materialien, d.h. also stets zum aktuellen Kapitel der Vorlesung und zu den noch offenen Übungsaufgaben. Zudem werden die Lernziele der Übungsaufgaben nach Abgabe diskutiert.
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.
Literatur
Zur Begleitung und Vertiefung des Vorlesungsinhalts kann auf folgende Fachbücher zurückgegriffen werden:
Shubu Mukherjee.
Architecture Design for Soft Errors.
Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008.
Olga Goloubeva, Maurizia Rebaudengo, Matteo Sonza Reorda, and Massimo Violante.
Software-Implemented Hardware Fault Tolerance.
Springer-Verlag, 233 Spring Street, New York, NY 10013, USA, 2006.
Hierbei ist aber zu beachten, dass sich der Inhalt der Vorlesung nicht streng
an einem dieser Bücher orientiert und sich keineswegs auf diese Bücher
beschränkt. Die gezielte Aufarbeitung der einzelnen Vorlesungskapitel kann
anhand der Literaturhinweise am Ende der jeweiligen Foliensätze
erfolgen. Grundlegende Erläuterungen zu den Fachbegriffen und Grundtechniken
fehlertoleranter Systeme sollten darüber hinaus in jedem Fachbuch vermittelt
werden, das sich mit diesem Themengebiet befasst.
Vorlesung 2 SWS, Sprache Deutsch, Hinweis: Die Veranstaltung findet im Sommersemester 2020 in geänderter Form statt.
Zeit und Ort: Do 14:15 - 15:45, 0.031-113
HINWEIS für das Sommersemester 2020:
Aufgrund der außergewöhnlichen Begleitumstände und den sich daraus ergebenden Einschränkungen für Präsenzveranstaltungen findet die hier angegebene Lehrveranstaltung in einer veränderten Fassung statt. Diese Änderungen umfassen Veranstaltungsaufbau, Übungsmodalitäten und ECTS-Zahlen.