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

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