Developing a software product line for train control: a case study of CVL

Authors:
Andreas Svendsen;Xiaorui Zhang;Roy Lind-Tviberg;Franck Fleurey;Øystein Haugen;Birger Møller-Pedersen;Gøran K. Olsen
Affiliations:
SINTEF, Oslo, Norway and Department of Informatics, University of Oslo, Oslo, Norway;SINTEF, Oslo, Norway and Department of Informatics, University of Oslo, Oslo, Norway;ABB, Billingstad, Norway;SINTEF, Oslo, Norway;SINTEF, Oslo, Norway;Department of Informatics, University of Oslo, Oslo, Norway;SINTEF, Oslo, Norway
Venue:
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Year:
2010

Citing 4
Cited 6

The Future of Train Signaling

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Adding Standardized Variability to Domain Specific Languages

SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Design and code inspections to reduce errors in program development

IBM Systems Journal
Synthesize software product line

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2

Feature modeling for business document models

Proceedings of the 15th International Software Product Line Conference, Volume 2
Analyzing variability: capturing semantic Ripple effects

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Towards evolution of generic variability models

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Towards correct product derivation in model-driven product lines

SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Generating counterexamples of model-based software product lines: an exploratory study

Proceedings of the 17th International Software Product Line Conference
Topologically configurable systems as product families

Proceedings of the 17th International Software Product Line Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of source code for computers controlling train stations. By applying the Common Variability Language (CVL), which is a separate and generic language to define variability on base models, we form a software product line of stations. We discuss the process and experience of using CVL to automate the production of three real train stations. A brief discussion about the verification needed for the generated products is also included.