Generierung verteilter Monitorsysteme und Laufzeitverifikation von invasiven Anwendungen (B04)

Fachliche Zuordnung Elektronische Halbleiter, Bauelemente und Schaltungen, Integrierte Systeme, Sensorik, Theoretische Elektrotechnik
Förderung Förderung von 2010 bis 2022
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 146371743
 

Projektbeschreibung

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