I detta dokument presenteras en fallstudie om att skapa en programvaruproduktlinje för tågets signaleringsdomän. Tågkontrollspråket (TCL) är ett DSL som automatiserar produktionen av källkod för datorer som styr tågstationer. Genom att tillämpa Common Variability Language (CVL), som är ett separat och generiskt språk för att definiera variabilitet på basmodeller, bildar vi en programvara produktlinje av stationer. Vi diskuterar processen och erfarenheten av att använda CVL för att automatisera produktionen av tre riktiga tågstationer. En kort diskussion om den verifiering som krävs för de producerade produkterna ingår också.
Det finns en pågående ansträngning för att standardisera variabilitet modellering baserat på den gemensamma variabilitet modellering språk (CVL) REF, ett generiskt språk för att definiera variabilitet.