Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
CErtification of CRItical Systems, www.cecris-project.eu.
- 2.
MDA (Model-Driven Architecture) is the specific Model-Driven Development (MDD) approach proposed by the OMG standardization organization.
- 3.
MDT (Model-Driven Testing) refers to MDE V&V activities. It is not an OMG standard, but it is based on a UML standard profile, the UML Testing Profile (UTP), which adapts UML as a test specification language. In MDT, test infrastructure, test cases, and test scripts are derived from UTP models through transformations.
References
Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 1st edn. Morgan & Claypool Publishers, USA (2012)
OMG: MDA Guide (2003) Version 1.0.1. http://www.omg.org/cgi-bin/doc?omg/03-06-01
Baker, P., Dai, Z.R., Grabowski, J., Haugen, Ø., Schieferdecker, I., Williams, C.: Model-Driven Testing: Using the UML Testing Profile, 1st edn. Springer, Heidelberg (2008)
Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A.: Model-driven engineering of a railway interlocking system. In: Proceedings of MODELSWARD 2015, 3rd International Conference on Model-Driven Engineering and Software Development, SCITEPRESS, pp. 509–519 (2015)
Mohagheghi, P., Dehlen, V.: Where is the proof? - a review of experiences from applying MDE in industry. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 432–443. Springer, Heidelberg (2008)
Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The Metrô Rio case study. Sci. Comput. Program. 78(7), 828–842 (2013)
Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E.J., Alme, K.-J., Haugen, Ø.: The future of train signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 128–142. Springer, Heidelberg (2008)
Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6), 669–683 (2014)
Miller, S.P., Whalen, M.W., Cofer, D.D.: Software model checking takes off. Commun. ACM 53(2), 58–64 (2010)
Esterel Technologies: SCADE Suite Product Description (2014). http://www.esterel-technologies.com
Lawrence, A., Seisenberger, M.: Verification of railway interlockings in SCADE. MRes Thesis, Swansea University (2011)
Invensys Rail: Invensys Rail Discovers Agile Development Process with SCADE Suite (2014). http://www.esterel-technologies.com/success-stories/invensys-rail/
Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L., Coq, T.: A SysML-based approach to traceability management and design slicing in support of safety certification: framework, tool support, and case studies. Inf. Softw. Technol. 54(6), 569–590 (2012)
Panesar-Walawege, R., Sabetzadeh, M., Briand, L.: A model-driven engineering approach to support the verification of compliance to safety standards. In: Proceedings of ISSRE 2011, IEEE 22nd International Symposium on Software Reliability Engineering, pp. 30–39 (2011)
Shokry, H., Hinchey, M.: Model-based verification of embedded software. Computer 42(4), 53–59 (2009)
Amalfitano, D., Fasolino, A.R., Scala, S., Tramontana, P.: Towards automatic model-in-the-loop testing of electronic vehicle information centers. In: Proceedings of WISE ’14, International Workshop on Long-term Industrial Collaboration on Software Engineering, pp. 9–12. ACM (2014)
Matinnejad, R., Nejati, S., Briand, L., Bruckmann, T., Poull, C.: Automated model-in-the-loop testing of continuous controllers using search. In: Ruhe, G., Zhang, Y. (eds.) SSBSE 2013. LNCS, vol. 8084, pp. 141–157. Springer, Heidelberg (2013)
IBM Corp.: Rational Rhapsody Developer (2014). http://www-03.ibm.com/software/products/it/ratirhap
Acknowledgement
This research has been supported by the EU FP7 Programme 2007-2013 under REA grant agreement n. 324334 CECRIS (CErtification of CRItical Systems, www.cecris-project.eu) within the IAPP (Industry Academia Partnerships and Pathways) Marie Curie Action of the People Programme.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Scippacercola, F., Pietrantuono, R., Russo, S., Zentai, A. (2015). Model-in-the-Loop Testing of a Railway Interlocking System. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, vol 580. Springer, Cham. https://doi.org/10.1007/978-3-319-27869-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-27869-8_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27868-1
Online ISBN: 978-3-319-27869-8
eBook Packages: Computer ScienceComputer Science (R0)