12 Novembre - 18 Novembre

Retour à la vue des calendrier
Mardi 13 Novembre
Heure: 12:30 - 13:30
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: On importance splitting and the automation of rare event simulation
Description: Carlos E. Budde In the analysis of formal models, simulation based approaches like statistical model checking offer a solution to the state space explosion that hinders verification, but may suffer from long execution times.
This is exacerbated when the property value to approximate depends on an event seldom observed; in those cases rare event simulation (RES) techniques can speed up convergence by reducing the variance of the statistical estimator.
However, RES techniques typically require non-trivial and domain-specific (or even model-specific) user input, which is a setback w.r.t. the push-button approach of standard model checking.
In this talk I will briefly discuss methods to automate the implementation of a specific approach to RES called "importance splitting."
I will overview some known implementations and discuss two algorithms recently developed to select "importance thresholds" and "splitting/effort factors," which are parameters with direct impact on the efficiency of importance splitting.
A good performance of the outcomes of the algorithms proposed has been empirically demonstrated on several case studies.