Введение
ГЛАВА 1 Методология системного анализа при исследовании критичных информационных систем 20
1.1 Применение методологии системного анализа к исследованию и решению проблемы функциональной стабильности критичных информационных систем 21
1.2 Аксиоматика проблемной области 31
1.3 Границы проблемы функциональной стабильности критичных информационных систем 38
1.4 Функционально-структурная стратификация сложных систем с управлением 44
1.5 Обобщенная функционально-структурная модель критичных информационных систем 51
1.6 Постановка научной проблемы анализа функциональной стабильности критичных информационных систем 58
ГЛАВА 2 Научная концепция решения проблемы анализа функциональной стабильности критичных информационных систем 67
2.1 Показатели эффективности критичных информационных систем и критерии функциональной стабильности 68
2.2 Системная парадигма информационного взаимодействия 78
2.3 Общий анализ подходов к моделированию и исследованию свойств информационных систем 86
2.4 Факторы функциональной стабильности критичных информационных систем 92
2.5 Структура научной концепции решения проблемы анализа функциональной стабильности критичных информационных систем 107
ГЛАВА 3 Разработка теоретических положении по функциональной стабильности критичных информационных систем 114
3.1 Анализ принципов функциональной дестабилизации критичных информационных систем 116
3.2 Концепция функциональной стабильности критичных информационных систем 134
3.3 Кластерная FLS-модель информационной архитектуры 150
3.4 Метод формализации кластерных функционально-структурных ограничений 154
ГЛАВА 4 Основы теории модульно-кластерных сетей 165
4.1 Общие положения и структура научно-методического аппарата теории МК-сетей 166
4.2 Метод функционально-информационной модульной декомпозиции информационной архитектуры 169
4.3 Функционально-информационная модульная декомпозиции информационной архитектуры и процессов ее функционирования 187
4.4 Динамическая модель информационной архитектуры критичных информационных систем 194
4.5 Базовая каноническая модульно-кластерная модель информационной архитектуры 208
ГЛАВА 5 Методы построения и анализа модульно-кластерных сетей 222
5.1 Реализация методов построения и анализа МК-сетей на основе аппарата математической логики 224
5.2 Доказательство функциональной безопасности состояний информационной архитектуры 232
5.3 Реализация методов построения и анализа МК-сетей на основе бинарных FLS-матриц 237
5.4 Поиск функционально нестабильных состояний критичных информационных систем 251
ГЛАВА 6 Применение научно-методического аппарата анализа функциональной стабильности критичных информационных систем 268
6.1 Технология автоматизированного построения и анализа МК-моделей информационной архитектуры 268
6.2 Реализация технологии автоматизированного построения и анализа МК-моделей информационной архитектуры 277
6.3 Применение научно-методического аппарата для доказательства корректности реализации функционально-структурных ограничений 286
6.4 Области применения разработанного научно-методического аппарата теории МК-сетей 292
6.5 Анализ эффективности научно-методического аппарата модульно-кластерного анализа 297
Заключение 314
Список литературы
