Generation of Distributed Monitors and Run-time Verification of Invasive Applications
(B04)
Subject Area
Electronic Semiconductors, Components and Circuits, Integrated Systems, Sensor Technology, Theoretical Electrical Engineering
Term
from 2010 to 2022
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 146371743
New techniques are investigated to enable run-time verification for invasive computing platforms. This includes research on generating distributed hardware systems for runtime verification, software probes and property checkers as well as model-based design automation support. The goal is to provide runtime information to the runtime requirement enforcers and to detect rare run-time events indicating unexpected situations or security issues.
DFG Programme
CRC/Transregios
