A Model Based Approach for Safety Analysis

  • Fabien Belmonte
  • Elie Soubiran
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)


This paper deals with model based safety engineering in Railway signaling systems development. Recently, model based system engineering (MBSE) has brought new specification means for large industrial system. Alstom Transport develops its own MBSE methodology supported by the SysML notation. In this context, a domain specific modeling language (DSML) has been developed for the safety studies enabling tight coupling with the MBSE environment. The paper describes a model to model translation. The translation developed takes the functional part of the system model and the dysfunctional viewpoint modeled within the safety DSML to generate an Altarica model of the system. The generated Altarica model is formal and allows, one from another, the dysfunctional simulation of the system and the generation of sequences of events leading to accidents.


Model Transformation Safety Analysis Fault Tree Traceability Link Safety Engineer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Villemeur, A.: Reliability, availability, maintainability, and safety assessment. Wiley J. (1992)Google Scholar
  2. 2.
    CENELEC, Railway applications. The specification and demonstration of reliability, availability, maintainability and safety (RAMS), EN50126Google Scholar
  3. 3.
    CENELEC, Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems, EN50128Google Scholar
  4. 4.
    CENELEC, Railway applications. Communication, signalling and processing systems. Safety related electronic systems for signalling, EN50129Google Scholar
  5. 5.
    Belmonte, F., Blas, A., Mejia, L.-F., Thomas, F.: Risk Evaluation in Railway Systems Supported By Modeling Languages and Tools. Lambda-Mu, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement. IMDR, La Rochelle (2010)Google Scholar
  6. 6.
    OMG. UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, v1.1 (June 2011),
  7. 7.
    OMG. MOF 2 XMI Mapping, v2.4.1 (August 2011),
  8. 8.
    OMG. OMG Systems Modeling Language (OMG SysML), v1.2,
  9. 9.
    Point, G.: AltaRica: Contribution à l’unification des méthodes formelles et de la sûreté de fonctionnement. LaBRI, Université Bordeaux I (January 2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Fabien Belmonte
    • 1
  • Elie Soubiran
    • 1
  1. 1.Alstom TransportSaint-Ouen cedexFrance

Personalised recommendations