Third Party Funds Group - Sub project
Acronym: SFB/TRR 89 InvasIC (A01)
Start date : 01.07.2010
End date : 31.12.2022
Website: http://invasic.informatik.uni-erlangen.de/en/tp_a1_PhIII.php
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 techniques 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.
Trotz strikter Isolierbarkeit paralleler Programme auf Mehrkernsystemen durch invasives Rechnen, vereiteln Unsicherheiten der Eingabe, des Maschinenzustands und der Umgebung immer noch die Berechnung enger Schranken nichtfunktionaler Eigenschaften wie Ausführungszeit und Leistungsverbrauch sowie deren Einhaltung. Zur Lösung werden neue Konzepte und Methoden zur Laufzeitdurchsetzung solcher Eigenschaften untersucht. Dies umfasst (a) zentrale und verteilte, (b) leichte und strikte, (c) formale Verifikationstechniken zur strikten Durchsetzung und für allgemeine Programmeigenschaften, sowie (d) zur Generierung von Durchsetzern.