Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

Embedded systems, like those found in the automotive domain, must comply with stringent functional and nonfunctional requirements. To fulfil these requirements, engineers are confronted with a plethora of design alternatives both at the software and hardware level, out of which they must select the optimal solution wrt. possibly-antagonistic quality attributes (e.g. cost of manufacturing vs. speed of execution). We propose a model-driven …