Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines

被引：0

作者：

Legendre, Anthony ^{[1
]}

Donat, Roland ^{[2
]}

机构：

[1] Fractus, Rue Croix Ronde, F-91360 Epinay Sur Orge, France

[2] EdgeMind, Rue Dept, F-75014 Paris, France

来源：

MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2022 | 2022年 / 13525卷

关键词：

Model based safety analysis; Integration in interdisciplinary processes; RAMS; Railway applications; Global operating system;

D O I：

10.1007/978-3-031-15842-1_6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 MB SA 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.

引用

页码：68 / 82

页数：15

共 50 条

[21] Model-based Automated Safety Analysis Method for Safety-critical System
Xu, Xinyan
Wei, Ran
Wang, Haochi
2024 5TH INTERNATIONAL CONFERENCE ON MECHATRONICS TECHNOLOGY AND INTELLIGENT MANUFACTURING, ICMTIM 2024, 2024, : 55 - 59
[22] A knowledge-based system for quality analysis in model-based design
Yang, Wei
Fu, Chaofan
Yan, Xiaoguang
Chen, Zhuoning
JOURNAL OF INTELLIGENT MANUFACTURING, 2020, 31 (06) : 1579 - 1606
[23] A knowledge-based system for quality analysis in model-based design
Wei Yang
Chaofan Fu
Xiaoguang Yan
Zhuoning Chen
Journal of Intelligent Manufacturing, 2020, 31 : 1579 - 1606
[24] Application of Model-Based Design in Development of Micro-Grid System
Kidokoro, Hitoshi
Nakahara, Masatoshi
Nakamura, Soichiro
2011 IEEE 33RD INTERNATIONAL TELECOMMUNICATIONS ENERGY CONFERENCE (INTELEC), 2011,
[25] A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products
de Oliveira, Andre L.
Braga, Rosana T. V.
Masiero, Paulo C.
Papadopoulos, Yiannis
Habli, Ibrahim
Kelly, Tim
PROCEEDINGS OF IV BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING SBESC 2014, 2014, : 7 - 12
[26] Model-based function design of gas-fired boilers From system analysis to automatic offline calibration
Stursberg, Matthias
Grunert, Tim
Loehr, Christoph
ATP MAGAZINE, 2019, (08): : 88 - 95
[27] Model-based design synthesis: application to optimal air-compressor system design
Rosich, A.
Berx, K.
Pinte, G.
IFAC PAPERSONLINE, 2016, 49 (21): : 416 - 422
[28] Simulation and Analysis of the Reliability of the Cloud Model-based Automatic Environmental Monitoring System
Shao, Ying
Li, Xiaoming
2011 ASIA-PACIFIC POWER AND ENERGY ENGINEERING CONFERENCE (APPEEC), 2011,
[29] A new grey decision dynamic model-based on cybernetics knowledge for complex system optimization analyzing and its practical application
Bai, Xiaoping
Wang, Hongming
KYBERNETES, 2008, 37 (9-10) : 1218 - 1226
[30] Model-based safety analysis of simulink models using SCADE design verifier
Joshi, A
Heimdahl, MPE
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 122 - 135

← 1 2 3 4 5 →