ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ ...................................................................................................................... 5
1 АКТУАЛЬНОСТЬ ПРОБЛЕМЫ СИНТЕЗА ФУНКЦИОНАЛЬНОЙ
БЕЗОПАСНОСТИ И ПОСТАНОВКА ЗАДАЧ ДИССЕРТАЦИИ ........................... 11
1.1 Определение основных понятий, обозначений, объекта и предмета
исследования ................................................................................................................. 11
1.2 Классификация опасных событий станционных систем ЭЦ ........................ 18
1.3 Постановка задач диссертации ........................................................................ 24
2 АНАЛИЗ И ДОПОЛНЕНИЕ БАЗОВОГО НАБОРА ФУНКЦИЙ
БЕЗОПАСНОСТИ СИСТЕМ ЭЦ ................................................................................. 25
2.1 Анализ первичного набора функций безопасности релейных систем ЭЦ на
основе классификатора опасных событий .................................................................. 25
2.2 Дополнение базового набора на основе новых функций и технологий ..... 39
2.3 Разбиение базового набора функций безопасности по элементам
схематического плана станции на основе языка путевых объектов ........................ 51
2.4 Выводы по разделу ........................................................................................... 63
3 МЕТОДИКА И АЛГОРИТМЫ СИНТЕЗА СПЕЦИФИКАЦИЙ ФУНКЦИЙ
БЕЗОПАСНОСТИ СТАНЦИИ, ОБОРУДОВАННОЙ СИСТЕМОЙ ЭЦ .............. 64
3.1 Стратегия решения задачи функциональной безопасности станции,
оборудованной системой электрической централизации ......................................... 64
3.2 Программная реализация ЯПО на цифровых моделях СПС и ТВЗ станции.
Идентификаторы компонент станции ......................................................................... 68
3.3 Формирование списков идентификаторов компонент станции на базе
ЦМСПС и ЦМТВЗ ......................................................................................................... 81
3
3.4 Привязка функций безопасности к идентификаторам устройств и технологии управления маршрутами .......................................................................... 85
3.5 Оценка эффективности автоматизированного синтеза таблиц спецификаций заданных станций на контрольных примерах .................................. 92
3.6 Выводы по разделу ........................................................................................... 94
4. МЕТОДЫ ПРИМЕНЕНИЯ СПЕЦИФИКАЦИЙ ФУНКЦИЙ БЕЗОПАСНОСТИ СИТЕМ ЭЦ ................................................................................... 95
4.1 Определение областей эффективного применения спецификаций функций безопасности систем ЭЦ и результатов практического использования ............. 95
4.2 Опасные ошибки как источник рисков в реализации стратегии функциональной безопасности .................................................................................. 105
4.3 Характеристика объектной технической документации на системы ЭЦ . 109
4.4 Методы защиты от опасных ошибок в технической документации ......... 112
4.4.1 Организационно-методические методы защиты электронной ОТД от опасных кибернарушений .......................................................................................... 117
4.4.2 Программно-технические методы защиты ОТД от опасных ошибок ....... 120
4.5 Выводы по разделу ......................................................................................... 123
ЗАКЛЮЧЕНИЕ ........................................................................................................... 124
СПИСОК СОКРАЩЕНИЙ И УСЛОВНЫХ ОБОЗНАЧЕНИЙ .............................. 126
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ .................................................. 129
ПРИЛОЖЕНИЯ ........................................................................................................... 140
Приложение А1 Выкопировка из схематического план станции S1 (СПС) ......... 140
Приложение А2 Выкопировка из схематического план станции S2 (СПС) ......... 141
Приложение А3 Выкопировка из схематического план станции S3 (СПС) ......... 142
Приложение Б Выкопировка из цифровой модели схематического плана станции S1 ...................................................................................................... 143
4
Приложение В Выкипоровка из цифровой модели таблицы взаимозависимостей станции S1 (ЦМТВЗ) ................................................................................................... 145
Приложение Д Выкопировка из таблиц идентификаторов IdC, IdП, IdF и IdD для станции S1 .................................................................................................................... 149
Приложение Е Выкопировка из заполненной спецификации функций безопасности контролируемых непрерывно (СПBs-1) ........................................... 152
Приложение Ж Выкопировка из заполненной спецификации функций безопасности контролируемых в маршрутах (СПBs-2) .......................................... 154
Приложение И Выкопировка из заполненной спецификации функций безопасности враждебных маршрутов (СПBs-3) ..................................................... 157
Приложение К Выкопировка из заполненной спецификации функций безопасности дополнительных устройств (СПBs-4) ............................................... 159
Приложение Л Справка о внедрении результатов диссертационной работы ...... 160
Приложение М Справка о внедрении результатов диссертационной работы ...... 161
