Введение
1 Анализ архитектур КБО, постановка задачи исследования 16
1.1 Анализ архитектур КБО, их исторического развития и взаимосвязей 16
1.1.1 Независимая архитектура КБО 16
1.1.2 Федеративная архитектура КБО 26
1.1.3 Интегральная модульная архитектура КБО 44
1.2 Анализ применяемых САПР при проектировании КБО 55
1.3 Постановка задачи исследования 64
1.4 Результаты и выводы 70
2 Формирование требований к процессу проектирования структуры функций КБО ИМА 72
2.1 Анализ нормативной документации регламентирующей типовой процесс проектирования КБО 72
2.2 Анализ типового процесса проектирования КБО 81
2.2.1 Модель типового процесса проектирования КБО и ее анализ 81
2.2.2 Анализ типового ТЗ на ОКР (СЧ ОКР) по разработке КБО ВС 86
2.2.3 Анализ процесса оценки безопасности КБО 95
2.3 Разработка модели процесса проектирования структуры функций КБО типа «черный ящик» 101
2.4 Интеграция модели процесса проектирования структуры функций в модель типового процесса проектирования КБО 101
2.5 Результаты и выводы 104
3 Разработка математического и алгоритмического обеспечения процесса автоматизированного проектирования структуры функций КБО ИМА 106
3.1 Математическая модель структуры функций КБО ИМА 106
3.2 Исследование структуры функций и анализ возможных методов решения 114
3.3 Разработка алгоритма автоматизированного проектирования структуры функций КБО ИМА 125
3.4 Результаты и выводы 134
4 Исследование процесса автоматизированного проектирования структуры функций КБО ИМА 135
4.1 Оценка результатов работы алгоритма 135
4.2 Реализация механизмов повышения отказобезопасности КБО на основе структуры функций 149
4.3 Возможные варианты реализации САПР по проектированию структуры функций 151
4.4 Результаты и выводы 158
Заключение 159
Список литературы 163
Приложение А 178
Приложение Б 181
Приложение В 185
Приложение Г 202
