Герт-анализ мультиверсионных программных архитектур информационно-управляющих систем

Содержание
СОДЕРЖАНИЕ.
ВВЕДЕНИЕ.
1. ПРОБЛЕМЫ ОЦЕНКИ ВЕРОЯТНОСТНОВРЕМЕННЫХ ХАРАКТЕРИСТИК ВЫСОКОНАДЕЖНЫХ ПРОГРАММНОИНФОРМАЦИОННЫХ СИСТЕМ
1.1. Надежностная характеристика трограммного модуля
1.2. Обеспечение надежности программ с помощью введения избыточности
1.3. Мультиверсионное программирование
1.4. Моделирование при помощи сетей Петри и их расширений.
1.5. Марковские цепи и стохастические сети
1.6. Различные подходы к оценке вероятностновременных характеристик
информационно управляющих систем
1.7. Выводы.
2. МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СТОХАСТИЧЕСКОЙ ГЕРТСЕТИ.
2.1. Математическая модель ГЕРТсети
2.1.1. Основные термины и обозначения.
2.1.2. Стохастическая ГВРТсеть.
2.1.3. Структурные ограничения ГЕРТсети
2.1.4. Методы расчета ГЕРТсети.
2.2. Методика представления мультиверсио шого программного обеспечения в
виде ГЕРТсети
2.3. Алгоритм расчета ГЕРТсети описывающей мультиверсионные архитектуры
программного обеспечения
2.4. Выводы.
3. МОДЕЛИ ГЕРТСЕТЕЙ, ОПИСЫВАЮЩИЕ РАЗЛИЧНЫЕ СПОСОБЫ ПРИМЕНЕНИЯ МЕТОДОЛОГИИ МУЛЬТИВЕРСИЙ.
3.1. Необходимое и достаточное условие фу кцио ирования
мультиверсионного модуля
3.2. Применения методологии мультиверсий в виде базовых ГЕРТсетевых
МОДЕЛЕЙ.
3.2.1. ЫВЕРСИО П ЮЕ ПРОГРАММИРОВАНИЕ
3.2.2. Блоки ВОССТАНОВЛЕНИЯ
3.2.3. 1МВБРСИШОЕ ПРОГРАММИРОВАНИЕ С САМОКОНТРОЛЕМ
3.2.4. М
ВЕРСИОННОЕ ПРОГРАММИРОВАНИЕ С САМОКОНТРОЛЕМ ИСПОЛЬЗУЮЩЕЕ СРАВНЕНИЕ
3.2.5. БЛОКИ ВОССТАНОВЛЕНИЯ С СОГЛАСОВАНИЕМ
3.3. Выводы
4. АНАЛИЗ ВЕРОЯТНОСТНОВРЕМЕННЫХ ХАРАКТЕРИСТИК МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРИ ПОМОЩИ ГЕРТСЕТЕЙ, С ИСПОЛЬЗОВАНИЕМ СРЕДЫ ПРОВЕДЕНИЯ ИССЛЕДОВАНИЙ СЕИТИЕТООНК.
4.1. СРЕДА ПРОВЕДЕНИЯ ИССЛЕДОВАНИЙ ОЕКТЫЕТУ1К.
4.2. А1 ЗАЛИЗ ВЕРОЯТНОСТНОВРЕМЕННЫХ ХАРАКТЕРИСТИК МУЛЬТИВЕРСИОННЫХ АРХИТЕКТУР ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРИ ПОМОЩИ ГЕРТСЕТЕЙ
4.2.1. ГЕРТСЕТИ МОДЕЛИРУЮЩИЕ РЕЖИМЫ ЗАПУСКА ЗАДАЧИ С РЕЗЕРВНЫМ КОПИРОВАНИЕМ И БЕЗ НЕГО
4.2.2. Результаты.
4.3. Выводы.
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ