Введение
ГЛАВА 1 Современные средства разработки и отладки программного обеспечения микроконтроллеров 7
Введение 7
1.1 Основные этапы проектирования ПО МК 7
1.2 Средства отладки ПО МК 10
1.2.1 Аппаратные средства отладки 10
1.2.2 Программные средства отладки 13
1.3 Интегрированные среды проектирования 14
1.4 Структура современных МК и связь с внешними устройствами 21
1.4.1 Структура микроконтроллера 21
1.4.2 Внешние устройства 26
1.5 Заключение 31
ГЛАВА 2 Верификация программ микроконтроллерных устройств 33
Введение 33
2.1 Общие проблемы верификации 33
2.2 Особенности ПО МК 39
2.3 Особенности верификации программ микроконтроллерных у строй ств 41
2.4 Заключение 50
ГЛАВА 3 Математическое описание модели взаимодействия по мк с внешними устройствами 51
Введение 51
3.1 Рїмитация взаимодействия ПО МК с внешними устройствами 51
3.1.1 Построение концептуальной модели взаимодействия внешних устройств с ПО МК 52
3.2 Математические модели 54
3.2.1 Формальная модель объекта имитации 54
3.2.2 Типовые математические схемы 57
3.2.3 Предварительная формализация объекта имитации 70
3.2.4 Разработка модели взаимодействия внешних устройств с ПОМК 71
3.2.5 Математическое описание подсхем 79
3.3 Заключение 84
ГЛАВА 4 Программное обеспечение комплекса 86
Введение 86
4.1 Программный имитатор внешних устройств 86
4.1.1 Алгоритм работы ПО комплекса программно-математических средств 88
4.2 Программная реализация компонентов комплекса 93
4.3 Заключение 113
Список литературы
