Составители:
определяющая значение сигнала
s
в момент времени
T
t ∈
. Для краткости
функцию дискретизации можно записать:
t
st
s
=∂
)
,(
.
В силу ограничений синхронной модели верно следующее утверждение:
vsvVTNn
nsync
=∃×⊂∀∈∀
)(
: s
и
.
Для множеств I и O определяем функцию дискретизации как в модели
дискретных событий [выражения (1.4), (1.5)]. Функциональность вычислителя
определяется следующим выражением
)()(
:
nsyncnsync
OIfNn →∈∀
,
где n-номер цикла синхронизации.
Такие цикличные модели идеально подходят для разработки синхронных
аппаратных схем или систем обработки сигналов. В случае, когда в системе
невозможно выделить события, происходящие одновременно на всех сигналах,
синхронная модель вычислений становится неприменима. Можно пытаться
реализовать различные технические решения, позволяющие использовать
синхронную модель при моделировании даже в этом случае, но реализация
синхронной MoC в таких системах будет крайне неэффективна и потребует
значительных ресурсов.
1.2 Средства моделирования вычислительных процессов
встраиваемых систем
1.2.1 Способы описания распределенных ВсС
Как было показано в главе 1 части 1 настоящего пособия, в последнее
время при проектировании сложных ВсС все шире применяется архитектурное
описание проектируемой системы. Большинство разработчиков признают
перспективность такого рассмотрения системы и пытаются развивать это
направление в проектировании ВС. Видно, что различные разработчики
совершенно по-разному понимают само понятие архитектуры ВС, однако во
всех подходах демонстрируется, что описания одной лишь функциональности
недостаточно для адекватного представления ВС в процессе ее эволюции при
реализации.
1.2.1.1 Диаграммы потоков данных и управления
Функциональное и структурное описание системы можно представлять в
виде широко распространенных в различных их проявлениях функциональной
модели (Process Model) и модели управления (Control Model) [52].
Ядром функциональной модели можно рассматривать DFD (Data Flow
Diagram – диаграмма потоков данных). Все изначально сформулированные
20
Страницы
- « первая
- ‹ предыдущая
- …
- 19
- 20
- 21
- 22
- 23
- …
- следующая ›
- последняя »
