Рассмотрена комплексная система информационной поддержки проектирования и верификации (СИПР МП) особого вида алгоритмов управления сложным техническим комплексом — макропрограмм интегрального управления. <...> Характерной особенностью современных сложных технических комплексов (в промышленности, энергетике, на транспорте) является наличие в составе данного комплекса ряда подсистем менее высокого уровня, включая выделенную систему управления. <...> При этом современные системы управления строятся на базе цифровых ЭВМ. <...> Логика управления сложным техническим комплексом реализуется специальным программ-но-алогоритмическим обеспечением (ПАО), важнейшей частью которого являются макропрограммы интегрального управления, координирующие работу подсистем. <...> Ошибки при этом недопустимы, поскольку ПАО относится к критически важным приложениям, сбои в которых могут привести к катастрофическим последствиям, большим материальным потерям, человеческим жертвам. <...> Проектирование, разработка и верификация ПАО, включая многоэтапные испытания и отладку, является весьма сложным и трудоемким процессом. <...> Многие ошибки возникают в силу взаимного недопонимания между отдельными участниками разработки — специалистами по различным подсистемам, проектантами комплекса, программистамиИспользуемый при создании документации естественный язык не обладает необходимой однозначностью и точностью. <...> Предложена методика проектирования и верификации, позволяющая благодаря применению специальной проблемно-ориентированной нотации сократить число промежуточных этапов при разработке ПЛО систем управления реального времени, снизить трудовые и временные затраты при одновременном повышении качества и надежности. <...> СИПР МП содержит средства визуализации и графического конструирования, автоматизации тестирования, автоматизированной генерации программной документации и т.п. <...> Все модули функционируют под управлением <...>