Towards facilities for modeling and synthesis of architectures for resource allocation problem in systems engineering

S Creff, JL Noir, E Lenormand… - Proceedings of the 24th …, 2020 - dl.acm.org
Exploring architectural design space is often beyond human capacity and makes
architectural design a difficult task. Model-based systems engineering must include …

Multifaceted automated analyses for variability-intensive embedded systems

S Lazreg, M Cordy, P Collet… - 2019 IEEE/ACM 41st …, 2019 - ieeexplore.ieee.org
Embedded systems, like those found in the automotive domain, must comply with stringent
functional and non-functional requirements. To fulfil these requirements, engineers are …

Variability-intensive applications over highly-configurable platforms: Early feasibility and optimality analysis

S Lazreg - 2020 - theses.hal.science
Software-intensive embedded systems, such as automotive systems, are increasingly built
from highly-variable applications targeting evermore configurable hardware platforms …

Introduction to the Track on Variability Modeling for Scalable Software Evolution

F Damiani, C Seidl, IC Yu - … on Leveraging Applications of Formal Methods, 2016 - Springer
Abstract Information and communication technology today is increasingly integrated into the
environment we live in, distributed on cars, appliances and smart infrastructures. The …