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

UptoLike

ВУЗ: 

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

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

Рубрика: 

всю модель целиком. Способ не требует построения и хранения в памяти
матриц
Τ
, что делает его более экономичным при вычислении характеристик
крупных моделей, с точки зрения используемой памяти.
Выводы
1. Модель вычислений (MoC) ВсС является важнейшим (поведенческим)
аспектом архитектурного проектирования.
2. На основе анализа базовых MoC [70] и типовых вычислительных
архитектур, реализуемых в виде виртуальных языковых машин и различных
процессорных ядер, рекомендуется расширение трактовки MoC на область
таких вычислительных архитектур.
3. MoC классифицируются по совместности вычислений:
• с неявной спецификацией совместности (data-driven, event-driven, demand-
driven);
• с явной спецификацией совместности (control-driven, imperative).
4. Существует возможность эффективно использовать элементы параллельной
модели на основе функциональных блоков (по аналогии с аппаратными
блоками ВС) для представления распределенных ВсС.
5. На основе анализа традиционных подходов к описанию распределенных
ВсС и учета требований перспективных методик проектирования
сформулированы базовые понятия объектно-событийной модели
вычислений (ОСМВ) РИУС.
6. Показаны типовые методы для синтетического и аналитического способов
построения ОСМВ. Структурно-функциональная декомпозиция модели
опирается на принцип выделения временных доменов функциональных
блоков. Свойство полиморфизма структурных элементов модели позволяет
абстрагироваться от особенностей реализации отдельных узлов системы.
7. Важное значение имеют частные критерии аналитического построения
модели целевой системы. К ним относятся критерий выделения временных
доменов ФБ, критерий сильной/слабой связи, критерий определения
управляющих входов и критерий программно-аппаратной реализации.
8. При расчете временных характеристик учитывается специфика программной
и аппаратной реализации отдельных элементов ОСМВ, которая формальным
образом влияет на эволюцию модели в процессе проектирования.
9. Рассмотренные базовые механизмы функционирования основных элементов
ОСМВ позволяют получать эффективные реализации модели на
современной элементной базе.
10. Для расчета временных характеристик ОСМВ представлен математический
аппарат, позволяющий получать оценки программной и аппаратной
реализации отдельных элементов, рассчитывать реактивные свойства,
78

Страницы