SFB/Transregio 89, Teilprojekt A1: Grundlagen Invasiven RechnensDas Projekt erforscht Programmiermodelle und theoretische Grundlagen zur Erhöhung der Vorhersagbarkeit nichtfunktionaler Ausführungseigenschaften invasiver Programme.Schwerpunkte liegen auf (a) einer formalen Semantik und einem Typsystem der invasiven Kernsprache als Basis für
Ressourcennutzungsgarantien und eines Speichermodells invasiver Architekturen, (b) Programmiererweiterungen, um typische invasive Programmiermuster und nichtfunktionale Anforderungen auszudrücken und formale Programmanalyse zu ermöglichen, und (c) der Untersuchung von Ressourcenmanagement-Strategien zur gültigen und optimalen Programmausführung. | Projektleitung:
Prof. Dr.-Ing. Jürgen Teich, Dr.-Ing. Stefan Wildermann
Beteiligte:
Dipl.-Ing. Andreas Weichslgartner
Laufzeit: 1.7.2010 - 30.6.2018
Förderer:
Deutsche Forschungsgemeinschaft
Kontakt:
Teich, Jürgen
Telefon +49-9131-85-25150, Fax +49-9131-85-25149, E-Mail: juergen.teich@fau.de
|