Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

Sami Lazreg, Maxime Cordy, Philippe Collet, Patrick Heymans, Sebastien Mosser

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque


Embedded systems, like those found in the automotive domain, must comply with stringent functional and non-functional requirements. To fulfil these requirements, engineers are confronted with a plethora of design alternatives both at the software and hardware level, out of which they must select the optimal solution wrt. possibly-antagonistic quality attributes (e.g. cost of manufacturing vs. speed of execution). We propose a model-driven framework to assist engineers in this choice. It captures high-level specifications of the system in the form of variable dataflows and configurable hardware platforms. A mapping algorithm then derives the design space, i.e. the set of compatible pairs of application and platform variants, and a variability-aware executable model, which encodes the functional and non-functional behaviour of all viable system variants. Novel verification algorithms then pinpoint the optimal system variants efficiently. The benefits of our approach are evaluated through a real-world case study from the automotive industry.

langue originaleAnglais
titreProceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019
EditeurIEEE Computer society
Nombre de pages12
ISBN (Electronique)9781728108698
Les DOIs
Etat de la publicationPublié - mai 2019
Evénement41st IEEE/ACM International Conference on Software Engineering, ICSE 2019 - Montreal, Canada
Durée: 25 mai 201931 mai 2019

Série de publications

NomProceedings - International Conference on Software Engineering
ISSN (imprimé)0270-5257

Une conférence

Une conférence41st IEEE/ACM International Conference on Software Engineering, ICSE 2019
La villeMontreal

Empreinte digitale

Examiner les sujets de recherche de « Multifaceted Automated Analyses for Variability-Intensive Embedded Systems ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation