Введение
1 Обзор методов и средств функциональной верификации и встроенного функцио нального мониторинга СнК 11
1.1 Введение 11
1.2 Технологическая цепочка проектирования СнК 11
1.2.1 Особенности процесса проектирования СнК 11
1.2.2 Ошибки процесса проектирования реализации и эксплуатации 14
1.3 Эффективность современных методов и средств функциональной верификации СнК 16
1.3.1 Задача функциональной верификации СнК 16
1.3.2 Анализ современных методов и средств функциональной верификации 18
1.4 Функциональный мониторинг СнК 22
1.4.1 Задача функционального мониторинга 22
1.4.2 Методы анализа результатов мониторинга 24
1.5 Встроенный функциональный мониторинг СнК 26
1.5.1 Классификация и критика существующих средств встроенного мониторинга 26
1.5.2 Средства автоматизации проектирования подсистемы функционального мониторинга 29
1.6 Выводы 30
1.7 Постановка задачи 31
2 Метод встроенного функционального мониторинга с динамической актуализацией модели поведения 33
2.1 Введение 33
2.2 Структура метода 33
2.3 Выбор математической модели для описания поведения вычислительного процесса 36
2.3.1 Правила спецификации алгоритма взаимодействия процессов 36
2.3.2 Правила спецификации алгоритма функционирования процессов 37
2.4 Разработка алгоритма динамической актуализации модели поведения 39
2.4.1 Задача наблюдения за функционированием процесса 39
2.4.2 Выделение состояний процесса на основе последовательности произошедших событий
2.4.3 Выделение состояний процесса на основе фактов произошедших событий 44
2.4.4 Выделение состояний процесса на основе структуры модели ожидаемого поведения 45
2.4.5 Профиль наблюдения за функционированием процесса 49
2.5 Анализ актуализированной модели поведения 52
2.5.1 Базовый метод анализа актуализированной модели 52
2.5.2 Определение вероятностных и временных характеристик процесса 56
2.6 Выводы 59
3 Разработка методов и средств автоматизации синтеза системы функционального мониторинга СнК 61
3.1 Введение 61
3.2 Технология автоматизированного синтеза системы функционального мониторинга 61
3.3 Микроархитектура встроенного монитора с динамической актуализацией модели поведения 65
3.3.1 Обобщенная структура монитора 65
3.3.2 Блоки захвата и арбитража событий 67
3.3.3 Блок обработки событий 69
3.3.4 Надежность монитора 74
3.4 Синтез блоков мониторов из высокоуровневого описания модели ожидаемого поведения 74
3.5 Выводы 78
4 Практика встроенного функционального мониторинга СнК 80
4.1 Введение 80
4.2 Сферы применения метода 80
4.3 Система функционального мониторинга для СнК цифровой обработки быстрых радиосвязных сигналов 81
4.4 Система функционального мониторинга для унифицированной информационно-измерительной платформы СнК 84
4.5 Выводы 86
Заключение 87
Список сокращений и условных обозначений 89
Список литературы
