Projets par an
Résumé
Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, the model checking problem is harder than for single software. A practical way to face this exponential blow-up is to reuse common behaviour between products. We previously introduced Featured Transition Systems (FTS), a mathematical model that serves as a basis for efficient SPL model checking techniques. In this paper, we present ProVeLines, a product line of verifiers for SPLs that incorporates the results of over three years of research on formal verification of SPLs. Being itself a product line, our tool is flexible and extensible, and offers a wide range of solutions for SPL modelling and verification. Copyright 2013 ACM.
langue originale | Anglais |
---|---|
Pages | 141 - 146 |
Nombre de pages | 6 |
Les DOIs | |
Etat de la publication | Publié - août 2013 |
Evénement | 17th International Software Product Line Conference - Tokyo, Tokyo, Japon Durée: 26 août 2013 → 30 août 2013 |
Une conférence
Une conférence | 17th International Software Product Line Conference |
---|---|
Pays/Territoire | Japon |
La ville | Tokyo |
période | 26/08/13 → 30/08/13 |
Empreinte digitale
Examiner les sujets de recherche de « ProVeLines: A Product Line of Verifiers for Software Product Lines ». Ensemble, ils forment une empreinte digitale unique.Projets
- 3 Terminé
-
Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, M. (Chercheur), Heymans, P. (Co-investigateur) & Schobbens, P. Y. (Co-investigateur)
1/10/11 → 30/09/15
Projet: Projet de thèse
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y. (Responsable du Projet), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Ortiz Vega, J. J. (Chercheur)
1/01/11 → 31/12/14
Projet: Recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)
1/01/11 → 1/01/13
Projet: Recherche