Чепцов М. М. Формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей

У дисертації розроблено комплексний інноваційний підхід щодо формування методів синтезу станційних систем сигналізації та централізації на основі динамічних функціональних моделей, у яких на відміну від існуючих реалізовано наскрізний динамічний режим функціонування із застосуванням аналітичних залежностей між вхідними та вихідними сигналами. В роботі виявлені умови та доведена можливість виникнення динамічних небезпечних відмов у програмних засобах реалізації станційних систем. Встановлено закономірності формування відповідальних команд, розроблено адитивну й мультиплікативну динамічні моделі перевірки умов безпеки та виконано синтез безпечного функціонального елементу. На основі його застосування розроблено комплекс функціональних моделей: контролю секцій, сигнальних, маршрутних. Виконано синтез наскрізної динамічної станційної системи сигналізації й централізації, що дозволяє покращити експлуатаційні характеристики та підвищити рівень функціональної безпеки.