sustainНадежностьDependability1729-26462500-3909RAMS Journal Limited liability company10.21683/1729-2646-2020-20-2-54-64sustain-366Research ArticleБЕЗОПАСНОСТЬ. ТЕОРИЯ И ПРАКТИКАSAFETY. THEORY AND PRACTICEПерспективы повышения функциональной безопасности систем железнодорожной автоматики и телемеханики в условиях цифровизацииTowards safer rail control, command and signalling in the context of digitizationОзеровА. В.OzerovA. V.
Алексей В. Озеров – начальник Международного управления
Москвател. +7 (495) 967-77-02
Alexey V. Ozerov, Head of International Department
Moscow+7 (495) 967-77-02
A.Ozerov@vniias.ruАО «НИИАС»РоссияJSC NIIASRussian Federation2020080620202025464Copyright © Озеров А.В., 20202020Озеров А.В.Ozerov A.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.dependability.ru/jour/article/view/366системы управленияжелезнодорожная сигнализацияинтервальное регулирование движения поездовнадежностьбезопасностьTSIERTMS/ETCSGoA4человеческий факторформальные методыверификациявалидациясертификацияомологациятестированиеCCSrailway signallingtrain separationdependabilitysafetyTSIERTMS/ETCSGoA4human factorformal methodsverifictionvalidationcertificationhomologationtestingReferencesDoppelbauer J. Command and Control 4.0. // IRSE News, Issue 246, July/August 2018.Doppelbauer J. Command and Control 4.0. IRSE News. 2018;246.IEC 62290:2014. Railway applications – Urban guided transport management and command/control systems.IEC 62290:2014. Railway applications – Urban guided transport management and command/control systems.Interoperability Directive 2008/57/EC.Interoperability Directive 2008/57/EC.CCS (EU) No. 2016/919: Technical Specification of Interoperability relating to Control-Command and Signalling.CCS (EU) No. 2016/919: Technical Specification of Interoperability relating to Control-Command and Signalling.UNISIG Subset-026-2_v360.UNISIG Subset-026-2_v360.Замышляев А.М. Прикладные информационные системы управления надежностью, безопасностью, рисками и ресурсами на железнодорожном транспорте. Ульяновск: Печатный двор, 2013. 140 с.Zamyshliaev A.M. [Applied information systems for management of dependability, safety, risks and resources in railway transportation]. Ulyanovsk: Pechatnyi dvor; 2013. (in Russ.)BS EN 50126:1999. Railway applications – The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS).BS EN 50126:1999. Railway applications – The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS).EUG. ERTMS/ETCS RAMS Requirements Specification, 1998.EUG. ERTMS/ETCS RAMS Requirements Specification; 1998.Rumsey A. Achieving high levels of signalling system availability – is there a role for secondary systems? // IRSE News, Issue 247, September 2018.Rumsey A. Achieving high levels of signalling system availability – is there a role for secondary systems? IRSE News. 2018; 247.Официальный сайт европейской инициативы Shift2Rail [Электронный ресурс]. URL: https://Shift2Rail.org/ (дата обращения 14.04.2020 г.)https://Shift2Rail.org/.Shift2Rail Plasa 2. Deliverable D 4.1: Virtual Certification: State of the art, gap analysis and barriers identification, benefits for the Rail Industry, 2019, p. 9.Shift2Rail Plasa 2. Deliverable D 4.1: Virtual Certification: State of the art, gap analysis and barriers identification, benefits for the Rail Industry; 2019.BS EN 50128:2011. Railway applications Communication, signalling and processing systems Software for railway control and protection systems.BS EN 50128:2011. Railway applications – Communication, signalling and processing systems – Software for railway control and protection systems.Antoni M. Formal Validation Method and Tools for French Computerized Railway Interlocking Systems // IRJ. 2009. Vol. 2. No. 3. P. 99-106.Antoni M. Formal Validation Method and Tools for French Computerized Railway Interlocking Systems. IRJ. 2009;2(3):99-106.Van der Werff M., Elsweiler B., Luttik B., Hendriks P. The use of formal methods in standardisation of interfaces of signalling systems // IRSE News, Issue 256, June 2019.Van der Werff M., Elsweiler B., Luttik B., Hendriks P. The use of formal methods in standardisation of interfaces of signalling systems. IRSE News. 2019;256.EUG, EULYNX. RCA Alpha – Architecture Overview, 2019.EUG EULYNX. RCA Alpha – Architecture Overview; 2019.OCORA Architecture – Alpha Release, 2019.OCORA Architecture – Alpha Release; 2019.Shift2Rail ASTRail. D4.1 / Report on Analysis and on Ranking of Formal Methods. 2019. P. 26.Shift2Rail ASTRail. D4.1 Report on Analysis and on Ranking of Formal Methods; 2019.Estevan A.M. Dependability and safety evaluation of railway signalling systems based on field data. Doctoral thesis, Lulea, 2015.Estevan A.M. Dependability and safety evaluation of railway signalling systems based on field data. Doctoral thesis; Luleå 2015.Xie Y. Formal Modeling and Verification of Train Control Systems. Thesis, 2019.Xie Y. Formal Modeling and Verification of Train Control Systems. Thesis; 2019.Shift2Rail Multi-Annual Plan. 2015. P. 249.Shift2Rail Multi-Annual Plan; 2015.
The authors declare that there are no conflicts of interest present.