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