Дальнейшее развитие автоматизации проектирования систем железнодорожной автоматики требует применения методов автоматической проверки проектных решений. Рассмотрен метод проверки принципиальных схем путем создания модели непосредственно из баз технической документации. Разработана методика автоматического планирования экспериментов. Усовершенствован метод моделирования электрических цепей для больших систем, содержащих релейные элементы.
моделирование, станционные системы автоматики, автоматизация проектирования, проверка принципиальных схем, численные методы, система нелинейных дифференциальных уравнений, проверяющие тесты, автоматизация функционального тестирования