Die Arbeit bedient sich der Quantifizierung von Sicherheitsanalysen, um genauere Schranken für die maximale Ausführungszeit eingebetteter Systeme ermitteln zu können. Dabei stehen vor allem sicherheitskritische eingebettete Systeme im Vordergrund. Bei Systemen dieser Art kommen oft Fehlertoleranzmechanismen zum Einsatz, die mittels herkömmlicher Verfahren typischerweise sehr konservativ behandelt werden und nur schwer zu analysieren sind.
Die Arbeit bedient sich der Quantifizierung von Sicherheitsanalysen, um genauere Schranken für die maximale Ausführungszeit eingebetteter Systeme ermitteln zu können. Dabei stehen vor allem sicherheitskritische eingebettete Systeme im Vordergrund. Bei Systemen dieser Art kommen oft Fehlertoleranzmechanismen zum Einsatz, die mittels herkömmlicher Verfahren typischerweise sehr konservativ behandelt werden und nur schwer zu analysieren sind.
Kai Höfig
Fraunhofer IESE software engineering safety critical system system safety fault tolerance safety analysis embedded system Failure Mode and Effects Analysis (FMEA) Ingenieure die sich mit der Analyse sicherheitskritischer Softwaresysteme befassen Forscher im Bereich der probabilistischen Zeitanalyse für modellbasierte Ansätze