Перспективы повышения функциональной безопасности систем железнодорожной автоматики и телемеханики в условиях цифровизации
Аннотация
Об авторе
А. В. ОзеровРоссия
Алексей В. Озеров – начальник Международного управления
Москва
тел. +7 (495) 967-77-02
Список литературы
1. Doppelbauer J. Command and Control 4.0. // IRSE News, Issue 246, July/August 2018.
2. IEC 62290:2014. Railway applications – Urban guided transport management and command/control systems.
3. Interoperability Directive 2008/57/EC.
4. CCS (EU) No. 2016/919: Technical Specification of Interoperability relating to Control-Command and Signalling.
5. UNISIG Subset-026-2_v360.
6. Замышляев А.М. Прикладные информационные системы управления надежностью, безопасностью, рисками и ресурсами на железнодорожном транспорте. Ульяновск: Печатный двор, 2013. 140 с.
7. BS EN 50126:1999. Railway applications – The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS).
8. EUG. ERTMS/ETCS RAMS Requirements Specification, 1998.
9. Rumsey A. Achieving high levels of signalling system availability – is there a role for secondary systems? // IRSE News, Issue 247, September 2018.
10. Официальный сайт европейской инициативы Shift2Rail [Электронный ресурс]. URL: https://Shift2Rail.org/ (дата обращения 14.04.2020 г.)
11. 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.
12. BS EN 50128:2011. Railway applications Communication, signalling and processing systems Software for railway control and protection systems.
13. Antoni M. Formal Validation Method and Tools for French Computerized Railway Interlocking Systems // IRJ. 2009. Vol. 2. No. 3. P. 99-106.
14. 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.
15. EUG, EULYNX. RCA Alpha – Architecture Overview, 2019.
16. OCORA Architecture – Alpha Release, 2019.
17. Shift2Rail ASTRail. D4.1 / Report on Analysis and on Ranking of Formal Methods. 2019. P. 26.
18. Estevan A.M. Dependability and safety evaluation of railway signalling systems based on field data. Doctoral thesis, Lulea, 2015.
19. Xie Y. Formal Modeling and Verification of Train Control Systems. Thesis, 2019.
20. Shift2Rail Multi-Annual Plan. 2015. P. 249.
Для цитирования:
Озеров А.В. Перспективы повышения функциональной безопасности систем железнодорожной автоматики и телемеханики в условиях цифровизации. Надежность. 2020;20(2):54-64. https://doi.org/10.21683/1729-2646-2020-20-2-54-64
For citation:
Ozerov A.V. Towards safer rail control, command and signalling in the context of digitization. Dependability. 2020;20(2):54-64. https://doi.org/10.21683/1729-2646-2020-20-2-54-64