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
• Subproject of: TRR 89: Invasive Computing
• Applicant Institution: Friedrich-Alexander-Universität Erlangen-Nürnberg
• Project Heads: Dr.-Ing. Daniel Müller-Gritschneder; Professor Dr.-Ing. Ulf Schlichtmann; Professorin Dr. Doris Schmitt-Landsiedel, until 12/2016