МЕТОД И АЛГОРИТМЫ ПРОЕКТИРОВАНИЯ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ЛОГИЧЕСКИХ КОНТРОЛЛЕРОВ В ПРОМЫШЛЕННОСТИ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ ВИЗУАЛЬНЫХ МОДЕЛЕЙ
В работе представлен метод и алгоритмы функционального проектирования прикладного программного обеспечения программируемых логических контроллеров в промышленности на основе использования визуальных моделей. Приведены основные результаты исследования существующих методов проектирования. Компьютерные модели, визуально схожие с управляемыми технологическими объектами и процессами, представляются наиболее подходящими инструментами обеспечения согласованности, в наименьшей мере требующими от заказчика дополнительных знаний. Проведенное исследование показало отсутствие таких визуальных моделей, которые могли бы использоваться при функциональном проектировании, обеспечивали возможность для согласования как с заказчиком, так и с разработчиком, и при этом опирались на математический аппарат формальных спецификаций. Описаны предлагаемые визуальные модели автоматизированных технологических комплексов, отличающиеся от известных возможностью их использования в качестве человеко-машинного интерфейса при функциональном проектировании, что позволяет обеспечить согласованность проектных решений. Представлен метод проектирования прикладного программного обеспечения, алгоритм построения визуальных моделей и алгоритм проектирования спецификаций программных блоков в рамках метода, отличающиеся совместным использованием визуальных моделей и формальных спецификаций при функциональном проектировании программных блоков. Приведен иллюстративный пример применения предлагаемых метода и алгоритмов.