Abstract
System safety assessments are an integral part of system development, as indicated by EN 5012x railway standards. These activities are usually performed manually and rely on reviews and engineering judgments, with limited use of models to support the system assessment phase. In this paper, we present an application of Model-Based Safety Assessment to the Global Operating System (GOS) validation for automatic and semi-automatic metro lines. Safety assessment is a fundamental part of the development of railway systems and the use of model-based techniques provides an effective method for the formalization and analysis of such complex systems. A MBSA deployment methodology using AltaRica Wizard platform and its stochastic simulator is presented and results of the application of the automatic metro lines use-case are shown.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Implications of Increasing Grade of Automation. https://www.apta.com/wp-content/uploads/RC17-Keevill_Dave.pdf. Accessed 24 Apr 2022
Point, G., Rauzy, A.: AltaRica: constraint automata as a description language. Eur. J. Autom. Syst. 33(8–9), 1033–1052 (1999)
Prosvirnova, T., Batteux, M., Brameret, P.A., Cherfi, A., Friedlhuber, T., et al.: The AltaRica 3.0 project for model-based safety assessment. In: 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, York, UK (2013)
Bouissou, B., Bouhadana, H., Bannelier, M., Villatte, N.: Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools. In: Proceedings of SAFECOMP 1991, Trondheim, Norway (1991)
Güdemann, M., Ortmeier, F.: A framework for qualitative and quantitative model-based safety analysis. In: Proceedings of the 12th High Assurance System Engineering Symposium (HASE 2010), pp. 132–141 (2010)
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Exper. 41(11), 1303–1327 (2011)
Feiler, P.H., Gluch, D.P., John, J.H.: The architecture analysis & design language (AADL). In: Conference ERTS 2006, Software Engineering Institute, Toulouse, France (2006)
Cancila, D., Terrier, F., et al.: SOPHIA: a modeling language for model-based safety engineering. In: ACES-MB@MoDELS 2009 Workshop Proceedings, Denver, USA (2009)
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models. In: Bozzano, M., Papadopoulos, Y. (eds.) IMBSA 2017. LNCS, vol. 10437, pp. 19–34. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64119-5_2
Legendre, A., Lanusse, A., Rauzy, A.: Toward model synchronization between safety analysis and system architecture design in industrial contexts. In: Bozzano, M., Papadopoulos, Y. (eds.) IMBSA 2017. LNCS, vol. 10437, pp. 35–49. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64119-5_3
Batteux, M., et al.: Synchronization of system architecture, multi-physics and safety models. In: Boy, G.A., Guegan, A., Krob, D., Vion, V. (eds.) CSDM 2019, pp. 37–48. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-34843-4_4
Batteux, M., Choley, J.Y., Mhenni, F., Prosvirnova, T., Rauzy, A.: Synchronization of system architecture and safety models: a proof of concept. In: IEEE International Symposium on Systems Engineering, ISSE 2019, Edinbourg, UK (2019). hal-02357379
Validation des architectures de Système via les modèles MBSE-MBSA “Intégration des approches MBSE/MBSA pour la prévision, le suivi et l’optimisation des performances de systèmes pendant leur cycle de vie: couplage avec les Data Science”. http://afis.community/wp-content/uploads/2019/07/JT-19-06_APSYS_MBSE-MBSA.pdf. Accessed 24 Apr 2022
Batteux, M., Prosvirnova, T., Rauzy, A.: System Structure Modeling Language (S2ML) (2015). hal-01234903
Issad, M., Kloul, L., Rauzy, A., Berkani, K.: Modeling the CBTC railway system with ScOLA. In: ITS World Congress, Bordeaux, France (2015). https://doi.org/10.1007/s13177-017-0146-2
Sun, P.: Model based system engineering for safety of railway critical systems. Automatic. Ecole Centrale de Lille (2015). NNT: 2015ECLI0018. tel-01293395
Vauquier, D.: Modeling transportation systems: a case study with the open method Praxeme. In: Aiguier, M., Caseau, Y., Krob, D., Rauzy, A. (eds.) Complex Systems Design & Management, pp. 73–89. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-34404-6_5
Zing, C., Iningoue, V.: Methodology for carrying out a RAM study on a complete metro line. In: 22nd Risk Management and Dependability Congress λμ22, Le Havre (2020)
Yanar, D.: System structuring for risk analysis using object oriented methodology. In: Proceedings of the Fourth International Conference on Probabilistic Safety Assessment and Management (PSAM IV), New York, vol. 1, pp. 227–232 (1998)
Krob, D.: CESAM: CESAMES Systems Architecting Method, A Pocket Guide. CESAM Community, Paris, France (2017)
Rauzy, A.: Guarded transition systems: a new states/events formalism for reliability studies. In: Proceedings of the Institution of Mechanical Engineers, Part O-journal of Risk and Reliability, vol. 222 (2008). https://doi.org/10.1243/1748006XJRR177
Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica wizard: an integrated modeling and simulation environment for AltaRica 3.0. In: Congrés Lambda Mu 21 «Maîtrise des risques et transformation numérique: opportunités et menaces», Reims, France, October 2018 (2018)
Acknowledgments
Fractus and EdgeMind work on a project to deploy tailor-made MBSA methods and tools dedicated to a railway Global Operating System (GOS) for a GOA4 metro line for a major urban public transport company in France.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Legendre, A., Donat, R. (2022). Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds) Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science, vol 13525. Springer, Cham. https://doi.org/10.1007/978-3-031-15842-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-031-15842-1_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15841-4
Online ISBN: 978-3-031-15842-1
eBook Packages: Computer ScienceComputer Science (R0)