Techniques for property preservation in the development of real-time systems.
Jewgenij Botaschanjan · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 2008
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.