003 Синтез функций безопасности систем ЭЦ на базе языка путевых объектов

DOI: 10.34649/AT.2021.5.5.003

УДК 004.896+656.25

Синтез функций безопасности систем ЭЦ на базе языка путевых объектов

Василенко Михаил Николаевич,

Петербургский государст­венный университет путей сообщения

Императора Александра I, кафедра «Автоматика и телемеханика на железных дорогах»,профессор, д-р техн. наук, Россия, Санкт-Петербург

Василенко Петр Алексеевич,

Петербургский государственный университет путей сообщения

Императора Александра I, кафедра «Автоматика и телемеханика

на железных дорогах», инженер, Россия, Санкт-Петербург

Ключевые слова: электронная техническая документация; язык описания путевых объектов; схематический план станции; таблица взаимозависимости; буквы, слова и предложения ЯПО; функции обеспечения безопасности; безопасность движения поездов

Аннотация. Язык описания путевых объектов (ЯПО) является эффективным инструментом для работы с электронной технической документацией ЖАТ. Принципы построения, области применения, синтаксис и семантика ЯПО, а также программная реализация этого языка в объектном формате технической документации на языке расширяемой разметки XML уже были описаны [1–3]. В статье рассмотрены базовые функции обеспечения безопасности, сформированные на основе классической теории построения систем ЖАТ независимо от их технической реализации. Проанализирована возможность формирования полного перечня условий обеспечения безопасности движения поездов на базе схематического плана станции и таблицы взаимозависимости стрелок и сигналов, реализованных согласно ЯПО в объектном формате технической документации.

Synthesis of the safety functions of electric interlocking systems based on the language of railroad objects description

Vasilenko MikhaiL, Emperor Alexander I St. Petersburg State Transport University, professor, Dr.Sci. (Tech.), Saint-Petersburg, Russia, 9416579@gmail.com

Vasilenko Petr, Emperor Alexander I St. Petersburg State Transport University, engineer, Saint-Petersburg, Russia, vasilenko.p.al@gmail.com

Keywords: electronic technical documentation; language for railroad objects description; schematic plan of the station; table of interdependence of arrows and signals; letters, words and sentences of LROD, safety regulation functions, safety of train movement

Summary: The language of railroad objects description (LROD) is an effective tool for working with the electronic technical documentation of automation and telemechanics. The principles of construction, scope, syntax and semantics of LROD were already described in previously published articles [1–3]. This article reviews the basic functions of safety regulation, formed according to the classic theory of building systems of automation and telemechanics independently from their technical realization. Furthermore, this article analyzes the ability of forming a complete list of conditions, which provide safety of train movement based on the schematic plan of the station and the table of interdependence of arrows and signals, realized according to LROD in the object format of the technical documentation.

Автоматика, связь, информатика. №5, 2021. С. 22–25