ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

The analyses of highly configurable systems, as applied in software or automotive domains, yield hard problems due to the exponentially increasing number of possible product configurations. Current research identified that such combinatorial optimization problems, e.g. configuration selection and prioritization, are ideal targets for expected exponential quantum speedups. However, empirical evidence about the applicability of quantum computing to these problems is still missing. In this paper, we investigate how the constraint satisfaction and optimization problems of configuration selection and prioritization can be addressed using quantum computing. We propose a method to transform the configuration selection and prioritization problems encoded in attributed feature models into a quantum mechanical formulation suitable for optimization problems. We provide a Python library to automatically perform this transformation and apply the Quantum Approximate Optimization Algorithm (QAOA), such that configuration selection and prioritization are solved with quantum computers. Our approach is evaluated regarding feasibility, solution quality, and scalability. We show that QAOA obtains good results regarding configuration selection, but for configuration prioritization, the approach needs further improvement.

Tue 16 Apr

Displayed time zone: Lisbon change

14:00 - 15:30
Design, Development and Variability for Quantum SoftwareQ-SE at Carlos Paredes
Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
14:00
30m
Research paper
Quantum Solution for Configuration Selection and Prioritization
Q-SE
Joshua Ammermann Karlsruhe Institute of Technology (KIT), Fabian Jakob Brenneisen Karlsruhe Institute of Technology (KIT), Tim Bittner Karlsruhe Institute of Technology, Ina Schaefer KIT
14:30
30m
Research paper
C4Q: A Chatbot for Quantum
Q-SE
Yaiza Aragonés-Soria Constructor Institute Schaffhausen, Manuel Oriol Constructor Institute Schaffhausen
Pre-print
15:00
20m
Short-paper
Developing Hybrid Quantum-Classical Software: A Software Product Line Approach
Q-SE
Samuel Sepúlveda , Mario Piattini University of Castilla-La Mancha, Spain, Ricardo Pérez-Castillo University of Castilla-La Mancha