Алгоритм парирования сбоев в бортовых цифровых вычислительных комплексах со структурно-временной избыточностью
Автор: Д.С. Викторов, Е.В. Самоволина
Журнал: Космические аппараты и технологии.
Рубрика: Космическое приборостроение
Статья в выпуске: 1, 2018 года.
Бесплатный доступ
В настоящее время проблема обеспечения надежного функционирования бортовых цифровых вычислительных комплексов становится всё актуальнее. При проектировании бортовых цифровых вычислительных комплексов космических аппаратов необходимо обеспечить высокую производительность, минимальные массогабаритные и энергетические характеристики, наличие средств диагностики и парирования последствий отказов. Кроме того, к бортовым цифровым вычислительным комплексам космических аппаратов предъявляются такие требования, как высокая суммарная надежность системы, минимальные показатели времени обнаружения и парирования отказов. Для повышения надёжности управляющих систем существует много способов, основным из которых является структурное резервирование. Применение резервирования даёт возможность на основе введения избыточности, путём голосования выявить отказавшую систему и исключить её из конфигурации. Однако в бортовых цифровых вычислительных комплексах интенсивность отказов на порядок ниже, чем интенсивность сбоев. Это может привести к тому, что сбой, воспринятый системой как отказ, послужит причиной выведения из конфигурации исправного канала. Путём возвращения программы на предыдущую точку восстановления и прохождения фрагмента программы повторно появляется возможность классифицировать тип неисправности сбой/отказ. При данном подходе реконфигурация системы произойдёт только после безуспешных попыток пройти фрагмент программы n раз (как правило, в технике применяется повтор 7–8 раз). Целью работы является разработка алгоритма парирования сбоев в бортовых вычислительных системах с трёхканальной архитектурой, который предполагает комплексное применение тестового контроля и точек восстановления с различным доминированием в зависимости от количества исправных каналов.
Тестовый контроль, точка восстановления, бортовой цифровой вычислительный комплекс
Короткий адрес: https://sciup.org/14114752
IDR: 14114752 | DOI: 10.26732/2618-7957-2018-1-22-29
Список литературы Алгоритм парирования сбоев в бортовых цифровых вычислительных комплексах со структурно-временной избыточностью
- Kafka P. How Safe Is Safe Enough? / Kafka P.// Proceeding of 10th European Conference on Safety and Reliability, Munich, Germany, 13–17 September, 1999. Vol. 1. P. 385–390.
- Харченко В. С. Модели и свойства многоальтернативных отказоустойчивых систем // Автоматика и телемеханика. 1992. № 12. C. 140–147.
- Харченко В. С., Литвиненко В. Г., Терещенков С. В., Мельников В. А. Обеспечение устойчивости управляющих вычислительных систем к физическим дефектам и дефектам программирования программно-аппаратных средств // Зарубежная радиоэлектроника. 1992. № 6. C. 18–35.
- Доманицкий С. М. Построение надежных логических устройств. М. : Энергия, 1971. 212 с.
- Черкесов Г. Н. Надёжность программно-аппаратных комплексов. СПб. : Питер, 2004. 472 с.
- Разыграев А. П. Основы управления полетом космических аппаратов : учеб. пособие для втузов. 2-е изд., перераб. и доп. М. : Машиностроение, 1990. 480 с.
- Микрин Е. А. Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения. М. : Изд-во МГТУ им. Н. Э. Баумана, 2003. 336 с.
- Красовский П. А. Метрология космических навигационных спутниковых систем : монография. Менделеево : ФГУП «ВНИИФТРИ», 2009. 216 с.
- Основы теории полета космических аппаратов / под ред. Г. С. Нариманова, М. К. Тихонравова. М. : Машиностроение, 1972. 608 с.
- Космический ракетный комплекс «Зенит» глазами его создателей / под ред. В. Н. Соловьева [и др.]. М. : МАИ, 2003. 216 с.
