Skip to main content

A Model Based Approach for Safety Analysis

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7613)

Abstract

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.

Keywords

  • 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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Villemeur, A.: Reliability, availability, maintainability, and safety assessment. Wiley J. (1992)

    Google Scholar 

  2. CENELEC, Railway applications. The specification and demonstration of reliability, availability, maintainability and safety (RAMS), EN50126

    Google Scholar 

  3. CENELEC, Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems, EN50128

    Google Scholar 

  4. CENELEC, Railway applications. Communication, signalling and processing systems. Safety related electronic systems for signalling, EN50129

    Google Scholar 

  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. OMG. UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, v1.1 (June 2011), http://www.omg.org/spec/MARTE

  7. OMG. MOF 2 XMI Mapping, v2.4.1 (August 2011), http://www.omg.org/spec/XMI/

  8. OMG. OMG Systems Modeling Language (OMG SysML), v1.2, http://www.omg.org/spec/SysML

  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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Belmonte, F., Soubiran, E. (2012). A Model Based Approach for Safety Analysis. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33675-1_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33675-1_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33674-4

  • Online ISBN: 978-3-642-33675-1

  • eBook Packages: Computer ScienceComputer Science (R0)