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

UptoLike

ВУЗ: 

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

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

Рубрика: 

16
Перечисленное выше в значительной мере объясняет широкое
использование микроконтроллеров с примитивной архитектурой и массовое
низкоуровневое программирование при создании ВсС.
Существует еще ряд важных проблем в области проектирования ВсС,
косвенно связанных с ВПО. Одна из них – проблема «программистского
перекоса» в проектировании ВсС, суть которой поясним ниже.
Технология создания ВсС всегда предполагает
разработку (в той или иной
мере) и аппаратной, и программной составляющих. На этапе архитектурного
проектирования должна анализироваться вся система в целом. В сегодняшних
условиях выполнять такую работу должен «интегральный» специалист,
владеющий абстракциями, характерными для аппаратуры и ПО,
представляющий возможности реализации аппаратного и программного
компонентов. С развитием и внедрением технологий и
инструментальных
средств сквозного проектирования архитектор ВсС может быть освобожден от
необходимости держать в голове информацию уровня физической реализации
системы.
Существующие в значительном количестве коллективы разработчиков ПО
систем реального времени (СРВ) в рамках технологии создания ВсС должны
работать в качестве одного из соисполнителей в команде проектировщиков
системы. Однако в силу различных причин
очень часто такие коллективы берут
на себя роль всей команды создания ВсС. Взгляд на проектирование СРВ только
в виде традиционного программирования (пускай и со всеми этапами, начиная
от архитектуры программной надстройки), безусловно, неэффективен.
Рассмотрим более подробно проблемы создания встроенного
программного обеспечения.
В [71] отмечаются следующие основные проблемы, характерные для
области проектирования
ВПО:
• необходимость увеличения степени повторного использования;
• Co-Design ПО и аппаратуры;
• создание средств моделирования нефункциональных свойств;
• усиление роли в проектировании уровня архитектуры систем и ПО;
• проверка достоверности и верификация;
• адаптация ПО и аппаратуры посредством использования
реконфигурируемых архитектур и компонентов «plug and play»;
• разработка общей технологии и стандартов процесса
проектирования в
части семантики.
На первый план выдвинуты следующие перспективные тенденции
развития в области ВПО:
• формальная верификация;

Страницы