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

UptoLike

ВУЗ: 

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

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

Рубрика: 

состоянии описать целевую систему. Описание в данном контексте понимается
как определенная степень спецификации системы, возможно не до конца
формальной. Это требование к MoC можно сформулировать как адекватность
описания целевой системы.
Кроме собственно описания целевой системы на заданном уровне
абстракции, MoC должна обеспечивать разработчику средства работы с этим
описанием. Разработчик должен иметь возможность доказывать истинность или
ложность определенных утверждений относительно целевой системы,
проверять соответствие определенным требованиям и ограничениям,
накладываемым на целевую систему. Инструменты, предоставляемые моделью,
должны позволять проводить оценку тех или иных характеристик целевой
системы, проводить оптимизацию по выбранным параметрам. Все эти действия
разработчика можно назвать моделированием целевой системы в терминах
выбранной MoC.
После обработки и корректировки модели на данном уровне абстракции
разработчик должен повышать “конкретность” модели, т.е. реализовывать
модель. В процессе реализации могут потребоваться значительные ресурсы,
чтобы, оставаясь в ограничениях текущей MoC, повысить конкретику
представления целевой системы, возможно с переходом на другую MoC.
Зачастую требуются достаточно формальные методы трансформации MoC,
чтобы в конечном итоге у разработчика оставалась возможность проведения
эквивалентной верификации получаемых моделей. Необходимы формальные
методы трансформации требований, ограничений, спецификаций,
функциональности вычислительных компонентов и коммуникаций между ними.
Чем более формальные методы описанных процессов предлагает MoC, тем
удобнее с ней работать, и результаты такой работы становятся более
предсказуемыми.
1.1.3 Совместимость и синхронизация в моделях вычислений
MoC задает некоторые общие положения представляемого в ее рамках
вычислительного процесса. Эти положения чаще всего касаются вопросов:
• совместности вычислений отдельных компонентов;
• взаимодействия и синхронизации между ними;
• понятия времени в MoC.
Под совместностью вычислений понимается потенциальная возможность
выполнения вычислений отдельными компонентами параллельно [67].
Совместность совсем не означает параллелизм вычислений, а может
проявляться, например, в псевдопараллельном выполнении вычислений (потоки
в многопотоковой среде, задачи в ОСРВ). Совместность вычислений является
принципиальным вопросом практически любой MoC, так как фиксация правил
совместности вычислений, производимых отдельными компонентами,
позволяет делать выводы о планировании вычислений (например,
12

Страницы