Введение
Глава 1 . Задачи автоматизации проектирования высоконадежных вычислительных систем кластерной архитектуры с использованием технологий виртуализации 12
1.1 Особенности проектирования высоконадежных кластерных систем с использованием технологий виртуализации 12
1.2 Анализ развития технологий виртуализации 19
1.3 Виды программного обеспечения, использующего технологии виртуализации 30
1.4 Построения высоконадежных кластерных систем с использованием программного обеспечения виртуализации 34
1.5 Существующие проблемы при проектировании высоконадежных вычислительных систем с использованием виртуализации 56
1.6 Постановка задачи исследования 58
1.7 Выводы 61
Глава 2. Разработка моделей поддержки автоматизированного проектирования высоконадежных кластерных систем с использованием технологий виртуализации 62
2.1 Постановка задачи 62
2.2 Варианты проектных решений, обеспечивающих высокую отказоустойчивость и доступность на базе технологий виртуализации 63
2.3 Требования к проектируемым высоконадежным кластерным системам с использованием виртуализации на базе определенных проектных решений 78
2.4 Определение критериев эффективности 84
2.5 Разработка аналитических моделей 88
2.6 Выбор проектных решений 126
2.7 Выводы 139
Глава 3. Инструментальные (стендовые) средства поддержки проектирования высоконадежных кластеров с использованием технологий виртуализации 141
3.1 Постановка задачи 141
3.2 Описание стенда 141
3.3 Методики стендовых экспериментов 143
3.4 Выводы 148
Глава 4. Методы поддержки автоматизированного проектирования высоконадежных кластеров с использованием технологий виртуализации 150
4.1 Постановка задачи 150
4.2 Структура САПР 150
4.3 Последовательность автоматизированного проектирования 154
4.4 Методы автоматизированного проектирования 156
4.5 Выводы 163
Заключение 165
Список используемой литературы 167
Приложение А. Акты о внедрении


