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

UptoLike

ВУЗ: 

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

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

Рубрика: 

можно обсуждать и оценивать характеристики системы, которые навязывает
MoC.
Традиционно в процессе проектирования, практически на всех уровнях
абстракции, система рассматривается как набор изолированных компонентов
(черных ящиков), с определенной функциональностью. Выполняя свои
функции в конкретные моменты времени, компоненты “поглощают” входные
данные и “производят” выходные данные. Этими данными компоненты
обмениваются посредством некой коммуникационной среды. На более
абстрактных уровнях рассмотрения системы относительно текущего многие
компоненты текущего уровня с коммуникациями превращаются в новые
“черные” ящики, скрывая реализацию. На более конкретных уровнях
рассмотрения системы относительно текущего становится более конкретной
реализация каждого черного ящика, становятся видны составляющие его блоки
и коммуникации между ними. Ценность и удобство MoC на определенном
уровне абстракции заключается в том, чтобы она не была очень абстрактной
или очень подробной. В первом случае модель будет не в состоянии описать
процессы, происходящие в целевой системе, с интересующей разработчика
точки зрения. Во втором случае для составления полной модели необходим
будет такой объем данных, что сложность представления системы окажется
неадекватной и бесполезной.
Если рассмотреть целевую систему на некотором уровне абстракции как
набор взаимодействующих изолированных блоков (вычислительных
компонентов системы), то MoC системы на данном уровне абстракции,
используя выразительные средства языка, описывает следующие аспекты
системы [70]:
• Поведение вычислительных компонентов;
• Взаимодействие вычислительных компонентов;
• Способы передачи данных и синхронизацию вычислений;
• Способы декомпозиции и агрегации вычислительных компонентов.
В настоящее время предлагается множество MoC ВсС [32, 35, 41, 59, 64,
66], обладающих определенными свойствами и имеющих свои достоинства и
недостатки. Для каждой из MoC необходимо учесть следующие моменты:
• Адекватность описания целевой системы;
• Удобство моделирования;
• Формальность методов реализации и верификации.
MoC должна содержать характеристики системы, важные на данном
уровне абстракции. Элементы модели (примитивы, языковые средства,
требования и др.), а, следовательно, и вся модель в целом, не должны быть
слишком абстрактными или слишком конкретными. То есть MoC должна быть в
11

Страницы