Benutzer: Gast  Login
Originaltitel:
An Approach for Hybrid Modelling and Formal Verification in FOCUS 
Übersetzter Titel:
Ein Ansatz zur hybriden Modellierung und formalen Verifikation in FOCUS 
Jahr:
2015 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr.) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr.); Althoff, Matthias (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
TU-Systematik:
DAT 310d 
Kurzfassung:
The scope of this thesis is the introduction of sampling algorithms and the study of a formal verification support for hybrid systems. We extend the FOCUS formal modelling theory for specification of distributed and interactive systems to support hybrid systems. We propose sampling solutions guided by desired requirements/scenarios or by value variation of sampled variables. Our integration of formal verification is performed based on tight coupling of verification properties with model elements...    »
 
Übersetzte Kurzfassung:
Das Ziel dieser Dissertation ist die Einführung von Sampling Algorithmen und die Untersuchung einer formalen Verifikationsunterstützung für hybride Systeme. Wir bauen die formale Modellierungstheorie FOCUS zur Spezifikation von verteilten und interaktive Systeme aus, um hybride Systeme zu unterstützen. Wir schlagen Sampling Lösungen vor, die von gewünschten Anforderungen/Szenarien oder durch Variation der Variablenwerte geleitet werden. Unsere Integration von formaler Verifikation wird mittels e...    »
 
Mündliche Prüfung:
22.10.2015 
Dateigröße:
2716949 bytes 
Seiten:
166 
Letzte Änderung:
13.11.2015