This thesis examines the problem of formal modeling of real-time requirements and the problem of property preservation in the context of model-based computer-aided development of reactive real-time systems. Demanded system behavior is modeled using a denotational framework which is able to capture and interrelate time and functional requirements. Using this framework time requirements can be formulated, analyzed resp. consistency and completeness, and related to component architectures. By this, the time behavior is established as an independent but integrated view on the system. In order to ensure property preservation, model-based transformation method is developed. It offers modeling paradigms for application logic, task architecture and deployment platform. For the transitions from application logic to task architecture and from task architecture to deployed system synthesis procedures are presented and their correctness is formally proved.     «

This thesis examines the problem of formal modeling of real-time requirements and the problem of property preservation in the context of model-based computer-aided development of reactive real-time systems. Demanded system behavior is modeled using a denotational framework which is able to capture and interrelate time and functional requirements. Using this framework time requirements can be formulated, analyzed resp. consistency and completeness, and related to component architectures. By th...     »

Vorliegende Arbeit untersucht das Problem der formalen Modellierung von Echtzeitanforderungen und das Problem der Eigenschaftserhaltung im Rahmen der modellbasierten rechnergestützten Entwicklung reaktiver Echtzeitsysteme. Das geforderte Systemverhalten ist mit Hilfe eines Formalismus modelliert, welcher in der Lage ist, funktionale und zeitliche Anforderungen zu erfassen und zueinander in Beziehung setzen. Damit können zeitliche Anforderungen formuliert, bzgl. Konsistenz und Vollständigkeit analysiert und über Komponenten verteilt werden. Dadurch wird das Zeitverhalten zu einer unabhängigen jedoch integrierten Sicht auf das System. Um die Eigenschaftserhaltung sicherzustellen, wurde eine Methode entwickelt, die Modelle für Anwendungslogik, Task-Architektur und Zielplattform beschreibt, sowie für die Übergänge von Anwendungslogik zu Task-Architektur und von Task-Architektur zu integriertem System spezielle Synthese-Verfahren anbietet.     «

Vorliegende Arbeit untersucht das Problem der formalen Modellierung von Echtzeitanforderungen und das Problem der Eigenschaftserhaltung im Rahmen der modellbasierten rechnergestützten Entwicklung reaktiver Echtzeitsysteme. Das geforderte Systemverhalten ist mit Hilfe eines Formalismus modelliert, welcher in der Lage ist, funktionale und zeitliche Anforderungen zu erfassen und zueinander in Beziehung setzen. Damit können zeitliche Anforderungen formuliert, bzgl. Konsistenz und Vollständigkeit...     »