Statistical Model Checking with Changes and Simulink
Résumé
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.
Domaines
Théorie et langage formel [cs.FL]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...