Paper Info
Title
Time for statistical model checking of real-time systems
Abstract
We propose the first tool for solving complex (some undecidable) problems of timed systems by using Statistical Model Checking (SMC). The tool monitors several runs of the system, and then relies on statistical algorithms to get an estimate of the correctness of the entire design. Contrary to other existing toolsets, ours relies on i) a natural stochastic semantics for networks of timed systems, ii) an engine capable to solve problems that are beyond the scope of classical model checkers, and iii) a friendly user interface.
Year
DOI
Venue
2011
10.1007/978-3-642-22110-1_27
CAV
Keywords
Field
DocType
entire design,friendly user interface,natural stochastic semantics,classical model checker,statistical algorithm,statistical model checking,existing toolsets,real-time system
Programming language,Computer science,Correctness,Algorithm,Statistical model checking,Theoretical computer science,Real-time computing,User interface,Semantics,Distributed computing,Undecidable problem,Hybrid automaton
Conference
Citations 
PageRank 
References 
74
2.18
8
Authors
5
Name
Order
Citations
PageRank
Alexandre David1166776.52
Kim G. Larsen23922254.03
Axel Legay32982181.47
Marius Mikučionis479933.52
Zheng Wang543192.42