СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. ПРОБЛЕМА ПРОЕКТИРОВАНИЯ
ВЫСОКОНАДЕЖНЫХ СИСТЕМ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
1.1. Программная составляющая критичных по надежности систем управления.
1.2. Проектирование сложных программных средств.
1.2.1. Жизненный цикл программных средств.
1.2.2. Этапы проектирования сложных программных
средств
1.2.3. Комгшексирование программ
1.3. Надежность функционирования комплексов программ
1.3.1. Надежностная характеристика программного модуля
1.3.2. Обеспечение надежности программ с помощью введения избыточности.
1.4. Мультиверсиониое программирование как методология проектирования отказоустойчивого программного обеспечения.
ГЛАВА 2. ТЕОРЕТИЧЕСКОЕ ИССЛЕДОВАНИЕ
ОПТИМИЗАЦИОННЫХ МОДЕЛЕЙ
2.1. Оптимизационные модели мультиверсионного
программирования критичных по надежности систем управления
2.1.1. Модель с последовательной организацией программных модулей.
2.1.2. Модель с последовательнопараллельной организацией программных модулей
2.2. Свойства пространства булевых переменных.
2.3. Алгебра подкубов на множестве булевых переменных.
2.4. Программа визуального исследования свойств пространства булевых переменных.
2.4.1. Основные сведения
2.4.2. Обзор интерфейса пользователя
2.5. Свойства оптимизационных моделей.
ГЛАВА 3. МЕТОДЫ И АЛГОРИТМЫ РЕАЛИЗАЦИИ
ОПТИМИЗАЦИОННЫХ МОДЕЛЕЙ
3.1. Принципы построения оптимизационных алгоритмов.
3.2. Регулярные алгоритмы оптимизации
3.2.1. Алгоритмы неявного полного перебора.
3.2.2. Алгоритмы схемы метода ветвей и границ
3.3. Алгоритмы случайного поиска.
3.3.1. Модификации алгоритма случайного поиска с адаптацией
3.3.2. Алгоритм случайного поиска граничных точек
3.4. Экспериментальное сравнение эффективности построенных алгоритмов.
Выводы.
ГЛАВА 4. ПРОГРАММНЫЕ СРЕДСТВА ФОРМИРОВАНИЯ МУЛЬТИВЕРСЙОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.
4.1. Основные сведения.
4.2. Программная реализация процедур поиска
4.3. Графический интерфейс пользователя пакета решения задач формирования мультиверсионного программного обеспечения
Выводы.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА
- Київ+380960830922