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

UptoLike

Каждая подсистема представляет собой подмножество классов,
механизмов и акторов, объединенное одной управляющей программой.
Ptolemy II создан для моделирования гетерогенных вычислительных
систем, то есть систем, объединяющих компоненты, описываемые в разных
моделях вычислений: дискретную и аналоговую технику, сети и
телекоммуникационные протоколы, стохастические и криптографические
системы, радиокомпоненты, компоненты, реализующие обработку сигналов и
изображений и т.д. Для этого комплекс поддерживает моделирование в рамках
различных моделей вычислений, и объединение отдельных моделей в
гетерогенную иерархию с последующим комплексным моделированием. В
настоящее время комплекс поддерживает следующие модели вычислений:
CT (continuous time) модели с непрерывным временем;
DE (discrete-event) – модели с дискретными событиями;
DDE (distributed discrete events) системы с частично упорядоченным
множеством дискретных событий;
FSM (finite-state machines) конечные автоматы, в модели отсутствует
понятие времени;
PN (process networks) сети процессов Кана (Kahn), в модели отсутствует
понятие времени;
SDF (synchronous dataflow) модели для представления систем обработки
сигналов, в моделях отсутствует понятие времени;
DDF (dynamic dataflow) расширение SDF, позволяющее компонентам
изменять количество потребляемых и генерируемых элементов данных за
одну итерацию в процессе исполнения модели;
HDF (heterogeneous dataflow) расширение SDF, позволяющее сохранить
статическое планирование и другие свойства моделей в ее рамках и избегать
ограничений на неизменность количества потребляемых и генерируемых
компонентами элементов данных;
PSDF (parameterized synchronous dataflow) расширение SDF с
параметризируемой дисциплиной планирования вычислений;
DT (discrete time) периодически запускаемые статически планируемые
процессы с дискретным временем. Аналог SDF, в котором присутствует
понятие времени;
SR (synchronous-reactive) – синхронно-реактивная модель вычислений;
CI (component interaction) модель вычислений со стилем взаимодействия
компонентов «push/pull»;
CSP (communicating sequential processes) взаимодействующие
последовательно выполняемые процессы;
28