Please use this identifier to cite or link to this item:
Title: An online model-checking framework for timed automata
Language: English (United States)
Authors: Rinast, Jonas 
Keywords: Formal Methods;Model Checking;Online Model Checking;State Space Reconstruction;Cyber-Physical Systems
Issue Date: 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.
DOI: 10.15480/882.1253
Institute: Softwaresysteme E-16 
Type: Dissertation
Advisor: Schupp, Sibylle 
Thesis grantor: Technische Universität Hamburg
Appears in Collections:Publications (tub.dok)

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

Page view(s)

Last Week
Last month
checked on May 25, 2019


checked on May 25, 2019

Google ScholarTM



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