Basics of Invasive Computing (A01) (SFB/TRR 89 InvasIC (A01))

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


Overall project details

Overall project

DFG SFB/Transregio 89 "Invasive Computing" (TRR 89) July 1, 2010 - Dec. 31, 2022

Overall project speaker:

Project details

Short description

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.

Scientific Abstract

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.

Involved:

Contributing FAU Organisations:

Funding Source