Рефакторинг диаграмм управления выполнением стандарта IEC 61499

рефакторинг диаграммы управления выполнением диаграммы ECC программное обеспечение трансформация графов графо-трансформационные подходы компонентно-базированные системы промышленные процессы

Влияние переходных процессов в тонкопленочной гетероструктуре на надежность чувствительных элементов тензорезисторных датчиков давления, Специфика алгоритма управления межпроцессного взаимодействия в клиент-серверной распределенной вычислительной системе, ...

В. Н. Дубинин, В. В. Вяткин РЕФАКТОРИНГ ДИАГРАММ УПРАВЛЕНИЯ ВЫПОЛНЕНИЕМ СТАНДАРТА IEC 61499 В работе рассматривается рефакторинг диаграмм управления выполнением (диаграмм ЕСС) в рамках графо-трансформационного подхода к проектированию распределенных компонентно-базированных систем управления промышленными процессами на основе нового международного стандарта IEC 61499. <...> Основной целью рефакторинга является избавление диаграммы ЕСС от условных дуг без событий и потенциально-тупиковых (по условиям) состояний. <...> Приводятся правила преобразования графов для совершения рефакторинга диаграмм ЕСС. <...> Прототип системы рефакторинга реализован в системе трансформации графов AGG. <...> Введение Международный стандарт IEC 61499 определяет архитектуру и языковые средства для построения распределенных компонентно-базированных систем управления промышленными процессами нового поколения [1]. <...> В данной работе решается задача рефакторинга диаграмм ЕСС базисных ФБ. <...> Основной целью рефакторинга является избавление диаграммы ЕСС от условных дуг без событий и потенциально-тупиковых (по условию) состояний. <...> Рефакторинг в данном случае во многом основывается на понятии достижимости последовательностей ЕС-акций. <...> Прототип системы рефакторинга реализован в системе трансформации графов AGG [7]. <...> Событийная дуга (Е-дуга) представляет ЕС-переход с событием, условная дуга (С-дуга) – ЕС-переход без события, имеющий сторожевое условие, отличное от тождественно истинного, а безусловная дуга (Т-дуга) аналогично дуге второго типа, но сторожевое условие этой дуги тождественно истинно. <...> В дальнейшем будем обозначать Е- и Т-дуги сплошной линией, а С-дуги – пунктирной. <...> Над Т-дугой будем ставить символ «t», над Е-дугой – символ «e» (если это необходимо). fE: RE E – функция, назначающая Е-дугам событийные входы. <...> fС: RE RC C – функция, назначающая Е- и С-дугам сторожевые условия. fA: S A – функция, назначающая состояниям последовательности ЕС-акций. fP:R <...>

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