Царев, Р. Ю. Аппаратно-программное обеспечение отказоустойчивых информационно-управляющих систем [] / Р. Ю. Царев ; рец.: С. В. Ченцов, А. И. Легалов ; Министерство сельского хозяйства Российской Федерации, ФГБОУ ВО "Красноярский государственный аграрный университет". - Красноярск : [б. и.], 2016. - 195 с. : рис. - Библиогр.: с. 183-195 (124 назв.). - ISBN 978-5-94617-376-6 : Б. ц. Содержание: АНАЛИЗ И СИНТЕЗ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .7-8 ПРОБЛЕМЫ СИНТЕЗА СЛОЖНЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .8-9 Задачи структурного построения сложных информационно-управляющих систем . - С .9-14 Агрегативно-декомпозиционный подход к формализации задач анализа и синтеза структуры информационно-управляющих систем . - С .14-21 Методология и языки имитационного моделирования . - С .21-35 Проблемы проектирования распределенных информационно-управляющих систем . - С .35-38 УПРАВЛЕНИЕ РАЗВИТИЕМ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .39-40 Модель планирования развития структуры информационно-управляющих систем . - С .40-46 КЛАСТЕРНЫЕ РЕШЕНИЯ ПОВЫШЕНИЯ НАДЕЖНОСТИ НА ЭТАПЕ РАЗВИТИЯ СТРУКТУРЫ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .46-47 Кластерные решения как способ повышения надежности . - С .47-50 Типы кластеров . - С .50-54 Уровни избыточности при организации катастрофоустойчивого кластера . - С .54-56 Сценарии отказов кластерной инфраструктуры . - С .56-61 ОПТИМИЗАЦИЯ УПРАВЛЕНИЯ РАЗВИТИЕМ КЛАСТЕРНОЙ СТРУКТУРЫ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .61 Система кластеров . - С .61-62 Кластер-Кворум . - С .62 Оптимизационная задача планирования развития структуры кластерной системы . - С .63-66 Реализация комплекса моделей управления развитием структуры информационно-управляющей системы . - С .66-68 Имитационное моделирование в среде GPSS . - С .69-71 Алгоритм работы с комплексом управления развитием кластерной структуры информационно-управляющей системы . - С .71-79 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .80 Программный компонент информационно-управляющих систем . - С .80-85 НАДЕЖНОСТЬ ФУНКЦИОНИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .85 Надежностная характеристика программного модуля . - С .85-90 Обеспечение надежности программ с помощью введения избыточности . - С .90-94 Мультиверсионная методология проектирования отказоустойчивого программного обеспечения информационно-управляющих систем . - С .94-99 МЕТОДЫ ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .100 ТРАДИЦИОННЫЕ МЕТОДЫ ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .100 Структура и алгоритмы программного обеспечения . - С .100-102 Обнаружение ошибок . - С .102-105 Обработка исключений . - С .105-106 Контрольные точки и рестарт . - С .106-107 Парные процессы . - С .107-108 Разнообразие данных . - С .108-110 Проблемы использования контрольных точек . - С .110-112 Отказоустойчивость в операционных системах . - С .113-115 ПРИМЕНЕНИЕ МУЛЬТИВЕРСИЙ ДЛЯ ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .115 Блоки восстановления . - С .116-117 Мультиверсионное программирование . - С .117-118 Мультиверсионное программирование с самоконтролем . - С .118-119 Блоки восстановления с согласованием . - С .120-121 ПРОБЛЕМЫ МУЛЬТИВЕРСИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .121 Разработка мультиверсионного программного обеспечения . - С .121-123 Алгоритмы выбора . - С .123-128 МОДУЛЬНЫЕ ПРИНЦИПЫ ПОСТРОЕНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .129 ТРЕБОВАНИЯ, ПРЕДЪЯВЛЯЕМЫЕ К МОДУЛЯМ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .129 Динамическое подключение модулей . - С .129 Инкапсуляция . - С .129-131 Защита модуля . - С .131-132 Независимость от языка . - С .132-133 Объектно-ориентированные методы проектирования модулей программного обеспечения . - С .133-135 ПРОБЛЕМЫ РАЗРАБОТКИ МОДУЛЕЙ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ИСПОЛЬЗОВАНИЕМ ОБЪЕКТНО-ОРИЕНТИРОВАННЫХ МЕТОДОВ ПРОЕКТИРОВАНИЯ . - С .135-136 Проблемы распространения программного обеспечения . - С .136-139 Проблемы стандартизации на двоичном уровне . - С .140-141 Проблемы инкапсуляции . - С .141-144 ТЕХНОЛОГИИ КОМПОНЕНТНОГО ПРОЕКТИРОВАНИЯ . - С .144-147 Компонентная объектная модель (Component Object Model, COM) . - С .147-154 Общая архитектура брокеров объектных запросов (Common Object Request Broker Architecture, CORBA) . - С .154-161 МОДЕЛИ И АЛГОРИТМЫ ОЦЕНКИ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ . - С .162 Модель анализа на этапе дизайна архитектуры программного обеспечения . - С .162-166 Анализ надежности программного обеспечения на фазе кодирования . - С .166-167 Анализ надежности программного обеспечения на фазе тестирования системы . - С .167-168 ОПЕРАЦИОННЫЕ ПРОФИЛИ ТЕСТИРОВАНИЯ КОМПОНЕНТ . - С .168-169 Ведение таблиц параметров профилей . - С .170-171 Пример применения операционных профилей . - С .171-172 МОДЕЛИ НАДЕЖНОСТИ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .172 ФОРМИРОВАНИЕ АРХИТЕКТУРЫ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ . - С .172-173 Модель оценки надежности объектно-ориентированного программного обеспечения . - С .173-175 Кодирование и тестирование объектно-ориентированного программного обеспечения . - С .175-176 Модель оценки транзакционной надежности объектно-ориентированного программного обеспечения . - С .176-179 Пример расчета транзакционной надежности . - С .179-180
Кл.слова (ненормированные): ИНФОРМАЦИОННЫЕ СИСТЕМЫ -- ИННОВАЦИИ -- НАУЧНЫЕ РАЗРАБОТКИ -- ПРОЕКТИРОВАНИЕ -- СИСТЕМЫ УПРАВЛЕНИЯ МАШИН -- АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ -- отказоустойчивость -- МОДЕЛИ -- ИМИТАЦИОННЫЕ МОДЕЛИ -- МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- тестирование -- НАДЕЖНОСТЬ -- ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ -- ОЦЕНКА -- МЕТОДЫ ОЦЕНКИ -- алгоритмы -- кластерная инфраструктура -- модули Аннотация: Монография посвящена методам обеспечения отказоустойчивости информационно-управляющих систем. Рассмотрены различные подходы к созданию высоконадежной программной и аппаратной структуры информационно-управляющих систем. Приведены модели и алгоритмы оценки надежности программного обеспечения информационно-управляющих систем. Доп.точки доступа: Ченцов, С. В. \рец.\; Легалов, А. И. \рец.\; Министерство сельского хозяйства Российской Федерации; ФГБОУ ВО "Красноярский государственный аграрный университет" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |