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

UptoLike

ВУЗ: 

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

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

Рубрика: 

или
∏
≡=∂
i
i
TT
sITI ),(
. (1.4)
Функция вычислителя определяется следующим выражением
tt
OIfTt →∈∀ :
, (1.5)
где t – временная метка события.
Модель дискретных событий вносит неоднозначность в случае
одновременных событий или при учете задержек на вычислительных
компонентах. Модель не накладывает никаких ограничений на реализацию
вычислительных компонентов или поведение при одновременных событиях.
Это делает симуляцию достаточно простой и наглядной, но реализацию и
формальную верификацию модели относительно сложной.
1.1.4.5 Синхронная модель вычислений (Synchronous/Reactive)
Так же как в модели дискретных событий все события системы
снабжаются меткой времени. Метки времени так же как и в модели дискретных
событий глобально упорядочены. Принципиальным отличием синхронной
модели от модели дискретных событий является то, что в синхронной MoC все
события в системе синхронные, т.е. все сигналы системы имеют одинаковую
метку времени [37]. Сами синхронные события в рамках одного временного
цикла, в зависимости от вариаций MoC, могут быть полностью упорядочены,
частично упорядочены или вовсе неупорядочены. С другой стороны, в отличие
от модели дискретных событий в синхронной модели на каждом временном
цикле происходят все события [50].
В течение временного цикла происходит обработка всех входных событий,
активизируются все вычислительные компоненты системы, после чего
начинается новый временной цикл. В рамках каждого конкретного временного
цикла порядок обработки данных и активизация вычислительных компонентов
модели определяется последовательностью обработки входных сигналов. Таким
образом, временной цикл синхронной модели разбивается на множество так
называемых микро-шагов.
Множество значений обозначим V, множество атрибутов обозначим T и
рассмотрим подмножество их прямого произведения s, которое является
сигналом из формулы (1.1).
Определяем функцию синхронизации sync, которая обеспечивает
временное тактирование всей системы, т.е. упорядочивает элементы множества
атрибутов событий:
TNsync →:
.
Для каждого сигнала s определяется функция дискретизации:
VTVT →×∂ ),(
,
svtvts ∈⇔=∂ ),(),(
,
19

Страницы