Variability Specification
Root
F1
F2
Java
Source
Code
UML
Antenna
//#if F1
//#endif
SecPl
<<cond>>
{pc=”F1”}
Feature
Model
Variability-, Design-
and Security-Annotations
Variability-aware
Feature
Reference
Feature
Reference
Variability-aware
Checks: UMLsec/SecPl