Variability Management in Embedded Product Line Analysis

Embedded software is increasing its complexity dealing with quality, cost and time-to-market among others. It must be validated intensively as it can be critical and even human life may depend on it. Development paradigms such as Model Driven Development and Software Product Lines can be an adequate alternative to traditional software development and validation methods, facilitating software validation based on models like model analysis. But for a proper validation all variability issues that take part in analysis must be properly managed. With the aim of facing it, a study of variability management in analysis has been done.