Long-term average cost in featured transition systems

Rafael Olaechea 1 Uli Fahrenberg 2 Joanne Atlee 1 Axel Legay 3
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : A software product line is a family of software products that share a common set of mandatory features and whose individual products are di↵erentiated by their variable (optional or alternative) features. Family-based analysis of software product lines takes as input a single model of a complete product line and analyzes all its products at the same time. As the number of products in a software product line may be large, this is generally preferable to analyzing each product on its own. Family-based analysis, however, requires that standard algorithms be adapted to accomodate variability. In this paper we adapt the standard algorithm for computing limit average cost of a weighted transition system to software product lines. Limit average is a useful and popular measure for the long-term average behavior of a quality attribute such as performance or energy consumption, but has hitherto not been available for family-based analysis of software product lines. Our algorithm operates on weighted featured transition systems, at a symbolic level, and computes limit average cost for all products in a software product line at the same time. We have implemented the algorithm and evaluated it on several examples. CCS Concepts • Software and its engineering ! Software verification and validation;
Type de document :
Communication dans un congrès
SPLC '16 - 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. ACM, pp.109 - 118, 2016, 〈10.1145/2934466.2934473〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01406541
Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 14:29:49
Dernière modification le : mardi 16 janvier 2018 - 15:54:26

Identifiants

Collections

Citation

Rafael Olaechea, Uli Fahrenberg, Joanne Atlee, Axel Legay. Long-term average cost in featured transition systems. SPLC '16 - 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. ACM, pp.109 - 118, 2016, 〈10.1145/2934466.2934473〉. 〈hal-01406541〉

Partager

Métriques

Consultations de la notice

268