Scenario-based verification in presence of variability using a synchronous approach

Jean-Vivien Millo 1 Frédéric Mallet 1 Anthony Coadou 1 S. Ramesh 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This paper presents a new model of scenarios, dedicated to the specification and verification of system behaviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and models to bridge the gap between both worlds.
Type de document :
Article dans une revue
Frontiers of Computer Science -Springer-, Springer Verlag, 2013, 7 (5), pp.650-672. <http://link.springer.com/article/10.1007%2Fs11704-013-3094-6>. <10.1007/s11704-013-3094-6>
Liste complète des métadonnées

https://hal.inria.fr/hal-00913955
Contributeur : Team Aoste <>
Soumis le : mercredi 4 décembre 2013 - 16:01:06
Dernière modification le : lundi 5 octobre 2015 - 16:56:26

Identifiants

Collections

Citation

Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh. Scenario-based verification in presence of variability using a synchronous approach. Frontiers of Computer Science -Springer-, Springer Verlag, 2013, 7 (5), pp.650-672. <http://link.springer.com/article/10.1007%2Fs11704-013-3094-6>. <10.1007/s11704-013-3094-6>. <hal-00913955>

Partager

Métriques

Consultations de la notice

201