Верификация моделей автоматизированного проектирования и программирования систем железнодорожной автоматики

Abstract

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