Abstract
Model-Based System Engineering (MBSE) and Product Line Engineering (PLE) are well-known approaches in industry for the management and design of the architecture of complex systems. The railway signalling business has some specific characteristics that need to be considered in system engineering: railway signalling systems have a long life time and new systems have to integrate interfaces to many types of legacy railway safety products. This situation has led to different technical system approaches: railway infrastructure companies as customers prefer either turn-key projects fulfilled by one supplier or tend to define individual subsystems that can be integrated to a complete system. This article shows how Thales masters both approaches by using the method ARCADIA and the open source modelling tool Capella in the specific case of pre-existing subsystems and how the resulting variability is handled. An outlook will be given to extensions that allow an early safety analysis of models and will provide support for automatic test design.
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
References
Theeg, G., Vlasenko, S. (eds.): Railway Signalling and Interlocking—International Compendium. Eurailpress (2009)
Pachl, J.: Railway Operation and Control, 3rd edn. VTD Rail Publishing, Mountlake Terrace (USA) (2014)
Commission decision on the technical specification for interoperability relating to the control-command and signalling subsystems of the trans-European rail system, 2012-01-25. 2012/88/EU
Barfoed, L.: Current status of public transport in Denmark. Eurotransport, Issue 3, 14–17 (2009)
Eulynx European Initiative. http://eulynx.eu. Accessed 25 Feb 2016
Voirin, J.-L.: Method and tools to secure and support collaborative architecting of constrained systems. In: ICAS 2010, 27th Congress of the International Council of the Aeronautical Science (2010)
Voirin, J.-L.: Modelling languages for functional analysis put to the test of real life. In: Proceedings of the Third International Conference on Complex System Design and Management CSD&M 2012. Springer (2013)
Polarsys.org: https://www.polarsys.org/capella/. Accessed 11 April 2016
Hoppen, A., Schäfer, M.: Modellbasierte Systementwicklung im Rahmen des Projects Denmark F-bane West, Eurailpress, Signal + Draht 09/2014, pp. 12–17
Müller, F., Schäfer, M.: Model-based system specification in the framework of the RSA project, Eurailpress, Signal + Draht 03/2016, pp. 31–36
Zander, J., Schieferdecker, I., Mosterman, P.J.: Model-Based Testing for Embedded Systems. CRC Press (2011)
Utting, M., Legeard, B.: Practical Model-Based Testing. Morgan Kaufmann (2007)
Weißleder, S.: Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines, PhD Thesis (2009)
Weißleder, S., Wartenberg, F., Lackner, H.: Automated test design for boundaries of product line variants. In: International Conference on Testing Software and Systems (ICTSS), 16 pages, Dubai, V.A.E. (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Schäfer, M., Bitsch, F., Weißleder, S., Wartenberg, F. (2017). Challenges for MBSE and PLE for Legacy Product-Based System Environments. In: Fanmuy, G., Goubault, E., Krob, D., Stephan, F. (eds) Complex Systems Design & Management. CSDM 2016. Springer, Cham. https://doi.org/10.1007/978-3-319-49103-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-49103-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49102-8
Online ISBN: 978-3-319-49103-5
eBook Packages: EngineeringEngineering (R0)