Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata

Résumé

We consider the problem of model checking Variability-Intensive Systems (VIS) against non-functional requirements. These requirements are typically expressed as an optimization problem over quality attributes of interest, whose value is determined by the executions of the system. Identifying the optimal variant can be hard for two reasons. First, the state-explosion problem inherent to model checking makes it increasingly complex to find the optimal executions within a given variant. Second, the number of variants can grow exponentially with respect to the number of variation points in the VIS. In this paper, we lay the foundations for the application of smart sampling and statistical model checking to solve this problem faster. We design a simple method that samples variants and executions in a uniform manner from a featured weighted automaton and that assesses which of the sampled variants/executions are optimal. We implemented our approach on top of ProVeLines, a tool suite for model-checking VIS and carried out a preliminary evaluation on an industrial embedded system design case study. Our results tend to show that sampling-based approaches indeed holds the potential to improve scalability but should be supported by better sampling heuristics to be competitive.
Fichier principal
Vignette du fichier
formalize2019.pdf (177.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02342744 , version 1 (01-11-2019)

Identifiants

Citer

Maxime Cordy, Axel Legay, Sami Lazreg, Philippe Collet. Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata. 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2019, Montreal, Canada. pp.61-64, ⟨10.1109/FormaliSE.2019.00015⟩. ⟨hal-02342744⟩
43 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More