Abstract | ||
---|---|---|
In this paper we propose a general framework for distributed statistical model checking of networks of priced timed automata. The first contribution is a new algorithm to distribute sequential hypothesis testing without introducing bias in the results. The second contribution is an implementation of this algorithm in Uppaal. The major contribution is an experimental and analytical evaluation of the approach through case studies, including an analysis of the SMC algorithm itself. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-28891-3_39 | NASA Formal Methods |
Keywords | Field | DocType |
smc algorithm,sequential hypothesis,analytical evaluation,general framework,major contribution,new algorithm,case study,statistical model checking,distributed computing | Abstraction model checking,Computer science,Automaton,Statistical model checking,Theoretical computer science,Wireless sensor network,Sequential analysis | Conference |
Citations | PageRank | References |
19 | 1.06 | 16 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Bulychev | 1 | 50 | 2.87 |
Alexandre David | 2 | 1667 | 76.52 |
Kim Guldstrand Larsen | 3 | 4434 | 346.88 |
Axel Legay | 4 | 2982 | 181.47 |
Marius Mikučionis | 5 | 799 | 33.52 |
Danny Bøgsted Poulsen | 6 | 308 | 13.03 |