Grundlagen Invasiven Rechnens (A01)

• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 2010 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 146371743

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.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 89: Invasives Rechnen
• Antragstellende Institution: Friedrich-Alexander-Universität Erlangen-Nürnberg
• Teilprojektleiter: Professor Dr.-Ing. Gregor Snelting; Professor Dr.-Ing. Jürgen Teich; Dr.-Ing. Stefan Wildermann, bis 6/2018