КОНТРОЛЬ И БЕЗОПАСНОСТЬ ФУНКЦИОНИРОВАНИЯ ДУБЛИРОВАННЫХ КОМПЬЮТЕРНЫХ СИСТЕМ
Аннотация:
Предмет исследования. Исследована дублированная компьютерная система, каждый узел содержит средства оперативного и тестового контроля. Для повышения готовности системы к выполнению требуемых функций переход в режим тестирование допустим только для одного компьютерного узла. Кроме работоспособных и отказавших состояний системы,возможны ее опасные состояния, при которых имеются необнаруженные средствами контроля нарушения функционирования узлов. Определены оптимальные интервалы инициализации тестирования, обеспечивающих максимум вероятности готовности системы к безопасному выполнению функциональных запросов при минимизации простоев и задержек обслуживания. Метод исследования. Предлагаемый подход основывается на построении марковской модели, позволяющей определить вероятности состояний системы, а также влияние дисциплины и периодичности инициализации тестового контроля на готовность системы к безопасному функционированию. Основные результаты. Показано существование оптимальной периодичности тестового контроля, при которой достигается максимум вероятности готовности системы к безопасному обслуживанию запросов при минимизации задержек их пребывания в системе. Практическая значимость. Предложенные модели могут быть использованы при выборе дисциплин контроля и восстановления безопасного функционирования компьютерных систем.
Ключевые слова:
Постоянный URL
Статьи в номере
- ИСПОЛЬЗОВАНИЕ ФИЗИЧЕСКОГО ОБЪЕКТНО-ОРИЕНТИРОВАННОГО МОДЕЛИРОВАНИЯ ДЛЯ РАЗВИТИЯ ИНДИВИДУАЛИЗИРОВАННОГО ОБУЧЕНИЯ И ОРГАНИЗАЦИИ МИНИ-ИССЛЕДОВАНИЙ В КУРСАХ МЕХАНИКИ
- ВЗАИМОДЕЙСТВИЕ ФЕМТОСЕКУНДНОГО ЛАЗЕРНОГО ИЗЛУЧЕНИЯ С КОЖЕЙ: МАТЕМАТИЧЕСКАЯ МОДЕЛЬ
- ТЕХНОЛОГИЧЕСКИЕ ВОПРОСЫ ИЗГОТОВЛЕНИЯ КВАРЦЕВЫХ СВЕТОВОДОВ С ЦЕНТРАЛЬНЫМ ГАБАРИТНЫМ ДЕФЕКТОМ ГРАДИЕНТНОГО ПРОФИЛЯ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ ДЛЯ СЕНСОРОВ ВОЛОКОННО-ОПТИЧЕСКИХ ДАТЧИКОВ НА МАЛОМОДОВЫХ ЭФФЕКТАХ
- МЕТОД ПРОЕКТИРОВАНИЯ СЛОЖНЫХ ОБЪЕКТИВОВ ПО ЧАСТЯМ
- ИСПОЛЬЗОВАНИЕ АЛГОРИТМА «ИМИТАЦИИ ОТЖИГА» ДЛЯ ОПТИМИЗАЦИИ ПАРАМЕТРОВ ИСТОЧНИКА ОСВЕЩЕНИЯ ФОТОЛИТОГРАФИЧЕСКОЙ УСТАНОВКИ
- ФОТОМЕТР-КОЛОРИМЕТР НА ОСНОВЕ ИНТЕГРИРУЮЩЕЙ СФЕРЫ С ВНУТРЕННИМ ЭКРАНОМ И ОПТОЭЛЕКТРОННЫХ RGB-КОМПОНЕНТОВ
- ИЗМЕРИТЕЛЬ ЭНЕРГИИ ИМПУЛЬСОВ ЭКСИМЕРНОГО ЛАЗЕРА НА ОСНОВЕ ФОТОЭЛЕКТРИЧЕСКОГО ЭФФЕКТА ПЛЕНОК ОКСИДА ИНДИЯ-ОЛОВА
- РЕФРАКТОМЕТРИЧЕСКИЙ МЕТОД ИССЛЕДОВАНИЯ УРОВНЯ ПРОТЕИНЕМИИ И ЭЛЕКТРОЛИТНЫХ НАРУШЕНИЙ В СЫВОРОТКЕ КРОВИ БОЛЬНЫХ МНОЖЕСТВЕННОЙ МИЕЛОМОЙ
- ВЛИЯНИЕ СОБСТВЕННЫХ ВЕКТОРОВ НА ТРАЕКТОРИИ ДИСКРЕТНЫХ СИСТЕМ С ЗАДЕРЖКОЙ СИГНАЛА УПРАВЛЕНИЯ
- ИССЛЕДОВАНИЕ ВЛИЯНИЯ ВЫСОКОЧАСТОТНЫХ ЭЛЕКТРИЧЕСКИХ ПОЛЕЙ НА ЖИЗНЕДЕЯТЕЛЬНОСТЬ МИКРООРГАНИЗМОВ ПРИ РАЗЛИЧНОЙ ТЕМПЕРАТУРЕ
- ТЕПЛОФИЗИЧЕСКИЕ СВОЙСТВА ПОЛИМЕРНЫХ КОМПОЗИЦИОННЫХ МАТЕРИАЛОВ
- ОЦЕНКА ЕМКОСТИ НАКОПИТЕЛЕЙ ВЫСОКОНАГРУЖЕННЫХ СИСТЕМ С ПРИОРИТЕТАМИ
- СТОРОЖЕВЫЕ МЕХАНИЗМЫ ВО ВСТРАИВАЕМЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ
- ОСОБЕННОСТИ ФОРМИРОВАНИЯ ЭЛЕКТРОННОЙ СТРУКТУРЫ КОМПЛЕКСА В ПРИБОРОСТРОЕНИИ
- ОБЪЕКТНО-ПРОЦЕССНАЯ МОДЕЛЬ ДАННЫХ В УПРАВЛЯЮЩИХ ИНФОРМАЦИОННЫХ СИСТЕМАХ
- ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ ПРОЦЕССА ОХЛАЖДЕНИЯ МЕТАЛЛИЧЕСКОГО ЦИЛИНДРА ПОТОКОМ ГАЗОЖИДКОСТНОЙ СРЕДЫ, ДВИГАЮЩИМСЯ ГОРИЗОНТАЛЬНО В КОЛЬЦЕВОМ КАНАЛЕ
- АНАЛИЗ И ОЦЕНКА ФАКТОРОВ, ОПРЕДЕЛЯЮЩИХ ТОЧНОСТЬ РЕЗУЛЬТАТОВ КОМПЬЮТЕРНОГО МОДЕЛИРОВАНИЯ ЭКРАНИРУЮЩИХ СВОЙСТВ КОРПУСОВ УСТРОЙСТВ
- МОДЕЛИРОВАНИЕ ПОЖАРА ПАССАЖИРСКОГО ПОЕЗДА В ЖЕЛЕЗНОДОРОЖНОМ ТОННЕЛЕ
- ПОДДЕРЖКА ПРИНЯТИЯ РЕШЕНИЙ НА ОСНОВЕ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ
- МОДЕЛИРОВАНИЕ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ ЛИНЕЙНО УПРОЧНЯЮЩЕГОСЯ КОНУСНОГО ЭЛЕМЕНТА АМОРТИЗИРУЮЩЕГО УСТРОЙСТВА
- ИНТЕРАКТИВНЫЕ ЭЛЕКТРОННЫЕ ДИДАКТИЧЕСКИЕ СРЕДСТВА С КОГНИТИВНОЙ ВИЗУАЛИЗАЦИЕЙ
- СИСТЕМА НАВИГАЦИИ И УПРАВЛЕНИЯ ДВИЖЕНИЕМ МОБИЛЬНЫМ РОБОТОМ