Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1 СОВРЕМЕННЫЕ СРЕДСТВА РАЗРАБОТКИ И ОТЛАДКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МИКРОКОНТРОЛЛЕРОВ
Введение.
1.1 Основные этапы проектирования ПО МК
1.2 Средства отладки ПО МК
1.2.1 Аппаратные средства отладки.
1.2.2 Программные средства отладки
1.3 Интегрированные среды проектирования
1.4 Структура современных МК и связь с внешними устройствами
1.4.1 Структура микроконтроллера
1.4.2 Внешние устройства
1.5 Заключение
ГЛАВА 2 ВЕРИФИКАЦИЯ ПРОГРАММ МИКРОКОНТРОЛЛЕРНЫХ УСТРОЙСТВ
Введение
2.1 Общие проблемы верификации
2.2 Особенности ПО МК.
2.3 Особенности верификации программ микроконтроллерных устройств
2.4 Заключение
ГЛАВА 3 МАТЕМАТИЧЕСКОЕ ОПИСАНИЕ МОДЕЛИ ВЗАИМОДЕЙСТВИЯ ПО МК С ВНЕШНИМИ УСТРОЙСТВАМИ.
Введение.
3.1 Имитация взаимодействия ПО МК с внешними устройствами
3.1.1 Построение концептуальной модели взаимодействия внешних устройств с ПО МК
3.2 Математические модели.
3.2.1 Формальная модель объекта имитации.
3.2.2 Типовые математические схемы.
3.2.3 Предварительная формализация объекта имитации
3.2.4 Разработка модели взаимодействия внешних устройств с ПОМК.
3.2.5 Математическое описание подсхем
0 3.3 Заключение
ГЛАВА 4 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ КОМПЛЕКСА
Введение
4.1 Программный имитатор внешних устройств
4.1.1 Алгоритм работы ПО комплекса программноматематических средств.
4.2 Программная реализация компонентов комплекса.
Ф 4.3 Заключение.
СПИСОК ЛИТЕРАТУРЫ