Abstract
In this article, we propose a modeling methodology for the formalization of the specifications of railway systems. Most of the railway systems are actually still specified in natural language. It results lengthly and ambiguous descriptions, which is obviously a concern regarding safety and security. Hence the current trend to move to the model based approach, i.e. to translate textual specifications into models. To achieve this goal, the choice of a suitable modeling formalism and modeling methodology is of paramount importance. The modeling formalism should be close enough to the practitioners way of thinking so to facilitate the acceptance of the approach. It should be also formal enough to avoid ambiguity. We discuss here these issues based on experiments we made on railway automation solution Trainguard©Mass Transit Communication Based Train Control of Siemens.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Lagrange, V. Goumy, E. Rose, G. Yelloz, JM Gimenez, E. Dubois VignalTGMT CBTC Presentation, Siemens external presentation (2009)
Krueger, T.: Modeling of a complex system using sysml in a model based design approach. In: Proceeding of the ASTRA conference on Automation and Robotics, Noordwijk, The Netherlands (2011)
Claver, C.F., Debois Felsmann, G.P., Delgado, F., Hascall, P., Marshall, S., Nordby, M., Schumacher, G., Sebag, J.: The LSST: A System of Systems American Astronomical Society, AAS Meeting #217, #252.02, vol. 43, Bulletin of the American Astronomical Society (2011)
Lamm, J.G., Weilkiens, T.: Funktionale Architekturen in SysML. In: Maurer, M., Schulze, S.-O. (eds.) Tag des Systems Engineering, Carl Hanser Verlag, München, Germany, pp. 109–118 (November 2010); English translation by J. Lamm
Dos Santos Soares, M., Vrancken, J.: Requirements Specification and Modeling through SysML. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC), Montreal, Canada, pp. 1735–1740 (2010)
Krob, D.: Eléments de systémique - Architecture de systémes, in Complexité-Simplexité, Editions Odile Jacob (2012)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML. The Systems Modeling Language. MK/OMG Press (2009), ISBN 978-0-12-378607-4
1474.1-1999 - IEEE Standard for Communication Based Train Control Performance Requirements and Functional Requirements
Espinasse, B.: Méthodes fonctionnelles: SADT, Support de cours, Université Aix-Marseille
Trainguard MT CBTC: The moving block communications based train control solutions, Siemens Transportation Systems
Yaung, S.A.: Foundations of complex system theories. Cambridge University Press (1998)
Stollberg, M., Elvesæter, B.: A Customizable Methodology for the Model-driven Engineering of Service-based System Landscapes
Marca, D.A., McGowan, C.L.: SADT: structured analysis and design technique. McGraw-Hill, Inc., New York (1987) ISBN:0-07-040235-3
Pohl, K.: Requirements Engineering: Fundamentals, Principles, and Techniques. Springer Publishing Company (2010) (Incorporated) ISBN 978-3642125775
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Issad, M., Kloul, L., Rauzy, A. (2014). A Model-Based Methodology to Formalize Specifications of Railway Systems. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-12214-4_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12213-7
Online ISBN: 978-3-319-12214-4
eBook Packages: Computer ScienceComputer Science (R0)