Computer-Aided Development of Robust Embedded Software
Translated title:
Computergestützte Entwicklung robuster eingebetteter Software
Author:
Kleeberger, Petra Roswitha
Year:
2019
Document type:
Dissertation
Faculty/School:
Fakultät für Elektrotechnik und Informationstechnik
Advisor:
Schlichtmann, Ulf (Prof. Dr.)
Referee:
Schlichtmann, Ulf (Prof. Dr.); Gerstlauer, Andreas (Assoc. Prof., Ph.D.)
Language:
en
Subject group:
ELT Elektrotechnik
TUM classification:
ELT 272d
Abstract:
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.
Translated abstract:
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...
»