Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 12:00 - 12:20 at Van-Horne - Software Product Lines Chair(s): Shahar Maoz

Embedded systems, as the ones 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 formal model-driven framework to assist engineers in this choice. It captures high-level specifications of the system alternatives in the form of dataflows with variability 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 an industrial case study.

Fri 31 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Software Product LinesDemonstrations / Technical Track / Papers at Van-Horne
Chair(s): Shahar Maoz Tel Aviv University
Intention-Based Integration of Software VariantsArtifacts AvailableTechnical Track
Technical Track
Max Lillack University of Leipzig, Ştefan Stănciulescu ABB Corporate Research, Switzerland, Wilhelm Hedman , Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Andrzej Wąsowski IT University of Copenhagen, Denmark
Pre-print File Attached
Supporting the Statistical Analysis of Variability ModelsArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED (Universidad Nacional de Educacion a Distancia), Christoph Mayr-Dorn Johannes Kepler University Linz, Alexander Egyed
xLineMapper: A Product Line Feature-Architecture-Implementation Mapping ToolsetDemos
Cuong Cu Cybersource Corporation, Xin Ye California State University San Marcos, Yongjie Zheng California State University San Marcos
Multifaceted Automated Analyses for Variability-Intensive Embedded SystemsTechnical Track
Technical Track
Sami Lazreg Visteon Electronics and Universite Cote d Azur, Maxime Cordy SnT, University of Luxembourg, Philippe Collet University of Nice, Patrick Heymans University of Namur, Sébastien Mosser Université Côte d'Azur, France
Discussion Period