论文信息 - Statistical Model Checking of Simulink Models with Plasma Lab - 字舞流文

Statistical Model Checking of Simulink Models with Plasma Lab

We present an extension of the statistical model-checker Plasma Lab capable of analyzing Simulink models.

Axel Legay | Louis-Marie Traonouez

[1] Kim G. Larsen,et al. Time for Statistical Model Checking of Real-Time Systems , 2011, CAV.

[2] Edmund M. Clarke,et al. Bayesian statistical model checking with application to Stateflow/Simulink verification , 2013, Formal Methods Syst. Des..

[3] Kim G. Larsen,et al. Statistical Model Checking for Stochastic Hybrid Systems , 2012, HSB.

[4] Gabor Karsai,et al. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.

[5] Lubos Brim,et al. Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs , 2012, FMICS.

[6] Devesh Bhatt,et al. Towards Scalable Verification of Commercial Avionics Software , 2010 .

[7] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[8] Sudeepa Roy,et al. Tool for Translating Simulink Models into Input Language of a Model Checker , 2006, ICFEM.

[9] Axel Legay,et al. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library , 2013, QEST.

[10] Håkan L. S. Younes,et al. Verification and planning for stochastic processes with asynchronous events , 2004 .