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
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:30: Papers - Software Product Lines at Van-Horne
Chair(s): Shahar MaozTel Aviv University
icse-2019-Technical-Papers11:00 - 11:20
Max LillackUniversity of Leipzig, Ştefan StănciulescuABB Corporate Research, Switzerland, Wilhelm Hedman, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Andrzej WąsowskiIT University of Copenhagen, Denmark
Pre-print File Attached
icse-2019-Technical-Papers11:20 - 11:40
Ruben HeradioUNED (Universidad Nacional de Educacion a Distancia), David Fernandez-AmorosUNED (Universidad Nacional de Educacion a Distancia), Christoph Mayr-DornJohannes Kepler University Linz, Alexander Egyed
icse-2019-Demonstrations11:40 - 12:00
Cuong CuCybersource Corporation, Xin YeCalifornia State University San Marcos, Yongjie ZhengCalifornia State University San Marcos
icse-2019-Technical-Papers12:00 - 12:20
Sami LazregVisteon Electronics and Universite Cote d Azur, Maxime CordySnT, University of Luxembourg, Philippe ColletUniversity of Nice, Patrick HeymansUniversity of Namur, Sébastien MosserUniversité Côte d'Azur, France
icse-2019-Paper-Presentations12:20 - 12:30