Detailseite
Projekt
Echtzeitsysteme und Komponenten
Antragsteller
Professor Dr. Hermann Härtig
Fachliche Zuordnung
Rechnerarchitektur, eingebettete und massiv parallele Systeme
Förderung
Förderung von 2001 bis 2005
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5468152
Echtzeitsysteme und die mikrokernbasierte Konstruktion von Betriebssytemen haben in den letzten Jahren zu einem Fundus von Prinzipien geführt, der allerdings der systematischen, auf Komponententechnologien basierenden Konstruktion von Software erst in Ansätzen oder gar nicht zugänglich gemacht wird. Das Teilprojekt soll dem abhelfen. Ziel des Teilprojektes ist die Beschreibung quantitativer Eigenschaften von Komponenten durch Kontakte der Art: wenn Klienten eines Servers eine zugesagte, spezifizierte Last nicht überschreiten und der Server die vereinbarten Betriebsmittel erhält, dann sagt der Server ein bestimmtes, zu spezifizierendes Antwortzeitverhalten zu. In einem ersten Ansatz soll dazu eine Kombination von Pfadausdrücken und Imprecise Computations eingeführt und genutzt werden, die im Antrag näher beschrieben ist. Auf der Basis soll dann die Abbildung von quantitativen Eigenschaften verschiedener Abstraktionsebenen, die Komposition von so beschriebenen Komponenten und die beispielhafte Konstruktion von Komponenten behandelt werden. Das schließt die Schaffung einer Infrastruktur ein, die die quantitativen Eigenschaften mittels zugesagter Bereitstellung der notwendigen Ressourcen auch gewährleistet.
DFG-Verfahren
Forschungsgruppen
