Формальное описание АСУ сложными технологическими объектами и автоматизация тестирования алгоритмов управления

Рассматриваются принципы формализованного описания АСУ сложными технологическими объектами, анализируются их недостатки, предлагается модель описания АСУТП. Приводится пример практического применения этой модели при формальном описании системы контроля и управления гидроагрегатом, внедренной на Жигулёвской ГЭС. Исследуется возможность автоматизации тестирования алгоритмов управления. Описывается принцип построения автоматизированной системы тестирования алгоритмов на основе программно-технических средств фирмы Siemens