Statistical Model Checking with Changes and Simulink

Boyer, Benoît;Corre, Kevin;Legay, Axel;Traonouez, Louis-Marie
(2014)

Files

No attached file found for this publication.

Details

Authors
  • Boyer, Benoît
    Author
  • Corre, Kevin
    Author
  • Legay, AxelUCLouvain
    Author
  • Traonouez, Louis-Marie
    Author
Abstract
Statistical Model Checking (SMC) is a powerful and widely used approach that consists in extracting global information on the system by monitoring some of its executions. In this paper, we add two new stones to the cathedral of results on SMC, that are 1. a new algorithm to detect emergent behaviors at runtime, and 2. an integration of Plasma Lab, a powerful SMC checker, as a library of Simulink. Our results are illustrated on a realistic case study.

Citations

  • APA
  • Chicago
  • FWB

Boyer, B., Corre, K., Legay, A., & Traonouez, L.-M. (2014). Statistical Model Checking with Changes and Simulink. https://hdl.handle.net/2078.5/173165