Statistical abstraction and model-checking of large heterogeneous systems

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

Volumn 6117 LNCS, Issue , 2010, Pages 32-46

  Basu, Ananda ^a   Bensalem, Saddek ^a   Bozga, Marius ^a   Caillaud, Benoît ^b   Delahaye, Benoît ^c   Legay, Axel ^b  

^a VERIMAG   (France)

^b CAMPUS DE BEAULIEU   (France)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CLOCK SYNCHRONIZATION; COMPUTING DEVICES; CONTEXT INFORMATION; HETEROGENEOUS SYSTEMS; INDUSTRIAL CASE STUDY; SIMULATION-BASED; STATISTICAL MODELS; TOOLSETS; STATISTICAL MODEL CHECKING; STOCHASTIC ABSTRACTIONS;

ABSTRACTING; COMMUNICATION SYSTEMS; INDUSTRIAL APPLICATIONS; CLOCKS; FORMAL METHODS; STOCHASTIC SYSTEMS;

MODEL CHECKING;

EID: 77954635857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13464-7_4     Document Type: Conference Paper

References (16)

1. IEEE - IEC 61588: Precision clock synchronization protocol for networked measurement and control systems (2004)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: SEFM 2006, Pune, India, September 2006, pp. 3-12 (2006)
3. Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. Research Report RR-7238, INRIA (March 2010), http://hal.inria.fr/inria-00466158/ PDF/RR-7238.pdf
4. The BIP Toolset, http://www-verimag.imag.fr/~async/bip.php
5. Clarke, E.M., Donzé, A., Legay, A.: Statistical model checking of mixed-analog circuits with an application to a third order delta-sigma modulator. In: HVC 2008. LNCS, vol. 5394, pp. 149-163. Springer, Heidelberg (2008) (to appear)
6. Clarke, E.M., Faeder, J.R., Langmead, C.J., Harris, L.A., Jha, S.K., Legay, A.: Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 231-250. Springer, Heidelberg (2008)
7. Grosu, R., Smolka, S.A.: Monte carlo model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 271-286. Springer, Heidelberg (2005)
8. Hérault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73-84. Springer, Heidelberg (2004)
9. Hoeffding, W.: Probability inequalities. Journal of the American Statistical Association 58, 13-30 (1963)
10. Jansen, D.N., Katoen, J.P., Oldenkamp, M., Stoelinga, M., Zapreev, I.S.: How fast and fat is your probabilistic model checker? an experimental performance comparison. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 69-85. Springer, Heidelberg (2008)
11. 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.) CMBS 2009. LNCS, vol. 5688, pp. 218-234. Springer, Heidelberg (2009)
12. Laplante, S., Lassaigne, R., Magniez, F., Peyronnet, S., de Rougemont, M.: Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8(4) (2007)
13. 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)
14. Wald, A.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics 16(2), 117-186 (1945)
15. Younes, H.L.S.: Verification and Planning for Stochastic Processes with Asynchronous Events. Ph.D. thesis, Carnegie Mellon (2005)
16. Younes, H.L.S., Kwiatkowska, M.Z., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. STTT 8(3), 216-228 (2006) (Pubitemid 44445181)