Model-Driven Engineering of a Railway Interlocking System

Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, András Zentai

2015

Abstract

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.

References

  1. Agner, L. T. W., Soares, I. W., Stadzisz, P. C., and Sima˜o, J. M. (2013). A Brazilian Survey on UML and Model-driven Practices for Embedded Software Development. J. Syst. Softw., 86(4):997-1005.
  2. Asadi, M. and Ramsin, R. (2008). MDA-Based Methodologies: An Analytical Survey. In Schieferdecker, I. and Hartman, A., editors, Model Driven Architecture Foundations and Applications, volume 5095 of Lecture Notes in Computer Science, pages 419-431. Springer Berlin Heidelberg.
  3. Baker, P., Dai, Z. R., Grabowski, J., Haugen, O., Schieferdecker, I., and Williams, C. (2007). Model-Driven Testing: Using the UML Testing Profile. SpringerVerlag New York, Inc., Secaucus, NJ, USA.
  4. Brambilla, M., Cabot, J., and Wimmer, M. (2012). ModelDriven Software Engineering in Practice. Morgan & Claypool Publishers, 1st edition.
  5. Carrozza, G., Faella, M., Fucci, F., Pietrantuono, R., and Russo, S. (2012). Integrating MDT in an Industrial Process in the Air Traffic Control Domain. In Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on, pages 225-230.
  6. Carrozza, G., Faella, M., Fucci, F., Pietrantuono, R., and Russo, S. (2013). Engineering Air Traffic Control Systems with a Model-Driven Approach. IEEE Softw., 30(3):42-48.
  7. Conformiq Inc. (2014). Conformiq Designer. www.conformiq.com/products/conformiq-designer/.
  8. Esterel Technologies (2014). SCADE Suite Product Description. http://www.estereltechnolgies.com.
  9. Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., and Tempestini, M. (2013). The Metroˆ Rio Case Study. Sci. Comput. Program., 78(7):828-842.
  10. France, R. B., Ghosh, S., Dinh-Trong, T., and Solberg, A. (2006). Model-driven development using UML 2.0: Promises and pitfalls. Computer, 39(2):59-66.
  11. IBM Corp. (2014a). Rational Rhapsody Automatic Test Generator Add On, User Guide. http://pic.dhe.ibm.com/infocenter/rhaphlp/v7r5/ - topic/com.ibm.rhapsody.oem.pdf.doc/pdf/ATG User Guide.pdf.
  12. IBM Corp. (2014b). Rational Rhapsody Developer. http://www-03.ibm.com/software/ products/it/ratirhap.
  13. IBM Corp. (2014c). Rational Rhapsody TestConductor Add On, User Guide. http://pic.dhe.ibm.com/infocenter/- rhaphlp/v7r6/topic/com.ibm.rhp.oem.pdf.doc/pdf/- RTC User Guide.pdf.
  14. Invensys Rail (2014). Invensys Rail Discovers Agile Development Process with SCADE Suite. http://www.esterel-technologies.com/successstories/invensys-rail/.
  15. Kent, S. (2002). Model Driven Engineering. In Proceedings of the Third International Conference on Integrated Formal Methods, IFM 7802, pages 286-298, London, UK, UK. Springer-Verlag.
  16. Lawrence, A. and Seisenberger, M. (2011). Verification of railway interlockings in SCADE. MRes Thesis, Swansea University.
  17. Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., and Vittorini, V. (2014). Towards Model-Driven V&V assessment of railway control systems. International Journal on Software Tools for Technology Transfer, pages 1-15.
  18. Miller, S. P., Whalen, M. W., and Cofer, D. D. (2010). Software model checking takes off. Commun. ACM, 53(2):58-64.
  19. Mohagheghi, P. and Dehlen, V. (2008). Where Is the Proof? - A Review of Experiences from Applying MDE in Industry. In Proceedings of the 4th European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 7808, pages 432-443, Berlin, Heidelberg. Springer-Verlag.
  20. Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L., and Coq, T. (2012). A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Information and Software Technology, 54(6):569 - 590.
  21. No Magic, Inc. (2014). MagicDraw. http://www. nomagic.com/products/magicdraw.html.
  22. OMG (2003). MDA Guide. http://www.omg.org/cgibin/doc?omg/03-06-01. Version 1.0.1.
  23. OMG (2005). Unified Modeling Language (UML) Superstructure. http://doc.omg.org/formal/2005-07-04.pdf. Version 2.0.
  24. OMG (2008). Systems Modeling Language (SysML). http://www.omg.org/docs/formal/08-11-02.pdf. Version 1.1.
  25. Panesar-Walawege, R., Sabetzadeh, M., and Briand, L. (2011). A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards. In Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on, pages 30-39.
  26. Staron, M. (2006). Adopting model driven software development in industry a case study at two companies. In Nierstrasz, O., Whittle, J., Harel, D., and Reggio, G., editors, Model Driven Engineering Languages and Systems, volume 4199 of Lecture Notes in Computer Science, pages 57-72. Springer Berlin Heidelberg.
  27. Svendsen, A., Olsen, G. K., Endresen, J., Moen, T., Carlson, E., Alme, K.-J., and Haugen, O. (2008). The Future of Train Signaling. In Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 7808, pages 128- 142, Berlin, Heidelberg. Springer-Verlag.
  28. Torchiano, M., Tomassetti, F., Ricca, F., Tiso, A., and Reggio, G. (2011). Preliminary Findings from a Survey on the MD* State of the Practice. In Empirical Software Engineering and Measurement (ESEM), 2011 International Symposium on, pages 372-375.
  29. Whittle, J., Hutchinson, J., and Rouncefield, M. (2014). The State of Practice in Model-Driven Engineering. Software, IEEE, 31(3):79-85.
Download


Paper Citation


in Harvard Style

Scippacercola F., Pietrantuono R., Russo S. and Zentai A. (2015). Model-Driven Engineering of a Railway Interlocking System . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 509-519. DOI: 10.5220/0005244805090519


in Bibtex Style

@conference{modelsward15,
author={Fabio Scippacercola and Roberto Pietrantuono and Stefano Russo and András Zentai},
title={Model-Driven Engineering of a Railway Interlocking System},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={509-519},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005244805090519},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-Driven Engineering of a Railway Interlocking System
SN - 978-989-758-083-3
AU - Scippacercola F.
AU - Pietrantuono R.
AU - Russo S.
AU - Zentai A.
PY - 2015
SP - 509
EP - 519
DO - 10.5220/0005244805090519