Program
Invited Speakers
Yves Bossu
Product Configuration Specialist at RenaultHomepage
Variability and Complexity: Automotive Product Line Management as a Constraint Satisfaction Problem
Abstract
Everybody has configured a car on the web site of an automotive manufacturer, but probably few are aware of the wide diversity of vehicles offered. The specificity of the automotive product of a generalist manufacturer like Renault is the combination of a very big number of variants of vehicles and a complex net of constraints on these products. Classical database tools are not enough to cope with this mix of diversity and complexity: requests and computing on the vehicle range must be done with Constraint Satisfaction solvers. These tools must be used at each level of the value chain that goes from the engineering level to the after-sale. The needed services are vehicle configuration, but other types of treatments, such as documentation consistency control, definition of the Bill of Material, repair methods, factories capacity planning. This keynote will present a global roundup of the types of CSP services needed by different business stages of the enterprise, and some indication on the in-house knowledge compilation technology Renault developed to implement these functions.
Speaker's Bio
Yves Bossu is Knowledge Representation and Reasoning Expert at Renault Group. After completing a master degree in engineering and a PhD in nuclear physics, Yves was a real-time software developer, project manager and consultant for various software houses. In 1998 he co-authored the first book about Java for embedded systems. In 2000 he joined the Applied Artificial Intelligence Chapter of the IS/IT Direction of Renault. He develops and maintains Renault's in-house configuration engine used by applications that manage the Vehicle Product Line of the Renault-Nissan-Mitsubishi Alliance.
Marsha Chechik
University of TorontoHomepage
Defining, Analyzing, Querying and Assuring Product Line Models
Abstract
Throughout its development and maintenance cycle, software is subject to many activities including design, analysis, evolution, testing, safety certification, querying, debugging, repair. Since industry commonly adopts software product lines to manage the development of complex families of software systems, there is a clear need to support all of these activities for product lines. In this talk, I will describe a number of approaches based on "lifting" -- a reinterpretation of the meaning of product-level activities for the entire product line. I will also describe design decisions for the underlying tool support and results of applying these tools in the automotive domain.
Speaker's Bio
Marsha Chechik is Professor and Bell University Chair in Software Engineering in the Department of Computer Science as well as Acting Dean of Faculty of Information at the University of Toronto. She received her Ph.D. from the University of Maryland. Prof. Chechik's research interests are in the application of formal methods to improve the quality of software. She has authored over 200 papers in formal methods, software specification and verification, computer safety and security and requirements engineering. She is a member of IFIP WG 2.9 on Requirements Engineering, an Associate Editor in Chief of Journal on Software and Systems Modeling, and Vice Chair of ACM SIGSOFT. Marsha Chechik has been Program Committee Co-Chair of FM'23, ESEC/FSE'21, ICSE'18, TACAS'16, VSTTE'16, ASE'14, CONCUR'18. She has graduated 13 Ph.D. students, most of whom remain active researchers.
Most Influential Paper
A Survey of Variability Modeling in Industrial Practice
Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wąsowski
Abstract
Over more than two decades, numerous variability modeling techniques have been introduced in academia and industry. However, little is known about the actual use of these techniques. While dozens of experience reports on software product line engineering exist, only very few focus on variability modeling. This lack of empirical data threatens the validity of existing techniques, and hinders their improvement. As part of our effort to improve empirical understanding of variability modeling, we present the results of a survey questionnaire distributed to industrial practitioners. These results provide insights into application scenarios and perceived benefits of variability modeling, the notations and tools used, the scale of industrial models, and experienced challenges and mitigation strategies.
Schedule
January 25: Wednesday
|
08:30 09:00 |
Opening
|
|
09:00 10:00 |
Keynote
Defining, Analyzing, Querying and Assuring Product Line Models Speaker: Marsha Chechik Session Chair: Jacopo Mauro |
|
10:00 10:30 |
Break
|
|
10:30 12:00 |
Session 1: Solution-Space Modeling
Session Chair: Christoph Seidl
Adding Product-Line Capabilities to Your Favourite Modeling Language
Authors: Alessio Di Sandro, Ramy Shahin, Marsha Chechik Presenter: Alessio Di Sandro Discussant: Hafiyyan Sayyid Fadhlillah
Modularization Technique to Support Software Variability in Cyber-Physical Production Systems
Authors: Shubham Sharma, Hafiyyan Sayyid Fadhlillah, Antonio M. Gutierrez, Rick Rabiser, Alois Zoitl Presenter: Shubham Sharma Discussant: Alessio Di Sandro
Towards Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production Systems (VaMoS 2022 Snapshot)
Authors: Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Kristof Meixner, Lisa Sonnleithner, Rick Rabiser, Alois Zoitl Presenter: Hafiyyan Sayyid Fadhlillah Discussant: Shubham Sharma |
|
12:00 13:00 |
Lunch
|
|
13:00 13:30 |
Most Influential Paper
Session Chair: Myra Cohen
A Survey of Variability Modeling in Industrial Practice
Authors: Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wąsowski Presenter: Thorsten Berger |
|
13:30 14:30 |
Session 2: Benchmarking and Experiments
Session Chair: Gilles Perrouin
Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems
Authors: Alexander Schultheiß, Paul Bittner, Sandra Greiner, Timo Kehrer Presenter: Paul Bittner Discussant: Wesley K. G. Assunção
Efficacy, Efficiency and Effectiveness of SMarty-based Software Product Line Inspection Techniques: a Controlled Quasi-Experiment
Authors: Giovanna Bettin, Julio Herculani, Amanda Melo, Luiz Andrade, Edson Oliveirajr Presenter: Wesley K. G. Assunção Discussant: Paul Bittner |
|
14:30 15:00 |
Break
|
|
15:00 16:30 |
Session 3: Re-Engineering
Session Chair: Sandra Greiner
Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach
Authors: Thomas Georges, Liam Rice, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine Presenter: Thomas Georges Discussant: Wesley K. G. Assunção
Uniquifying Architecture Visualization through Variable 3D Model Generation
Authors: Adrian Hoff, Christoph Seidl, Michele Lanza Presenter: Adrian Hoff Discussant: Thomas Georges
A Hybrid Feature Location Technique for Re-engineering Single Systems into Software Product Lines (VaMoS 2021 Snapshot)
Authors: Gabriela Karoline Michelon, Lukas Linsbauer, Wesley K. G. Assunção, Stefan Fischer, Alexander Egyed Presenter: Wesley K. G. Assunção Discussant: Adrian Hoff |
January 26: Thursday
|
09:00 10:00 |
Keynote
Variability and Complexity: Automotive Product Line Management as a Constraint Satisfaction Problem Speaker: Yves Bossu Session Chair: Thomas Thüm |
|
10:00 10:30 |
Break
|
|
10:30 12:00 |
Session 4: Industrial Applications
Session Chair: Xhevahire Tërnava
Electric/Electronic Platforms in the Automotive Industry: Challenges and Guidelines for Variant-Rich Systems Engineering
Authors: Lennart Holsten, Christian Frank, Jacob Krüger, Thomas Leich Presenter: Lennart Holsten Discussant: Chris Weber
Coverage-Driven Test Automation for Highly-Configurable Railway Systems
Authors: Domenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl, Ina Schaefer Presenter: Domenik Eichhorn Discussant: Lennart Holsten
Generating Documents with FeatureIDE and pandoc
Author: Chris Weber Presenter: Chris Weber Discussant: Domenik Eichhorn |
|
12:00 13:00 |
Lunch
|
|
13:00 14:00 |
Session 5: New and Controversial Ideas
Session Chair: Maurice ter Beek
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!
Authors: Edilton Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin Presenter: Edilton Santos Discussant: Xhevahire Tërnava
Dynamic Product Configuration User Interface: A Vision Motivated by the Cyber-Physical Production Systems Domain
Authors: Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Antonio Manuel Gutiérrez Fernández, Rick Rabiser Presenter: Hafiyyan Sayyid Fadhlillah Discussant: Paul Temple
A Call for Removing Variability
Authors: Mathieu Acher, Luc Lesoil, Georges Aaron Randrianaina, Xhevahire Tërnava, Olivier Zendra Presenter: Xhevahire Tërnava Discussant: Edilton Santos
Explicit or Implicit? On Feature Engineering for ML-based Variability-intensive Systems
Authors: Paul Temple, Gilles Perrouin Presenter: Paul Temple Discussant: Hafiyyan Sayyid Fadhlillah |
|
14:30 16:30 |
Trip to HC Andersens Hus Museum
|
|
18:30 |
Social Dinner at Den Gamle Kro
|
January 27: Friday
|
08:30 10:00 |
Session 6: Product-Line Testing
Session Chair: Chico Sundermann
Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles
Authors: Stefan Fischer, Gabriela Karoline Michelon, Wesley K. G. Assunção, Rudolf Ramler, Alexander Egyed Presenter: Stefan Fischer Discussant: Tobias Pett
Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems (VaMoS 2022 Snapshot)
Authors: Lukas Birkemeyer, Tobias Pett, Andreas Vogelsang, Christoph Seidl, Ina Schaefer Presenter: Lukas Birkemeyer Discussant: Stefan Fischer
Stability of Product-Line Sampling in Continuous Integration (VaMoS 2021 Snapshot)
Authors: Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer Presenter: Tobias Pett Discussant: Lukas Birkemeyer |
|
10:00 10:30 |
Break
|
|
10:30 12:00 |
Session 7: Product-Line Analysis
Session Chair: Alessandro Fantechi
Applications of #SAT Solvers on Feature Models (VaMoS 2021 Snapshot)
Authors: Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer Presenter: Chico Sundermann Discussant: Hendrik Göttmann
On Preserving Variability Consistency in Multiple Models (VaMoS 2021 Snapshot)
Authors: Sandra Greiner, Bernhard Westfechtel Presenter: Sandra Greiner Discussant: Chico Sundermann
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications (VaMoS 2021 Snapshot)
Authors: Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau Presenter: Hendrik Göttmann Discussant: Sandra Greiner |
|
12:00 12:15 |
Closing
|
|
12:15 14:00 |
Lunch
|