Тип публикации: диссертация
Год издания: 2018
Ключевые слова: надежность, АНАЛИЗ ОТКАЗОУСТОЙЧИВОСТИ, системы управления, системы реального времени, программная избыточность, среда исполнения
Аннотация: Изучены существующие модели отказоустойчивых систем управления (СУ), механизмы обеспечения надежности СУ с применением программной избыточности. Разработаны типовая структура мультиверсионной СУ на основе операционной системы реального времени и комбинированный селективный алгоритм выбора мультиверсионной модели повышения отказоустПоказать полностьюойчивости для реализации программного комплекса СУ с требуемыми характеристиками надежности. Алгоритм основан на модифицированной модели деревьев сбоев и предложенной модели расчета величины корректности. Предложены модификация существующих алгоритмов принятия решения в мультиверсионных системах, позволяющих повысить отказоустойчивость, имитационная среда моделирования мультиверсионного программного комплекса для тестирования и получения характеристик исследуемых моделей, предложенных модифицированных алгоритмов голосования, их сравнения в одинаковых условиях с классическими алгоритмами. Разработаны мультиверсионная среда исполнения реального времени для валидации предложенных моделей и алгоритмов и модель прогнозирования надежности на основе результатов тестирования программных модулей.