Benutzer: Gast  Login
Originaltitel:
Techniques for Property Preservation in the Development of Real-Time Systems 
Übersetzter Titel:
Techniken zur Eigenschaftserhaltung in der Entwicklung von Echtzeitsystemen 
Jahr:
2008 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Knoll, Alois (Prof. Dr.); Broy, Manfred (Prof. Dr. Dr. h.c.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
Reactive Real-Time Systems, Model-Based Development, Formal Methods, Correct-by-Construction, Requirements Engineering, Clustering, Deployment 
Übersetzte Stichworte:
Reaktive Echtzeitsysteme, Modell-basierte Entwicklung, formale Methoden, Correct-by-Construction, Requirements Engineering, Clustering, Deployment 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Mündliche Prüfung:
18.12.2008 
Seiten:
173 
Letzte Änderung:
14.01.2009