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 条

[1] Model-Based Safety Analysis: A Practical Experience
Noisette, Bertille
Dobol, Sebastien
Monteil, Laurene
MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2022, 2022, 13525 : 60 - 67
[2] An Integrated System Design and Safety Framework for Model-Based Safety Analysis
Krishnan, Rahul
Bhada, Shamsnaz Virani
IEEE ACCESS, 2020, 8 : 146483 - 146497
[3] Model-based safety analysis of software product lines
de Oliveira, Andre Luiz
Braga, Rosana T. V.
Masiero, Paulo Cesar
Papadopoulos, Yiannis
Habli, Ibrahim
Kelly, Tim
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 412 - 426
[4] Energy-efficient timetabling and rolling stock circulation planning based on automatic train operation levels for metro lines
Wang, Yihui
Zhu, Songwei
D'Ariano, Andrea
Yin, Jiateng
Miao, Jianrui
Meng, Lingyun
TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2021, 129
[5] Application and Research on Model-based Safety Analysis
Su, Duo
Feng, Chang
Gong, Qi
Li, Yan
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
[6] New Methodology for Model-Based Safety Analysis
Abdellatif, Akram Amin
Holzapfel, Florian
2019 IEEE AEROSPACE CONFERENCE, 2019,
[7] A new safety-guided design methodology to complement model-based safety analysis for safety assurance
Sun, Minghui
Fleming, Cody H.
IFAC PAPERSONLINE, 2022, 55 (41): : 101 - 106
[8] Integrated System Design and Safety Framework for Model-Based Safety Assessment
Krishnan, Rahul
Bhada, Shamsnaz Virani
IEEE ACCESS, 2022, 10 : 79311 - 79334
[9] Model-based risk analysis for system design
Mendes, J. Pedro
SYSTEMS ENGINEERING, 2024, 27 (01) : 5 - 20
[10] Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development
Fleischer, Dirk
Beine, Michael
Eisemann, Ulrich
SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 240 - 248

← 1 2 3 4 5 →