Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.1253
Fulltext available Open Access
Title: An online model-checking framework for timed automata
Language: English
Authors: Rinast, Jonas 
Keywords: Formal Methods;Model Checking;Online Model Checking;State Space Reconstruction;Cyber-Physical Systems
Issue Date: 2015
Examination Date: 4-Sep-2015
Abstract (german): Diese Dissertation untersucht Online Model Checking, eine dynamische Variante von Model Checking, die Eigenschaften eines Modells analysieren kann, auch wenn längerfristig korrekte Modelle nicht verfügbar sind. Ein Framework, das einen ganzheitlichen Ansatz zur Erstellung solcher Online Model-Checking Anwendungen mit Datenverarbeitungs-, Simulations-, Verifikations- und Visualisierungskomponenten bereitstellt wird präsentiert. Die Korrektheit zweier verwendeter Transformationsreduktionen wird gezeigt. Weiterhin werden zwei Studien zu Online Model Checking im medizinischen Bereich präsentiert.
Abstract (english): This dissertation explores online model checking, a dynamic variant of model checking, that can be used to prove properties of a system even if long-term models for the system are not available. A framework is presented that provides an integrated approach to creating such online model-checking applications with data acquisition, data processing, model simulation, model verification, and simulation visualization features. The correctness of two transformation reductions used is shown. Furthermore, two case studies on online model checking in the medical domain are presented.
URI: http://tubdok.tub.tuhh.de/handle/11420/1256
DOI: 10.15480/882.1253
Institute: Softwaresysteme E-16 
Type: Dissertation
Advisor: Schupp, Sibylle 
Referee: Gollmann, Dieter 
Hansen, René Rydhof 
Thesis grantor: Technische Universität Hamburg
License: In Copyright In Copyright
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
OnlineModelCheckingFramework.pdf3,1 MBAdobe PDFThumbnail
View/Open
Show full item record

Google ScholarTM

Check

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.