Рис. 38 Лицевая панель и блок-диаграмма ВП
Одним из главных достоинств систем визуального моделирования
является то, что они позволяют пользователю не заботиться о программной
реализации модели, как о последовательности исполняемых операторов, и
тем самым создают на компьютере некоторую чрезвычайно удобную среду, в
которой можно создавать виртуальные, "квазиаппаратные" параллельно
функционирующие системы и проводить эксперименты с ними. Графическая
среда становится похожей на физический испытательный стенд, только
вместо тяжелых металлических ящиков, кабелей и реальных измерительных
приборов, осциллографов и самописцев пользователь имеет дело с их
образами на экране дисплея. Образы можно перемещать, соединять и
разъединять с помощью мыши. Кроме того, пользователь может видеть и
оценивать результаты моделирования по ходу процесса проектирования.
При создании ответственных технологических объектов, таких как
объекты нефтегазовой отрасли, одной из важнейших составляющих процесса
их проектирования является выбор решений АС, позволяющих наиболее
эффективно использовать технологическое оборудование. Для этого
исполнителю проекта важно:
однозначно и просто понимать, что для этого должно быть сделано, что
делается и что сделано в программно реализуемом проекте;
формально и изоморфно переходить от алгоритма к программам на
различных языках программирования, используя минимальное число
внутренних (управляющих) переменных в программах, так как эти
переменные затрудняют понимание программ;
легко и корректно вносить изменения в разработанные алгоритмы и в
построенные по ним программы;
корректно проводить сертификацию программ.
Однако при формировании общих подходов к созданию
алгоритмического и программного обеспечения возникают трудности,
связанные с необходимостью достижения их наглядности,
структурированности, наблюдаемости и управляемости. Эти трудности
усугубляются тем, что при создании различных систем управления
объектами нефтегазовой отрасли обычно используются и различные
технологии алгоритмизации и программирования. Спектр таких технологий
широк: от технологий на основе алгоритмических языков высокого уровня
для промышленных компьютеров до технологий на основе
специализированных языков для программируемых логических
контроллеров (например, функциональных и лестничных схем).
Поэтому алгоритмизация и программирование систем управления
техническими средствами, должны основываться на единой методологии,
позволяющей строить, читать, проверять, верифицировать алгоритмы и
программы. В качестве такой методологии может быть рекомендована
технология автоматного программирования. Базовым понятием автоматного
программирования является «состояние». Это понятие, в том смысле, как оно