3 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ВСТРАИВАЕМЫХ СИСТЕМ ................................................................................................................. 129 3.1
О
СОБЕННОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
ВВС .............................................. 129
3.1.1
Основные определения ................................................................................. 129
3.1.2
Особенности ПО ВВС ................................................................................... 129
3.1.3
Операционные системы реального времени............................................... 130
3.1.4
Программируемые логические контроллеры ............................................. 131
3.2
Я
ЗЫКИ ПРОГРАММИРОВАНИЯ
................................................................................... 134
3.2.1
Основные определения ................................................................................. 134
3.2.2
Классификация языков ................................................................................. 136
3.2.3
Языки спецификации и программирования ............................................... 136
3.2.4
Полнота по Тьюрингу ................................................................................... 137
3.2.5
Модель вычислений ...................................................................................... 137
3.2.6
Стиль программирования ............................................................................. 138
3.2.7
Стиль программирования, модель вычислений, платформа ..................... 139
3.2.8
Критерии оценки языков .............................................................................. 140
3.2.9
Требования к языкам для управляющих систем ........................................ 142
3.2.10
Краткий обзор языков, используемых при проектировании ВВС ........... 142
3.3
И
НСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ОТЛАДКИ И ТЕСТИРОВАНИЯ
ВВС ........................ 153
3.3.1
Симулятор ...................................................................................................... 153
3.3.2
Внутрисхемный эмулятор ............................................................................ 155
3.3.3
IEEE 1149.1 JTAG - механизм граничного сканирования ......................... 157
3.3.4
Измерение производительности программ ................................................. 159
3.3.5
Анализ исходного кода ................................................................................. 161
3.3.6
Инструментальные средства отладки ОС РВ eCos .................................... 165
3.4
Р
АЗРАБОТКА ПРОГРАММНОГО ПРОДУКТА
................................................................ 166
3.4.1
Жизненный цикл проекта ............................................................................. 166
3.4.2
Общие проблемы проектирования .............................................................. 167
3.4.3
Повторное использование ............................................................................ 169
3.4.4
Информация для будущих руководителей ................................................. 170
3.4.5
Особенности проектирования встроенных систем .................................... 176