Методы и средства построения экспериментальных моделей для доказательства безопасности микропроцессорной централизации

Abstract

Одной из главных проблем, возникающих при массовом внедрении систем микропроцессорной централизации стрелок и сигналов (МПЦ), является подтверждение безопасности использования системы МПЦ для каждого конкретного объекта внедрения (железнодорожной станции). Даже при общности ядра программного обеспечения (ПО) и однотипности аппаратных средств (АС) систем единого ряда, функциональная безопасность которых может быть доказана однократно, существует вероятность ошибок, в том числе и опасных, при адаптации ПО к определённой станции (конфигурировании), а также технического брака производимых для неё АС. Данное обстоятельство, требующее многократных лабораторных испытаний, обусловливает необходимость формирования экспериментальных моделей систем МПЦ каждой станции.