Availability assessment of railway signalling systems With uncertainty analysis using Statecharts

被引：19

作者：

Qiu, S. ^{[1
]}

Sallak, M. ^{[1
]}

Schoen, W. ^{[1
]}

Cherfi-Boulanger, Z. ^{[2
]}

机构：

[1] Univ Technol Compiegne, Dept Comp Sci, Heudiasyc Lab, UMR 7253,CNRS,Res Ctr Royallieu, Compiegne, France

[2] Univ Technol Compiegne, Dept Mech, Heudiasyc Lab, UMR 7253,CNRS,Res Ctr Royallieu, Compiegne, France

来源：

SIMULATION MODELLING PRACTICE AND THEORY | 2014年 / 47卷

关键词：

Railway signalling system; Statecharts; Availability; ERTMS/ETCS Level 2; Belief functions theory; State uncertainty; MODEL UNCERTAINTY; SAFETY PROPERTIES; FAULT-TREES; SIMULATION; DEPENDABILITY;

D O I：

10.1016/j.simpat.2014.04.004

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

In this paper, we propose an original simulation approach to evaluate the availability of systems in the presence of state uncertainty which arises from incompleteness or imprecision of knowledge and data. This approach is based on a simulation method combining the belief functions theory and the Statecharts. Then we propose a Statechart model of a railway signalling system, European Rail Traffic Management System (ERTMS) Level 2 considering state uncertainty, and evaluate its availability according to the RAMS requirements defined in the railway standards. Finally we propose a sensitivity analysis to estimate the state uncertainty of which constituent system has the most significant influence on the state uncertainty of the entire ERTMS Level 2. (C) 2014 Elsevier B.V. All rights reserved.

引用

页码：1 / 18

页数：18

共 50 条

[21] UNCERTAINTY ASSESSMENT TECHNIQUES FOR SYSTEM AVAILABILITY
Miman, Mehmet
Pohl, Edward A.
[J]. INTERNATIONAL JOURNAL OF RELIABILITY QUALITY & SAFETY ENGINEERING, 2009, 16 (01): : 39 - 57
[22] Uncertainty assessment for availability: Importance measures
Miman, Mehmet
Pohl, Edward A.
[J]. 2006 PROCEEDINGS - ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, VOLS 1 AND 2, 2006, : 222 - +
[23] Design of Elevator Control Systems Using Statecharts
Huang, Yi-Sheng
Chen, Jun-Ren
Lee, Shung-Shing
Weng, Yi-Shun
[J]. 2013 10TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2013, : 322 - 327
[24] Reliability and Inspection Modelling of Railway Signalling Systems
Kumar, Nikesh
Tee, Kong Fah
[J]. MODELLING, 2021, 2 (03): : 344 - 354
[25] Formal analysis of railway signalling data
Iliasov, Alexei
Romanovsky, Alexander
[J]. 2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 70 - 77
[26] Availability analysis of railway track circuits
Patra, A. P.
Kumar, U.
[J]. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART F-JOURNAL OF RAIL AND RAPID TRANSIT, 2010, 224 (F3) : 169 - 177
[27] Availability target of the railway infrastructure: an analysis
Patra, Ambika P.
Kumar, Uday
Kraik, Per-Olof Larsson
[J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2010 PROCEEDINGS, 2010,
[28] Design of traffic light control systems using statecharts
Huang, Yi-Sheng
[J]. Computer Journal, 2006, 49 (06): : 634 - 649
[29] A compositional semantics for statecharts using labeled transition systems
Uselton, AC
Smolka, SA
[J]. CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 2 - 17
[30] Control and Plant Modeling for Manufacturing Systems using Statecharts
Moura, Raimundo Santos
Alves do Couto, Felipe Cesar
Guedes, Luiz Affonso
[J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 543 - +

← 1 2 3 4 5 →