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.
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.
Prof. Dr. Dieter Rombach - und Prof. Dr. Peter Liggesmeyer - sind Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern. Sie leiten gemeinsam das Fraunhofer Institut für Experimentelles Software Engineering.
Prof. Dr. Peter Liggesmeyer - und Prof. Dr. Dieter Rombach - sind Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern. Sie leiten gemeinsam das Fraunhofer Institut für Experimentelles Software Engineering.
