Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems
One approach to handle the complexity of embedded systems is the use of models and Domain-Specific Languages (DSLs) like Matlab/Simulink. If users want to apply such techniques to families of similar systems they have to describe their variability, i.e., commonalities and differences between the similar systems. Here, approaches from Software Product Lines (SPLs) and variability modeling might be helpful. In this paper, the authors discuss three challenges which arise in this context: they have to integrate mechanisms for describing variability into the DSL, to efficiently derive products, they require techniques and tool support that allow them to configure a particular product and resolve variability in the DSL and when resolving variability, they have to take into account dependencies between elements.