A Model-Based Methodology to Formalize Specifications of Railway Systems

  • Melissa Issad
  • Leïla Kloul
  • Antoine Rauzy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8822)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    F. Lagrange, V. Goumy, E. Rose, G. Yelloz, JM Gimenez, E. Dubois VignalTGMT CBTC Presentation, Siemens external presentation (2009)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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. LammGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Krob, D.: Eléments de systémique - Architecture de systémes, in Complexité-Simplexité, Editions Odile Jacob (2012)Google Scholar
  7. 7.
    Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML. The Systems Modeling Language. MK/OMG Press (2009), ISBN 978-0-12-378607-4Google Scholar
  8. 8.
    1474.1-1999 - IEEE Standard for Communication Based Train Control Performance Requirements and Functional RequirementsGoogle Scholar
  9. 9.
    Espinasse, B.: Méthodes fonctionnelles: SADT, Support de cours, Université Aix-MarseilleGoogle Scholar
  10. 10.
    Trainguard MT CBTC: The moving block communications based train control solutions, Siemens Transportation SystemsGoogle Scholar
  11. 11.
    Yaung, S.A.: Foundations of complex system theories. Cambridge University Press (1998)Google Scholar
  12. 12.
    Stollberg, M., Elvesæter, B.: A Customizable Methodology for the Model-driven Engineering of Service-based System LandscapesGoogle Scholar
  13. 13.
    Marca, D.A., McGowan, C.L.: SADT: structured analysis and design technique. McGraw-Hill, Inc., New York (1987) ISBN:0-07-040235-3Google Scholar
  14. 14.
    Pohl, K.: Requirements Engineering: Fundamentals, Principles, and Techniques. Springer Publishing Company (2010) (Incorporated) ISBN 978-3642125775Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Melissa Issad
    • 1
    • 3
  • Leïla Kloul
    • 2
  • Antoine Rauzy
    • 1
  1. 1.LGI, Ecole Centrale de Paris, Grande Voie des VignesChâtenay-MalabryFrance
  2. 2.PRiSMUniversité de VersaillesVersaillesFrance
  3. 3.Siemens SASChâtillonFrance

Personalised recommendations