Abstract
A railway interlocking system is one example of a critical system, and therefore it must have a high level of reliability in order to avoid problems that may result on the loss of people’s lives. However, many railway systems are still specified using historical relay-based diagrams, whose analysis are made by human inspection, which is error prone. This paper constitutes a first step towards using Model Driven Architecture (MDA) in order to specify railway interlocking systems. This work proposes a restructuring methodology starting from relay-based diagrams to produce formalized machine-readable XML models. This is performed by formalizing industrial formalisms and knowledge into a complete Domain Specific Language UML meta-model that is latter used to automatically generate an XSD using Model-to-Text transformation. The conforming XML models may then be understood by different stakeholders and used as input for automated analysis tools.
Results are part of FUI 21 LCHIP project, founded by French National Research Agency (ANR).
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
Notes
- 1.
- 2.
- 3.
In this section French translation have been added in quotes to help readability of the shown diagrams.
References
Meta object facility (mof) 2.0 query/view/transformation specification. OMG Standard ptc/07-07-07, Object Management Group (OMG) (2007)
MOF Model to Text Transformation Language, v1.0. OMG Specification formal/2008-01-16, Object Managment Group (OMG), January 2008
Unified Modeling Language v2.5. OMG Specification, Object Management Group (OMG), March 2015
Aanæs, M., Thai, H.P.: Modelling and verification of relay interlocking systems. Master Thesis, Technical University of Denmark, DTU Informatics, Asmussens Alle, Building 305, DK-2800 Kgs. Lyngby, Denmark (2012)
Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
Amrani, M., et al.: Formal verification techniques for model transformations: a tridimensional classification. J. Object Technol. 14(3) (2015)
Barnard, R.: 3.2. 2 what is wrong with reliability engineering? In: INCOSE International Symposium, vol. 18, pp. 357–365. Wiley Online Library (2008)
Cetinkaya, D., Verbraeck, A.: Metamodeling and model transformations in modeling and simulation. In: Proceedings of the Winter Simulation Conference, pp. 3048–3058. Winter Simulation Conference (2011)
Chikofsky, E.J., Cross, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE softw. 7(1), 13–17 (1990)
Clark, T., Willans, J.: Software language engineering with XMF and XModeler. In: Computational Linguistics: Concepts, Methodologies, Tools, and Applications, pp. 866–896. IGI Global (2014)
Duby, C.K., Solutions, P.: Accelerating embedded software development with a model driven architecture®. Technical report, Pathfinder Solutions (2003)
Fleurey, F., Drey, Z., Vojtisek, D., Faucher, C., Mahé, V.: Kermeta language - reference manual (2010)
Fondement, F.: Concrete syntax definition for modeling languages. Ph.D. thesis, École polytechnique fédérale de Lausanne (EPFL), Lausanne, SW (2007)
Gao, S., Sperberg-McQueen, C.M., Thompson, H.S., Mendelsohn, N., Beech, D., Maloney, M.: W3C XML schema definition language (XSD) 1.1 part 1: structures. W3C Candidate Recommendation 30(72), 16 (2009)
Goubet, L., Delaigue, L.: Acceleo user guide (2008)
Haxthausen, A.E.: Towards a framework for modelling and verification of relay interlocking systems. In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol. 6662, pp. 176–192. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21292-5_10
Hinchey, M., Coyle, L.: Evolving critical systems: a research agenda for computer-based systems. In: 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp. 430–435. IEEE (2010)
Mellor, S.J.: MDA Distilled: Principles of Model-driven Architecture. Addison-Wesley Professional, Boston (2004)
Mellor, S.J., Scott, K., Uhl, A., Weise, D.: Model-driven architecture. In: Bruel, J.-M., Bellahsene, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 290–297. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46105-1_33
Overbeek, J.: Meta Object Facility (MOF): investigation of the state of the art. Master’s thesis, University of Twente (2006)
Parviainen, P., Takalo, J., Teppola, S., Tihinen, M.: Model-driven development processes and practices. Technical report, VTT Technical Research Centre of Finland (2009)
Rétiveau, R.: La signalisation ferroviaire. Presse de l’école nationale des Ponts et Chaussées (1987)
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)
Vu, L.H., Haxthausen, A.E., Peleska, J.: A Domain-specific language for railway interlocking systems, pp. 200–209. Technische Universität Braunschweig, Braunschweig, Germany (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
de Almeida Pereira, D.I., Malki, O., Bon, P., Perin, M., Collart-Dutilleul, S. (2018). An MDA Approach for the Specification of Relay-Based Diagrams. In: Abdelwahed, E., et al. New Trends in Model and Data Engineering. MEDI 2018. Communications in Computer and Information Science, vol 929. Springer, Cham. https://doi.org/10.1007/978-3-030-02852-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-02852-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02851-0
Online ISBN: 978-3-030-02852-7
eBook Packages: Computer ScienceComputer Science (R0)