Программирование микроконтроллеров. Стратегия и тактика

Предисловие
Благодарности
Введение
1. Анализ требований
1.1. Идентификация
1.2. Требования реального времени
1.3. Безопасность
1.4. Надежность
1.5. Защищенность
1.6. Энергосбережение
1.7. Эффективность разработки
2. Проектирование
2.1. Структурный дизайн
2.1.1. Системы и подсистемы
2.1.2. Объектно-ориентированная декомпозиция
2.1.3. Автоматное программирование
2.2. Конкурентный дизайн
2.2.1. Логика функционирования и логика
выполнения
2.2.2. Задача как синхронная программа
2.2.3. Декомпозиция на задачи
2.2.4. Доступ к общим ресурсам и взаимное
исключение
2.2.5. Планирование задач
2.3. Операционные системы реального времени
2.3.1. ОСРБ как инструмент
2.3.2. Проблема выбора
2.3.3. Особенности интеграции
2.3.4. Реализация для микроконтроллеров малой
разрядности
3. Кодирование
3.1. Структура проекта
3.2. Оформление программ
3.3. Применение средств языка
3.4. Литералы, константы и выражения
3.5. Атомарность и изменчивость
3.6. Оптимизация кода
4. Отладка и тестирование
4.1. Ошибки и симптомы
4.2. Инспекция кола и формальная верификация
4.3. Тестирование и кросс-платформенная отладка
4.4. Отладка в реальном времени
Вместо заключения
Литература
Предметный указатель