Echtzeitsysteme und Komponenten

点击翻译按钮获取中文摘要

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.