Model-driven engineering of a railway interlocking system

Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification. Incorporating model-driven techniques into a legacy well-proven development cycle is not simply a matter of placing models and transformations in the design and implementation phases. We present the experience in the model-driven design and V&V of a safety-critical system in the railway domain, namely the Prolan Block, a railway interlocking system manufactured by the Hungarian company Prolan Co., required to be CENELEC SIL-4 compliant. The experience has been carried out in an industrial-academic partnership within the EU project CECRIS. We discuss the challenges and the lessons learnt in this pilot project of introducing MD design and testing techniques into the company's traditional V-model process.

[1]  Tian Jia.  Systems Modeling Language (SysML) and Its Application in the DoDAF Products Description , 2008 .

[2]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[3]  Alessio Ferrari,et al.  The Metrô Rio case study , 2013, Sci. Comput. Program..

[4]  Stefano Russo,et al.  Engineering Air Traffic Control Systems with a Model-Driven Approach , 2013, IEEE Software.

[5]  Parastoo Mohagheghi,et al.  Where Is the Proof? - A Review of Experiences from Applying MDE in Industry , 2008, ECMDA-FA.

[6]  Qing Li,et al.  Unified Modeling Language , 2009 .

[7]  Darren D. Cofer,et al.  Software model checking takes off , 2010, Commun. ACM.

[8]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[9]  Miroslaw Staron,et al.  Adopting model driven software development in industry: a case study at two companies , 2006, MoDELS'06.

[10]  M. Seisenberger,et al.  Electronic Communications of the EASST No \ volume defined ! No \ volumetitle defined ! Verification of Railway Interlockings in Scade , 2010 .

[11]  Mehrdad Sabetzadeh,et al.  A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards , 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

[12]  Paulo Cézar Stadzisz,et al.  A Brazilian survey on UML and model-driven practices for embedded software development , 2013, J. Syst. Softw..

[13]  Stefano Russo,et al.  Integrating MDT in an Industrial Process in the Air Traffic Control Domain , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops.

[14]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[15]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[16]  Marco Torchiano,et al.  Preliminary Findings from a Survey on the MD State of the Practice , 2011, 2011 International Symposium on Empirical Software Engineering and Measurement.

[17]  Juan Manuel Fernández Peña,et al.  Unified Modeling Language Unified Modeling Language , 2006 .

[18]  Ina Schieferdecker,et al.  Model-Driven Testing: Using the UML Testing Profile , 2007 .

[19]  Stefano Marrone,et al.  Towards Model-Driven V&V assessment of railway control systems , 2014, International Journal on Software Tools for Technology Transfer.

[20]  Mohsen Asadi,et al.  MDA-Based Methodologies: An Analytical Survey , 2008, ECMDA-FA.

[21]  Mehrdad Sabetzadeh,et al.  A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies , 2012, Inf. Softw. Technol..

[22]  Mark Rouncefield,et al.  The State of Practice in Model-Driven Engineering , 2014, IEEE Software.

[23]  Øystein Haugen,et al.  The Future of Train Signaling , 2008, MoDELS.