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 条

[31] Modelling of Emergency Vehicle Preemption Systems Using Statecharts
Weng, Yi-Shun
Huang, Yi-Sheng
Su, Shun-Feng
Yu, Chi-Shan
[J]. 2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 556 - 561
[32] Implementing fuzzy control systems using VHDL and statecharts
Salapura, V
Hamann, V
[J]. EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 53 - 58
[33] Specification and analysis of real-time systems in statecharts
Cha, SD
Hong, HS
[J]. SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
[34] Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems
Aoun, Joelle
Goverde, Rob M. P.
Nardone, Roberto
Quaglietta, Egidio
Vittorini, Valeria
[J]. 2022 6TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY, ICSRS, 2022, : 69 - 74
[35] Experimenting with Diversity in the Formal Development of Railway Signalling Systems
Fantechi, Alessandro
Gnesi, Stefania
Lombardi, Giovanni
[J]. ERCIM NEWS, 2008, (75): : 51 - 52
[36] Automated Verification of Signalling Principles in Railway Interlocking Systems
Kanso, Karim
Moller, Faron
Setzer, Anton
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 250 (02) : 19 - 31
[37] Functional apportioning of safety requirements on railway signalling systems
Lokberg, O
Skogstad, O
[J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 289 - 302
[38] A new approach to model signalling systems on railway networks
Astengo, G
Castagnola, A
Cosulich, G
Saccani, P
[J]. COMPUTERS IN RAILWAYS VI, 1998, 2 : 1077 - 1084
[39] Complexity and uncertainty in the assessment of the Viareggio LPG railway accident
Manca, Davide
Brambilla, Sara
[J]. JOURNAL OF LOSS PREVENTION IN THE PROCESS INDUSTRIES, 2010, 23 (05) : 668 - 679
[40] Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts
Huszerl, G
Majzik, I
[J]. PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 200 - 207

← 1 2 3 4 5 →