Generierung verteilter Monitorsysteme und Laufzeitverifikation von invasiven Anwendungen (B04)

Es werden neue Verfahren untersucht, um die Laufzeitverifikation für invasive Rechensysteme zu ermöglichen. Dies beinhaltet die Generierung eines verteilten Hardware-Systems für die Laufzeitverifikation, Software-Codes zum Monitoring und Überprüfen von Laufzeiteigenschaften sowie modellgestützte Entwurfsautomatisierungswerkzeuge. Das Ziel ist es, Laufzeitinformationen für das Runtime Requirement Enforcement (RRE) zu erzeugen und seltene Laufzeitereignisse zu detektieren, die auf unvorhergesehene Situationen oder Sicherheitsrisiken hinweisen.

DFG-Verfahren Transregios

Teilprojekt zu TRR 89:  Invasives Rechnen

Antragstellende Institution Friedrich-Alexander-Universität Erlangen-Nürnberg

Teilprojektleiterinnen / Teilprojektleiter Dr.-Ing. Daniel Müller-Gritschneder; Professor Dr.-Ing. Ulf Schlichtmann; Professorin Dr. Doris Schmitt-Landsiedel, bis 12/2016