A feature model (FM) is a compact representation of the information of all possible products
from software product lines. The optimal feature selection involves the simultaneous …

One of the biggest challenges in cyber-physical system (CPS) design is their intrinsic
complexity, heterogeneity, and multidisciplinary nature. Emerging distributed CPSs integrate …

Performance of a software system is the result of many interacting factors. This paper
describes a rule-based framework to identify root causes of performance limits, to untangle …

Context A software product line is a family of software systems that share some common
features but also have significant variabilities. A feature model is a variability modeling …

Management of extra-functional properties in component models is one of the main
challenges in the component-based software engineering community. Still, the starting point …

Abstract Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded
systems immersed within a physical environment, thus combining discrete and continuous …

Cyber-Physical Systems (CPS) are networks of heterogeneous embedded systems
immersed within a physical environment. Modeling such heterogeneous systems is actively …

Precise timing constraint modeling and analysis is a key point for the correct development of
automotive electronics. EAST-ADL and AUTOSAR has been adopted as standards in …

Systems of Systems exhibit characteristics that pose difficulty in modelling and predicting
their overall performance capabilities, including the presence of operational independence …

Aspect-oriented modeling (AOM) allows software designers to describe features that
address pervasive concerns separately as aspects, and to systematically incorporate the …