Model-based safety engineering for autonomous train map

被引:5
作者
Chouchani, Nadia [1 ]
Debbech, Sana [1 ]
Perin, Matthieu [1 ]
机构
[1] Inst Rech Technol Railenium, 180 Rue Joseph Louis Lagrange, F-59300 Valenciennes, France
关键词
Model-based safety engineering; Safety ontology; Model-driven engineering; Safety/assurance case; Railway infrastructure model; Autonomous train; ONTOLOGY; SYSTEM;
D O I
10.1016/j.jss.2021.111082
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
As a part of the digital revolution of railway systems, an autonomous driving train will use a complete and precise map of railway infrastructure to conduct operational actions. Nevertheless, the full autonomy of trains depends on the safety decisions management capacity both on-board and track-side. These decisions must be refined into safety requirements in order to continuously check the consistency between the perceived infrastructure and safety related properties. However, traditionally, the integration of safety analysis requires the intervention of human agent skills. This may be error prone and in interference with the embedded aspect of the train map. In this paper, we propose a model-based approach to match between safety concepts expressed as an ontology, a derived safety model and a safety-extended railway infrastructure map model for autonomous trains. This approach is validated by railway safety case studies for autonomous train map. The integration of this model based safety solution from the early stages of the map system design improves the safety decisions management process. (c) 2021 Elsevier Inc. All rights reserved.
引用
收藏
页数:13
相关论文
共 45 条
[1]  
[Anonymous], 2003, 50129 CENELEC NF EN
[2]  
[Anonymous], 2015, OMG NORM
[3]  
[Anonymous], 2017, 27 EUROPEAN SAFETY R
[4]  
[Anonymous], 2014, ORMSC140601 OMG MDA
[5]  
[Anonymous], 2019, 21448 ISOPAS
[6]  
[Anonymous], 2018, CAS ETUDE MISSION FE
[7]  
[Anonymous], 2009, 262621 ISODIS
[8]  
Barry M.R., 2011, 2011 Aerospace conference, P1
[9]  
Berkenkötter K, 2006, LECT NOTES COMPUT SC, V4166, P398
[10]  
Bishop P., 1998, Ind. Perspect. Safety-critical Syst., P194