Techniques for Property Preservation in the Development ofReal-Time SystemsJewgenij BotaschanjanInstitut für Informatikder Technischen Universität MünchenTechniques for Property Preservation in theDevelopment of Real-Time SystemsJewgenijBotaschanjanVollständiger Abdruck der von der Fakultät für Informatik der Technischen UniversitätMünchen zur Erlangung des akademischen Grades einesDoktors der Naturwissenschaften (Dr. rer. nat.)genehmigten Dissertation.Vorsitzender: Univ.-Prof. Dr. Helmut SeidlPrüfer der Dissertation:1. Univ.-Prof. Dr. Dr. h.c. Manfred Broy2. Univ.-Prof. Dr. Alois KnollDie Dissertation wurde am 26.06.2008 bei der Technischen Universität Müncheneingereicht und durch die Fakultät für Informatik am 11.11.2008 angenommen.Abstractsignificant characteristic of real-time systems is the existence of constraints concerningA timeliness. Most real-time systems are reactive, i.e., they react to events or changes in theirenvironment. Additionally, the tasks enjoined on systems from the reactive domain are often in-herently safety-critical. By this, ensuring the correctness of these systems has high significance.Model-based development has been recognized as a promising approach for the mastering ofthe inherent complexity of reactive systems. While it has successfully come into use at the ad-vanced stages like implementation, for its continuous employment in the course of developmentadditional research has to be done.