Assessing the Functional Feasibility of Variability-Intensive Data Flow-Oriented Systems

Abstract : Data-flow oriented embedded systems, such as automotive systems used to render HMI (e.g., instrument clusters, infotainments), are increasingly built from highly variable specifications while targeting different constrained hardware platforms configurable in a fine-grained way. These variabilities at two different levels lead to a huge number of possible embedded system solutions, which feasibility is extremely complex and tedious to predetermine. In this paper, we propose a tooled approach that capture high level specifications as variable dataflows, and targeted platforms as variable component models. Dataflows can then be mapped onto platforms to express a specification of such variability-intensive systems. The proposed tool support transforms this specification into structural and behav-ioral variability models and reuses automated reasoning techniques to explore and assess the feasibility of all variants in a single run. We also report on the application of the proposed approach to an industrial case study of automotive instrument cluster.
Type de document :
Communication dans un congrès
Symposium on Applied Computing, Apr 2018, Pau, France. 2018, 〈10.1145/3167132.3167354〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01660057
Contributeur : Sébastien Mosser <>
Soumis le : samedi 9 décembre 2017 - 20:12:36
Dernière modification le : lundi 5 novembre 2018 - 15:52:09

Fichier

SAC2018.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sami Lazreg, Philippe Collet, Sébastien Mosser. Assessing the Functional Feasibility of Variability-Intensive Data Flow-Oriented Systems. Symposium on Applied Computing, Apr 2018, Pau, France. 2018, 〈10.1145/3167132.3167354〉. 〈hal-01660057〉

Partager

Métriques

Consultations de la notice

398

Téléchargements de fichiers

156