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.
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
Villemeur, A.: Reliability, availability, maintainability, and safety assessment. Wiley J. (1992)
CENELEC, Railway applications. The specification and demonstration of reliability, availability, maintainability and safety (RAMS), EN50126
CENELEC, Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems, EN50128
CENELEC, Railway applications. Communication, signalling and processing systems. Safety related electronic systems for signalling, EN50129
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)
OMG. UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, v1.1 (June 2011), http://www.omg.org/spec/MARTE
OMG. MOF 2 XMI Mapping, v2.4.1 (August 2011), http://www.omg.org/spec/XMI/
OMG. OMG Systems Modeling Language (OMG SysML), v1.2, http://www.omg.org/spec/SysML
Point, G.: AltaRica: Contribution à l’unification des méthodes formelles et de la sûreté de fonctionnement. LaBRI, Université Bordeaux I (January 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)