Detailseite
Projekt Druckansicht

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
Antragstellende Institution Universität Paderborn
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung