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

UptoLike

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

Рубрика:

Пример взят из [67]. Здесь содержится явное указание порядка выполнения

вычислений компонентами p1, p2, p3 и p4. Компоненты p2 и p3 выполняются

совместно друг с другом, но до начала их выполнения должен завершить

вычисления компонент p1. Компонент p4 выполняет вычисления только после

завершения p2 и p3.

Среди MoC с явным указанием совместности можно назвать различные

варианты конечных автоматов (Мили, Мура, взаимодействующие синхронные

конечные автоматы [57], конечные автоматы со временем, конечные автоматы

кодизайна [57]), синхронно-реактивную модель вычислений [56, 45].

На рис. 1.1 представлено обобщение вышесказанного, то есть

классификация MoC по типу совместности вычислений отдельных

компонентов. На рис. 1.1 приведены лишь некоторые примеры моделей

вычислений, находящихся в той или иной группе, однако, существует большое

количество MoC, и представить их все невозможно.

Рис. 1.1. Классификация моделей вычислений по совместности

Данная классификация условна и основана на обзоре литературы по

данной тематике и представленных в различных работах соображениях,

главным образом, основой для данной классификации можно считать [57, 67,

58].

Вопросы взаимодействия между отдельными компонентами вычислений

ставятся некоторыми исследователями на первое место при различии MoC

(например, Ли и возглавляемой им группой Ptolemy Project). Под термином

«взаимодействие» понимается передача результатов вычислений между

компонентами вычислительного процесса, включающая способ синхронизации

между ними для осуществления этой передачи. Vincentelli и др. [57] выделяют

несколько базовых способов, или «примитивов», взаимодействия в MoC,

используемых при проектировании ВсС: