Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 27 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

результаты моделирования системы, заданной одной и той же спецификацией,
могут быть различными.
Кроме того, модель с дискретными событиями не дает ответа на второй
вопрос: сколько раз должен быть активирован процесс C в момент, когда на
двух его входах присутствуют события с одинаковыми временными метками
(рис. 1.2б)? Однако данный вопрос однозначно решается почти всеми
симуляторами, построенными на основе глобальной очереди событий.
Поскольку события все-таки разные, процесс активируется по каждому
событию, то есть два раза. Неоднозначность появляется как раз при таком
решении, какое из двух событий должно первым активировать процесс C? Если
процесс имеет внутреннее состояние, зависящее от потока входных событий, то
эта неоднозначность может повлечь за собой различные состояния процесса, а
значит и системы.
Другая проблема, связанная с моделированием в рамках MoC с
дискретными событиями, касается сложности моделирования больших
распределенных высокопроизводительных систем, выражающейся в больших
вычислительных затратах и, опять же, в некоторых случаях в
недетерминированности и неадекватности моделей. Модель вычислений с
дискретными событиями хорошо подходит для моделирования систем,
имеющих довольно большое число редко активируемых компонентов [57]. Для
моделирования поведения такой системы достаточно активировать отдельные
компоненты при изменении состояния входного сигнала, вместо того, чтобы
поочередно запускать все компоненты (как в синхронных моделях вычислений)
для вычисления состояния системы.
Модели с дискретными событиями могут использоваться при гетерогенном
моделировании, то есть при моделировании иерархических систем, различные
компоненты которых реализованы в разных MoC
. Однако при этом следует
учитывать некоторые моменты. В первую очередь, сложность моделирования
интенсивных потоков событий. В MoC
, в которых активация компонентов
происходит часто, особенно в синхронных моделях вычислений (синхронно-
реактивной, с непрерывным временем, DT), использование компонента,
реализованного в MoC с дискретными событиями, может потребовать
значительных вычислительных ресурсов.
При использовании в модели с дискретными событиями компонентов,
реализованных в других моделях вычислений, следует учитывать, что
активация процессов в MoC с дискретными событиями происходит только при
возникновении события на одном из его входов. Поэтому вычисление
внутреннего состояния компонента между событиями на его входах может
потребовать либо модификации симулятора моделей с дискретными событиями,
либо многопотоковой симуляции. Во втором случае актуальна проблема
синхронизации высокоуровневой модели (с дискретными событиями) и
низкоуровневой (реализация компонента модели верхнего уровня).
26

Страницы