Графотрансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499

системы функциональных блоков IEC 61499 преобразование графов синтез формальных моделей NCES-сети графотрансформационные подходы

Построение интеграционных связей в комплексной системе безопасности, Моделирование многоствольных строительных импульсно-тепловых машин, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт