Введение
1. Надежность отказоустойчивых вычислительных систем ... 10
1.1. Организация отказоустойчивости вычислительных систем 10
1.2. Методы анализа надежности вычислительных систем 20
Выводы 41
2. Функционально-структурный подход к созданию вероятностных моделей оценки показателей надежности отказоустойчивых микропроцессорных систем ... 43
2.1. Моделирование в задачах анализа надежности вычислительных систем 43
2.2. Функционально-структурная модель процессора 48
2.3. Функционально-структурная модель памяти 51
2.4. Функционально-структурная модель механизмов повышения отказоустойчивости 55
2.5. Модель вычислительного процесса 57
2.6. Модель отказоустойчивой микропроцессорной системы.. 63
2.7. Организация вычислительного эксперимента... 66
Выводы 70
3. Программная среда функционально-структурного моделирования ... 71
3.1. Назначение и функции программной среды функционально- структурного моделирования 71
3.2. Проектирование программной среды функционально-структурного моделирования 74
3.3. Реализация программной среды функционально-структурного моделирования 85
3.4. Верификация программной среды функционально-структурного моделирования 90
Выводы 93
4. Применение программной среды функционально-структурного моделирования в задачах анализа надежности отказоустойчивых микропроцессорных систем 95
4.1. Отказоустойчивые микропроцессорные системы с двунаправленным и однонаправленным голосованием 95
4.2. Отказоустойчивые микропроцессорные системы с различными методами повышения надежности памяти 104
Выводы 113
Заключение 115
