Time for statistical model checking of real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6806 LNCS, Issue , 2011, Pages 349-355

  David, Alexandre ^a   Larsen, Kim G ^a   Legay, Axel ^b   Mikučionis, Marius ^a   Wang, Zheng ^c  

^a AALBORG UNIVERSITY   (Denmark)

^b CAMPUS DE BEAULIEU   (France)

^c EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL MODEL; STATISTICAL ALGORITHM; STATISTICAL MODELS; STOCHASTIC SEMANTICS; TIMED SYSTEMS; TOOLSETS;

COMPUTER AIDED ANALYSIS; REAL TIME SYSTEMS; SEMANTICS; STOCHASTIC MODELS; TIME SHARING SYSTEMS; USER INTERFACES;

MODEL CHECKING;

EID: 79960376940     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22110-1_27     Document Type: Conference Paper

References (14)

1. Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: Hatcliff, J., Zucca, E. (eds.) FMOODS 2010. LNCS, vol. 6117, pp. 32-46. Springer, Heidelberg (2010)
2. Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200-236. Springer, Heidelberg (2004)
3. Bohnenkamp, H., D'Argenio, P., Hermanns, H., Katoen, J.-P.: Modest: A compositional modeling formalism for real-time and stochastic systems. Technical Report CTIT 04-46, University of Twente (2004)
4. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 546-550. Springer, Heidelberg (1998)
5. Henzinger, T.A., Horowitz, B., Majumdar, R., Howard, W.-T.: Beyond HYTECH: Hybrid systems analysis using interval numerical methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 130-144. Springer, Heidelberg (2000)
6. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218-234. Springer, Heidelberg (2009)
7. Katoen, J.-P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. In: Proc. of 6th Int. Conference on the Quantitative Evaluation of Systems (QEST), pp. 167-176. IEEE Computer Society Press, Los Alamitos (2009)
8. Poulsen, D., David, A., Larsen, K.G., Legay, A., Mikucionis, M., Vliet, J.V., Zheng, W.: Efficient statistical model checking for constant slope timed i/o automata. Technical report, Aalborg University (2011) (submitted for publication)
9. Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202-215. Springer, Heidelberg (2004)
10. Sen, K., Viswanathan, M., Agha, G.A.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: QEST, pp. 251-252. IEEE Computer Society Press, Los Alamitos (2005)
11. Teige, T., Eggers, A., Fränzle, M.: Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems. Nonlinear Analysis: Hybrid Systems (2010) (in Press, Corrected Proof)
12. Wald, R.: Sequential Analysis. Dove Publisher, New York (2004)
13. Younes, H.L.S.: Verification and Planning for Stochastic Processes with Asynchronous Events. PhD thesis, Carnegie Mellon (2005)
14. Younes, H.L.S., Kwiatkowska, M.Z., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. STTT 8(3), 216-228 (2006)