Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CENELEC, En 50126: Railway Applications - the Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS), CENELEC
CENELEC, En 50128: Railway Applications – Communication, Signaling and Processing Systems – Software for Railway Control and Protection Systems, CENELEC
CENELEC, En 50129: Railway Applications : Safety Related Electronic Systems for Signaling, CENELEC
eclipse.org, Eclipse Graphical Modeling Framework (GMF), http://www.eclipse.org/modeling/gmf/
eclipse.org, Eclipse Modeling Framework Project (EMF), http://www.eclipse.org/modeling/emf/
eclipse.org, Model Development Tools (MDT), http://www.eclipse.org/modeling/mdt/?project=uml2tools
eclipse.org, Mofscript, http://www.eclipse.org/gmt/mofscript/
ERTMS, European Rail Traffic Management System (ERTMS), http://www.ertms.com/
Fagan, M.E.: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal 15, 182–211 (1976)
Haugen, Ø., Møller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standarized Variability to Domain Specific Languages. In: 12th International Software Product Line Conference (SPLC), Limerick, Ireland (2008)
IEC, Iec 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems
Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons, Inc., Chichester (2008)
MetaCase, Metaedit+ DSM Environment, http://www.metacase.com/products.html
Olsen, G.K., Aagedal, J., Oldevik, J.: Aspects of Reusable Model Transformations. In: ECMDA 2006 Workshop on Composition of Model Transformations: Proceedings of CMT 2006 (2006)
OMG, Object Constraint Language (OCL), http://www.omg.org/technology/documents/formal/ocl.htm
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Svendsen, A. et al. (2008). The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)