Составители:
15
уровни проектирования ВсС и предоставляющие разработчику возможность
целенаправленного поиска вариантов во всем многообразии доступных
архитектур.
1.1.3 Встроенное программное обеспечение
Важным шагом в области проектирования ВсС, непосредственно
вытекающим из программно-центрированной модели ВсС, явилось
определение термина встроенное программное обеспечение (embedded software,
ВПО) [84, 63, 71], который направлен на то, чтобы обозначить границы и
особенности отрасли программирования ВсС. Характеристика современных
ВсС как программно-центрированных систем определяет первоочередное
значение ВПО как составляющей проектирования ВсС
.
Четкое осознание серьезных отличий и проблем в области создания ПО
ВсС по сравнению с ПО иных категорий произошло в 90-е годы 20-го века. До
этого чаще всего считалось, что ВПО – это программирование небольших
компьютеров с ограниченными вычислительными ресурсами. Некоторые
важнейшие проблемы ВПО, такие как вопросы эффективного взаимодействия
аппаратчиков и программистов,
средства адекватного машинного
представления задач реального времени, вопросы надежности ПО решались
ведущими научными школами уже в этот период [63, 52, 86, 60].
Качественный анализ состояния, проблем и перспективных направлений
развития ВПО был сделан в [71, 64]. Рассмотрим основные моменты.
Прежде всего, отмечается, что ВПО – это один из вариантов реализации
функциональности ВсС, которая с тем же успехом может
быть реализована как
аппаратный компонент, и что в области ВПО нельзя абстрагироваться от
жестких характеристик и ограничений ПО, как это обычно делается в
традиционных областях программирования. Попытки прямого переноса
методов и технологий, традиционных для индустрии ПО, в область ВПО
привели сегодня к кризису в этой области. Маловероятно, что из этого
кризиса
можно выйти, используя традиционные способы проектирования. Авторы [71]
обоснованно предлагают сфокусироваться на источнике проблем. Они
отмечают, что «для ВПО нужно радикально изменить способ проектирования,
обеспечив следующие действия: 1) связывание ВПО с функциональностью
системы на более высоких уровнях абстракции; 2) связывание ВПО с
программируемыми платформами, которые поддерживают его. Все это
обеспечит необходимые средства
верификации того, что наложенные на ВсС
ограничения, удовлетворяются».
Для реализации этого видения, с одной стороны, должны быть
разработаны такие формальные методики на абстрактном уровне, чтобы
верификацию можно было начать раньше, причем, с использованием
корректного набора инструментов и методов. С другой стороны,
проектировщику нужно понимать архитектуру ПО и аппаратуры ВсС
одинаково,
в одном ключе.
Страницы
- « первая
- ‹ предыдущая
- …
- 14
- 15
- 16
- 17
- 18
- …
- следующая ›
- последняя »
