RT Conference Proceedings T1 Analysis and optimisation of SPL products using goal models. A1 Ayala-Viñas, Inmaculada A1 Amor-Pinilla, María Mercedes A1 Fuentes-Fernández, Lidia K1 Programación lineal K1 Soporte lógico - Desarrollo AB The Internet of Things is one of the core drivers of variability modelling and requires explicit mechanisms to manageit. A key technology for addressing this variability is product line engineering. This approach uses a reference architectureto establish a well-designed set of assets that fit together, the Software Product Line (SPL). One of the limitations of variabilitymodels is they do not provide information about the quality of new products or how they achieve stakeholder requirements.Several approaches tackle this issue by integrating variability models with goal models. The main challenge is conciliating thedifferent variability perspectives to make the joint use of both models possible without the loss of information or alterations tothe models’ semantics. In this work, we present a framework for analysing and optimising SPL products considering stakeholders’requirements that respects the semantics of both models. The framework is based on Integer Linear Programming (ILP), afield of mathematical programming. Variability and goal models are formalised as a set of linear constraints and are linked usingmapping functions. As a proof of concept, we present a tool that takes both models and mapping functions to generate an ILPproblem that can be solved using Matlab. YR 2023 FD 2023 LK https://hdl.handle.net/10630/27670 UL https://hdl.handle.net/10630/27670 LA eng NO https://conf.researchr.org/details/RE-2023/RE-2023-Research-Papers/10/Analysis-and-optimisation-of-SPL-products-using-goal-models NO This work is supported by the projects IRIS PID2021-12281 2OB-I00 (co-financed by FEDER funds) and by DISCO B1-201212 funded by Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 20 ene 2026