Dependable Embedded Systems (DES)5 ECTS
(englische Bezeichnung: Dependable Embedded Systems)
(Prüfungsordnungsmodul: Wahlpflichtbereich Informatik)

Lehrveranstaltungen:

• • Dependable Embedded Systems
    (Vorlesung mit Übung, 4 SWS, Hananeh Aliee, Di, 14:15 - 15:45, 16:15 - 17:45, 02.112-128)

Inhalt:

Introduction
Shrinking structure devices enabled the design and manufacturing of smaller and smaller, yet more and more powerful and at the same time affordable embedded systems. Given their use in both safety critical environments but also in the entertainment domain, we expect these systems to be dependable to avoid fatal accidents as well as disappointed customers, respectively. With these device structures, novel problems arise: There exist severe manufacturing tolerances and the structures themselves show an increasing susceptibility for aging and radiation effects. In fact, future embedded systems cannot be design based on the assumption of properly working components anymore – we need to design dependable embedded systems from unreliable components.

Course Purpose
In this course, the students will (a) be introduced to typical faults and their causes that occur in embedded systems at the lowest levels of abstraction, (b) learn about countermeasures that can be applied at different levels, and (c) apply countermeasures and analyze their costs and effects to be able to design high-quality, i.e., dependable and cost-efficient, embedded systems.

Content
Embedded systems typically consist of a combination of processors, hardware accelerators, and communication infrastructure. This course will at first introduce faults and their causes (e.g. radiation effects or aging effects like NBTI) that occur in the system components and then discuss how faults propagate in the system all the way up to the applications. Afterwards, focus is put on countermeasures that can be applied to enhance the system’s dependability. Here, different levels of abstraction like the circuit, register transfer, microarchitecture, and the system level and respective techniques that typically apply redundancy in either space or time to increase the reliability are covered. As will be shown, these techniques do not come for free, but their cost and effect needs to be considered. Thus, the lecture will introduce dependability analysis techniques (e.g. BDD- and success tree-based analysis) that enable to quantify the cost and benefits of applied techniques. Finally, the lecture will put emphasis on the aspect of design automation. Here, techniques for the automatic and efficient integration of dependability-enhancing techniques (e.g. based on meta-heuristics like Evolutionary Algorithms) across different levels of abstraction are introduced.

Lernziele und Kompetenzen:

Verstehen

Die Studierenden erläutern die wesentlichen Techniken zum Entwurf zuverlässiger eingebetteter Systeme, zeigen deren Vor- und Nachteile auf und vergleichen diese bezüglich Ihrer Kosten, Nutzen sowie Komplexität.

Anwenden

Die Studierenden wenden Analysestechniken aus den Bereichen der Fehlerbaumanalyse, Binärer Entscheidungsdiagramme sowie der SAT-Löser auf Systembeschreibungen an. Die Studierenden wenden Optimierungsmethoden wie meta-heuristische Suchverfahren auf Systembeschreibungen an.

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science): ab 1. Semester
   (Po-Vers. 2013 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Wahlpflichtbereich Informatik | Wahlpflichtbereich Informatik)

Studien-/Prüfungsleistungen:

Dependable Embedded Systems (Prüfungsnummer: 445529)

(englischer Titel: Dependable Embedded Systems)

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet, 5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Note ergibt sich zu 100% aus der 30 minütigen mündlichen Prüfung

Prüfungssprache: Deutsch oder Englisch

Erstablegung: SS 2017

1. Prüfer:

Jürgen Teich