173 Pages
English

Techniques for property preservation in the development of real-time systems [Elektronische Ressource] / Jewgenij Botaschanjan

-

Gain access to the library to view online
Learn more

Description

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.

Subjects

Informations

Published by
Published 01 January 2008
Reads 15
Language English
Document size 1 MB