Title | ||
---|---|---|
An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. |
Abstract | ||
---|---|---|
Self-adaptive systems can deal with environmental changes by changing their own behaviors. Since self-adaptive systems modify their own behaviors dynamically, runtime verification is necessary to guarantee the correctness of the systems' behaviors. Discrete time Markov chain model checking is a promising approach for implementing runtime verification; however, the computational cost of the current model checking approach increases as the number of parameterized transition probabilities increases. In this study, we conduct experiments on various instances of Markov chain models and demonstrate that repeated application of Laplace expansion leads to the large computational cost. The results suggest that an approach to reducing the number of times of performing Laplace expansion should be developed. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-662-49224-6_21 | SEFM Workshops |
Field | DocType | Volume |
Laplace expansion,Parameterized complexity,Model checking,Computer science,Correctness,Markov chain,Theoretical computer science,Runtime verification,Self adaptive,Discrete time and continuous time,Distributed computing | Conference | 9509 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kento Ogawa | 1 | 0 | 0.34 |
Hiroyuki Nakagawa | 2 | 50 | 15.49 |
Tatsuhiro Tsuchiya | 3 | 455 | 52.76 |