User: Guest  Login
Original title:
Techniques for Property Preservation in the Development of Real-Time Systems 
Translated title:
Techniken zur Eigenschaftserhaltung in der Entwicklung von Echtzeitsystemen 
Year:
2008 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Knoll, Alois (Prof. Dr.); Broy, Manfred (Prof. Dr. Dr. h.c.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Reactive Real-Time Systems, Model-Based Development, Formal Methods, Correct-by-Construction, Requirements Engineering, Clustering, Deployment 
Translated keywords:
Reaktive Echtzeitsysteme, Modell-basierte Entwicklung, formale Methoden, Correct-by-Construction, Requirements Engineering, Clustering, Deployment 
Abstract:
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...    »
 
Translated abstract:
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ändigkei...    »
 
Oral examination:
18.12.2008 
Pages:
173 
Last change:
14.01.2009