Введение
ГЛАВА I. Автоматизация анализа структур сложных систем как срещство повышения надежности их функционирования 9
1.1. Постановка задачи автоматизации структурного анализа сложных систем 9
I.I.I.Основные положения, связанные с проектированием сложных систем 9
1.1.2. Постановка общей задачи надежностного проектирования систем 12
1.1.3. Обзор существующих систем автоматизации проектирования 16
1.1.4. Постановка задачи автоматизации декомпозиции сложных систем 22
1.2. Обзор и анализ методов оценки надежности сложных систем (АСУ и ПО) 24
1.3. Надежность программного обеспечения 42
1.4. Связь надежности и анализа сложных систем . 46
1.5. Постановка задачи структурной декомпозиции сложных систем на примере ПО 52
1.5.1. Обзор методов анализа сложных систем 52
1.5.2. Постановка задачи 58
Выводы по первой главе 62
ГЛАВА П. Математическая модель задачи структурной декомпозиции сложных систем (ПО) 64
2.1. Анализ методов описания программ 64
2.2. Агрегативный подход к описанию сложных систем .. 71
2.3. Алгебра операции декомпозиции DEC 81
2.4. Алгоритмы декомпозиции 95
Выводы по второй главе НО
ГЛАВА Ш. Программная реализация метода декомпозиции сложных систем 112
3.1. Общее описание системы автоматизации проектирования СДКМС 112
3.2. Блок "Декомпозитор" (DEC) 118
3.2.1. Структура блока DEC 118
3.2.2. Информационное обеспечение блока DEC 123
3.3. Программное обеспечение блока "Декомпозитор".. 126
3.4. Язык декомпозиции как подмножество языка схем систем L 148
3.5. Экспериментальная проверка алгоритмов декомпозиции на примере ПО 154
Выводы по третьей главе 172
Заключение Литература .
Приложение i 187
Приложение П 219
