Содержание
- Введение в теорию надежности 1
- Методы обеспечения надежности на аппаратном уровне 2
- Методы обеспечения надежности на программном уровне 3
- Формальные методы верификации 4
- Анализ рисков и уязвимостей 5
- Разработка прототипа системы с повышенной надежностью 6
- Тестирование и анализ результатов 7
- Перспективы развития и будущие исследования 8
- Заключение 9
- Список литературы 10