This thesis presents an approach for model-based development of fault-tolerant real-time systems. The main goal is the automatic generation of code realizing non-functional systems, such as fault-tolerance mechanisms, communication in the distributed system, and scheduling. Contributions of this work are the formulation of an adequate domain-specific modeling language, a formal model for the specification of fault assumptions, the implementation of an according tool chain, and the integration of formal mechanisms to prove the correctness of the implementation. The approach is implemented in the context of two demonstrators to point out the advantages of the approach. The demonstrator point out that hard real-time constraints can be satisfied and heterogeneous systems can be supported.      «

This thesis presents an approach for model-based development of fault-tolerant real-time systems. The main goal is the automatic generation of code realizing non-functional systems, such as fault-tolerance mechanisms, communication in the distributed system, and scheduling. Contributions of this work are the formulation of an adequate domain-specific modeling language, a formal model for the specification of fault assumptions, the implementation of an according tool chain, and the integration o...     »

Diese Doktorarbeit behandelt die modellbasierte Entwicklung von fehlertoleranten Echtzeitsystemen. Der Fokus liegt dabei auf der Generierung von Code zur Realisierung von nicht-funktionale Aspekten, wie Fehlertoleranzmechanismen, Kommunikation im verteilten System und Scheduling. Die Beiträge diese Arbeit sind unter anderem die Formulierung einer geeigneten Modellierungssprache, die Einführung eines formalen Modells zur Spezifikation der Fehlerhypothese, die Umsetzung einer entsprechenden Werkzeugkette, sowie die Integration von formalen Mechanismen zum Nachweis der Korrektheit des generierten Codes. Die vorgestellten Mechanismen wurden anhand von zwei Demonstratoren umgesetzt und evaluiert. Die Arbeit zeigt, dass harte Echtzeitbedingungen erfüllt und heterogene Systeme unterstützt werden können.     «

Diese Doktorarbeit behandelt die modellbasierte Entwicklung von fehlertoleranten Echtzeitsystemen. Der Fokus liegt dabei auf der Generierung von Code zur Realisierung von nicht-funktionale Aspekten, wie Fehlertoleranzmechanismen, Kommunikation im verteilten System und Scheduling. Die Beiträge diese Arbeit sind unter anderem die Formulierung einer geeigneten Modellierungssprache, die Einführung eines formalen Modells zur Spezifikation der Fehlerhypothese, die Umsetzung einer entsprechenden Werkz...     »