Model-in-the-Loop Testing of a Railway Interlocking System

Model-driven techniques offer new solutions to support development and verification and validation (V&V) activities of software-intensive systems. As they can reduce costs, and ease the certification process as well, they are attractive also in safety-critical domains. We present an approach for Model-in-the-loop testing within an OMG-based model-driven process, aimed at supporting system V&V activities. The approach is based on the definition of a model of the system environment, named Computation Independent Test (CIT) model. The CIT enables various forms of system test, allowing early detection of design faults. We show the benefits of the approach with reference to a pilot project that is part of a railway interlocking system. The system, required to be CENELEC SIL-4 compliant, has been provided by the Hungarian company Prolan Co. in the context of an industrial-academic partnership.

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

[2]  Lionel C. Briand,et al.  Automated Model-in-the-Loop Testing of Continuous Controllers Using Search , 2013, SSBSE.

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

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

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

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

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

[8]  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.

[9]  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..

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

[11]  Porfirio Tramontana,et al.  Towards automatic model-in-the-loop testing of electronic vehicle information centers , 2014, WISE@ASE.

[12]  Stefano Russo,et al.  Model-driven engineering of a railway interlocking system , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

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

[14]  Michael G. Hinchey,et al.  Model-Based Verification of Embedded Software , 2009, Computer.