Computer-Aided Development of Robust Embedded Software

Kleeberger, Petra Roswitha

Benutzer: Gast

Petra Roswitha Kleeberger

Originaltitel:: Computer-Aided Development of Robust Embedded Software
Übersetzter Titel:: Computergestützte Entwicklung robuster eingebetteter Software
Autor:: Kleeberger, Petra Roswitha
Jahr:: 2019
Dokumenttyp:: Dissertation
Fakultät/School:: Fakultät für Elektrotechnik und Informationstechnik
Betreuer:: Schlichtmann, Ulf (Prof. Dr.)
Gutachter:: Schlichtmann, Ulf (Prof. Dr.); Gerstlauer, Andreas (Assoc. Prof., Ph.D.)
Sprache:: en
Fachgebiet:: ELT Elektrotechnik
TU-Systematik:: ELT 272d
Kurzfassung:: This thesis presents novel methods for computer-aided development of robust embedded software: A high-speed fault injection approach analyzes the software's robustness. Static bit-level analyses reduce the fault set to further speed up fault injection. A hardware abstraction layer extended with safety mechanisms improves software's robustness. Selection of adequate safety mechanisms according to the criticality of peripheral accesses limits overheads.
Übersetzte Kurzfassung:: Diese Arbeit stellt Methoden zur computergestützten Entwicklung robuster eingebetteter Software vor: Hochperformante Fehlerinjektion analysiert die Software-Robustheit. Statische Analysen auf Bitebene reduzieren die Fehlermenge, um die Fehlerinjektion weiter zu beschleunigen. Eine mit Sicherheitsmechanismen erweiterte Hardware-Abstraktionsschicht verbessert die Software-Robustheit. Selektive Nutzung von Sicherheitsmechanismen entsprechend der Kritikalität von Peripheriezugriffen begrenzt den Overhead. «
Diese Arbeit stellt Methoden zur computergestützten Entwicklung robuster eingebetteter Software vor: Hochperformante Fehlerinjektion analysiert die Software-Robustheit. Statische Analysen auf Bitebene reduzieren die Fehlermenge, um die Fehlerinjektion weiter zu beschleunigen. Eine mit Sicherheitsmechanismen erweiterte Hardware-Abstraktionsschicht verbessert die Software-Robustheit. Selektive Nutzung von Sicherheitsmechanismen entsprechend der Kritikalität von Peripheriezugriffen begrenzt den Ove... »
ISBN:: 978-3-8439-4210-2
WWW:: https://mediatum.ub.tum.de/?id=1488687
Eingereicht am:: 19.06.2019
Mündliche Prüfung:: 01.08.2019
Letzte Änderung:: 03.01.2020
BibTeX