Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis

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.