Options
An online model-checking framework for timed automata
Citation Link: https://doi.org/10.15480/882.1253
Publikationstyp
Doctoral Thesis
Publikationsdatum
2015
Sprache
English
Author
Advisor
Referee
Gollmann, Dieter
Title Granting Institution
Technische Universität Hamburg
Place of Title Granting Institution
Hamburg
Examination Date
2015-09-04
Institut
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.
Schlagworte
Formal Methods
Model Checking
Online Model Checking
State Space Reconstruction
Cyber-Physical Systems
DDC Class
004: Informatik
Loading...
Name
OnlineModelCheckingFramework.pdf
Size
3.03 MB
Format
Adobe PDF