Skip to main content
SpringerLink
Log in

Modeling the CBTC Railway System of Siemens with ScOLa

  • Published:
International Journal of Intelligent Transportation Systems Research Aims and scope Submit manuscript

Abstract

Considering their increasing complexity, industrial systems are, in general, specified in a natural language. In railway systems, the design phase results an ambiguous and laborious system specification. The objective of this paper is to present ScOLa, a formal modeling language based on scenarios and built for railway system specifications. Its novelty resides in its restriction to a small set of concepts and its multiple representations (textual and graphical). The language offers means to understand what the system is supposed to do and to be as well as to support a dialog with experts so to be sure that they got everything correctly. The language is depicted on the railway automation solution Trainguard MT CBTC of Siemens.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. 3.1-1999 - IEEE Standard for Communication Based Train Control Performance Requirements and Functional Requirements (2004)

  2. Friedenthal S., Griego, R., Sampson, M.: INCOSE Model Based Systems Engineering (MBSE) Initiative INCOSE June 24–27 San Diego (2007)

  3. Friedenthal S., Moore, A., Steiner, R., A Practical Guide to SysML, The Systems Modeling Language, MK/OMG Press, ISBN 978–0–12-378607-4 (2009)

  4. Trainguard MT CBTC: The moving block communications based train control solutions, Siemens Transportation Systems

  5. Abrial, J. R., & Abrial, J. R.: The B-book: assigning programs to meanings. Cambridge University Press (2005)

  6. Behm, P., Benoit, P., Faivre, A., & Meynadier, J. M: METEOR: A successful application of B in a large project. In FM’99—Formal Methods (pp. 369–387). Springer Berlin Heidelberg (1999)

  7. Abdulla, P. A., Deneux, J., Stålmarck, G., Ågren, H., & Åkerlund, O. Designing safe, reliable systems using scade. In Leveraging Applications of Formal Methods (pp. 115–129). Springer Berlin Heidelberg. (2004)

  8. CENELEC, EN. 50128: Railway Applications: Software for Railway Control and Protection Systems. European Committee for Electrotechnical Standardization (1997)

  9. 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)

  10. Claver, C. F., Debois-Felsmann, G. P., Delgado, F., Hascall, P., Marshall, S., Nordby, M., ... & LSST Collaboration.: The LSST: A System of Systems. In Bulletin of the American Astronomical Society (Vol. 43, p. 25202) (2011)

  11. Lamm, J. G., & Weilkiens, T. Functional Architectures in SysML. Proceedings of the Tag des Systems Engineering (TdSE ‘10). Munich (2010)

  12. Soares, M.D.S., Vrancken, J.: Model-driven user requirements specification using SysML. Journal of Software. 3(6), 57–68 (2008)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LGI, CentraleSupelec, Grande Voie des Vignes, 92290, Chatenay Malabry, France

    Melissa Issad

  2. Siemens Mobility, 150 avenue de la République, Châtillon, 92320, France

    Melissa Issad & Karim Berkani

  3. DAVID, University of Versailles, 45 avenue des Etats Unis, Versailles, 78000, France

    Leïla Kloul

  4. IPK, NTNU, Høgskoleringen 1, Trondheim, 7491, Norway

    Antoine Rauzy

Authors
  1. Melissa Issad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leïla Kloul
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antoine Rauzy
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Karim Berkani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Melissa Issad.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Issad, M., Kloul, L., Rauzy, A. et al. Modeling the CBTC Railway System of Siemens with ScOLa . Int. J. ITS Res. 16, 163–172 (2018). https://doi.org/10.1007/s13177-017-0146-2

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13177-017-0146-2

Keywords

Search

Navigation