Du er ikke logget ind
Beskrivelse
Die Arbeit bedient sich der Quantifizierung von Sicherheitsanalysen, um genauere Schranken fur die maximale Ausfuhrungszeit eingebetteter Systeme ermitteln zu koennen. Dabei stehen vor allem sicherheitskritische eingebettete Systeme im Vordergrund. Bei Systemen dieser Art kommen oft Fehlertoleranzmechanismen zum Einsatz, die mittels herkoemmlicher Verfahren typischerweise sehr konservativ behandelt werden und nur schwer zu analysieren sind.