Echtzeitsysteme und Komponenten

Betriebssystemen的技术体系和微内核基础结构在近几年来已经在Prinzipien的基础上得到了发展，系统化的成果，以及基于软件结构的组件技术，最初是在Ansätzen还是在其他地方都没有得到实现。这个项目需要帮助。Ziel des Teilprojektes ist die Beschreibung quantitativer Eigenschaften von Komponenten durch Kontakte der Art：wenn Klienten eines Servers eine zugesagte，specifizierte Last nicht überschreiten und der Server die vereinbarten Betriebsmittel erhält，dann sagt der Server ein bestimmtes，zu specifizierendes Antwortzeitverhalten zu.在第一个Antrag解决方案中，一个Pfadausdrücken和不精确计算的组合，一个韦尔登，这个Antrag就被命名了。在此基础上，建立了描述抽象特征的定量特征值的基础，并给出了描述抽象特征的组合和描述韦尔登的直观结构。Das schließt die Schaffung einer struktur ein，die quantitativen Eigenschaften mittels zugesagter Bereitstellung der notwendigen Ressourcen auch gewährleistet.

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.