В. Н. Дубинин, В. В. Вяткин
ГРАФОТРАНСФОРМАЦИОННЫЙ ПОДХОД
К СИНТЕЗУ ФОРМАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ
ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499
Рассмотрен подход на основе преобразований графов для синтеза формальных моделей систем функциональных блоков IEC 61499. <...> В качестве модельной формы предлагаются арифметические NCES-сети. <...> Рассмотрены правила трансформации
графов для некоторых этапов синтеза. <...> Введение
Основными этапами разработки управляющих систем на основе функциональных блоков (ФБ) нового международного стандарта IEC 61499 [1] являются формулировка требований (предъявляемых к системе), формализованное
описание управления и объекта управления (моделирование), верификация, валидация и реализация [2]. <...> Наибольшей популярностью при моделировании систем ФБ IEC 61499
пользуются модульные NCES-сети [3], берущие свое начало от сетей Петри. <...> Одной из первых в этой области была работа [4], в [5] освещаются вопросы моделирования алгоритмов ФБ с помощью NCES на уровне целочисленной арифметики. <...> В последнее время были предприняты новые попытки автоматизации
моделирования систем ФБ на основе NCES-сетей. <...> В работе [6] были предложены неформальные правила для создания моделей некоторых элементов ФБ, а
также моделей их выполнения. <...> Несмотря на значительный прогресс в области моделирования и автоматизации построения формальных моделей ФБ на основе NCES-сетей, можно выделить следующие основные нерешенные проблемы: 1) сложность моделирования потоков данных и алгоритмов; 2) отсутствие формальных правил преобразования систем ФБ в NCES-сети; 3) сложность перепрограммирования систем синтеза при изменении правил. <...> И главное – отсутствует целостная методология синтеза формальных моделей для систем ФБ. <...> В данной работе для синтеза формальных моделей систем ФБ IEC
61499 предлагается подход на основе управления моделями. <...> Для уменьшения сложности
моделирования алгоритмов и передач данных в системах ФБ в качестве модельной формы предлагаются арифметические <...>