Составители:
Функция
EDF →
Ω
:
(D есть множество всех значений векторов
d
)
представляет собой функцию вычисления атрибутов всех выходов композиции
при заданном значении атрибутов «внешних» синхронных входов (см. рис.
1.24).
Ω
F
непрерывна, если непрерывна
Ω
G
[78].
Рис. 1.24. Функция (1.42) вычисления атрибутов
Предложенный способ не требует конкретного вида функций
1Ω
F
,
2Ω
F
, …,
n
F
Ω
вычисления атрибутов отдельных ФБ, а требует только, чтобы они были
непрерывны. Зависимость между атрибутами выходов и входов отдельных ФБ
может выражаться соотношением (1.36) или (1.37) и потенциально любым
другим непрерывным соотношением.
Способ не зависит от порядка интерпретации инструкций
(последовательного или параллельного) функциональными блоками модели.
Это позволяет задавать способы расчета атрибутов для смешанных
(параллельно-последовательных) вариантов порядка интерпретации [18
] и
использовать их для расчета атрибутов отдельных ФБ при вычислении
атрибутов для всей модели [17].
Математический аппарат ОСМВ не позволяет вычислить атрибуты
выходов при наличии обратной связи в модели. Для функциональных блоков со
строгой зависимостью выходов от входов (событие на выходе не может быть
сгенерировано, пока не поступят инструкции по всем необходимым входам),
которую задает матрица
Τ
, это и не требовалось. Легко показать, что любая
композиция таких ФБ с обратной связью приведет к блокировке (deadlock). Тем
не менее, обратная связь представляет собой базовый подход в проектировании
управляющих систем, и ОСМВ в его отсутствие вряд ли получит широкое
использование [18]. Актуальность этого вопроса подчеркивается тем, что
аналогичная проблема существует и в синхронных языках (Statecharts, Esterel)
[48]. В них она решается введением «нестрогих» компонентов, позволяющих
генерацию событий на выходах, если известно состояние только части входов.
Исследование в области формального обоснования «нестрогих»
функциональных блоков могло бы решить эту проблему в ОСМВ. Способ
вычисления атрибутов таких ФБ, очевидно, может отличаться от (1.36) и (1.37).
Предложенный способ вычисления временных характеристик композиции, тем
не менее, делает возможным применение таких ФБ в моделях.
В отличие от математического аппарата ОСМВ, предложенный способ
учитывает иерархию модели в том смысле, что при изменении одной из
моделей на более низком уровне абстракции требуется пересчитать только ту
часть высокоуровневой модели, которая непосредственно зависит от нее, а не
77
Страницы
- « первая
- ‹ предыдущая
- …
- 76
- 77
- 78
- 79
- 80
- …
- следующая ›
- последняя »
