Domain-Specific Modeling
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
Confluence in Domain-Independent Product Line Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Developing a software product line for train control: a case study of CVL
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A unified approach to modeling and programming
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Analyzing variability: capturing semantic Ripple effects
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Specifying a testing oracle for train stations
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Modelling railway interlocking tables using coloured petri nets
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Synthesizing software models: generating train station models automatically
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Standardizing variability --- challenges and solutions
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Towards evolution of generic variability models
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Specifying a testing oracle for train stations --- going beyond with product line technology
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
| Hi-index | 0.00 |
Producing the source code for a railway interlocking system based on the description of a station has traditionally been a multistage manual process. We show how this process can be automated and made less error-prone by introducing model-driven development (MDD). This paper addresses the experience of developing a Domain Specific Language (DSL) to describe railway stations, Train Control Language (TCL), and tools to support this language. In the railroad domain where there are extreme safety requirements, it is essential to show that consistency and completeness can be assured. We address how the model is used to generate several different representations for different purposes. We look at advantages and challenges with our approach, and we discuss improvements to existing technologies to support our case better.