Basics of Invasive Computing (A01)

• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2010 to 2022
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 146371743

Albeit the isolation of parallel programs on multicore systems through invasive computing, uncertainties of input, machine state and environment currently prohibit to provide predictable and tight bounds on non-functional properties such as timing and power and to guarantee that requirements on these will never be violated. We will investigate novel concepts and techni-ques for run-time requirement enforcement (RRE) including (a) centralised vs. distributed, (b) loose vs. strict, (c) proper formal verification techniques for strict enforcers and general pro-gram properties, finally (d) techniques for automatic enforcer generation from requirements.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 89: Invasive Computing
• Applicant Institution: Friedrich-Alexander-Universität Erlangen-Nürnberg
• Project Heads: Professor Dr.-Ing. Gregor Snelting; Professor Dr.-Ing. Jürgen Teich; Dr.-Ing. Stefan Wildermann, until 6/2018