Project Details
Projekt Print View

Echtzeitsysteme und Komponenten

Subject Area Computer Architecture, Embedded and Massively Parallel Systems
Term from 2001 to 2005
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme Research Units
 
 

Additional Information

Textvergrößerung und Kontrastanpassung