Echtzeit Kommunikations- und Betriebssystemdienste für selbstoptimierende Systeme
(C02)
Fachliche Zuordnung
Rechnerarchitektur, eingebettete und massiv parallele Systeme
Förderung
Förderung von 2002 bis 2013
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485260
Ziel des Teilprojektes C02 ist die Entwicklung eines selbstoptimierenden RCOS/RTOSSystems, welches sich zur Laufzeit optimal an die sich dynamisch ändernden Anforderungen von selbstoptimierenden Anwendungen anpasst. Hierfür werden Strategien auf RCOS/RTOS-Ebene entwickelt. Das System muss dabei strengen Echtzeit- und Sicherheitsbedingungen genügen. Um die Sicherheit auch unter dynamischen Randbedingungen zu erhöhen, werden Sicherheitseigenschaften zusätzlich zur Laufzeit verifiziert.
DFG-Verfahren
Sonderforschungsbereiche