Project Details
Projekt
Echtzeitsysteme und Komponenten
Applicant
Professor Dr. Hermann Härtig
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
