Алгоритм парирования сбоев в бортовых цифровых вычислительных комплексах со структурно-временной избыточностью

Автор: Д.С. Викторов, Е.В. Самоволина

Журнал: Космические аппараты и технологии.

Рубрика: Космическое приборостроение

Статья в выпуске: 1, 2018 года.

Бесплатный доступ

В настоящее время проблема обеспечения надежного функционирования бортовых цифровых вычислительных комплексов становится всё актуальнее. При проектировании бортовых цифровых вычислительных комплексов космических аппаратов необходимо обеспечить высокую производительность, минимальные массогабаритные и энергетические характеристики, наличие средств диагностики и парирования последствий отказов. Кроме того, к бортовым цифровым вычислительным комплексам космических аппаратов предъявляются такие требования, как высокая суммарная надежность системы, минимальные показатели времени обнаружения и парирования отказов. Для повышения надёжности управляющих систем существует много способов, основным из которых является структурное резервирование. Применение резервирования даёт возможность на основе введения избыточности, путём голосования выявить отказавшую систему и исключить её из конфигурации. Однако в бортовых цифровых вычислительных комплексах интенсивность отказов на порядок ниже, чем интенсивность сбоев. Это может привести к тому, что сбой, воспринятый системой как отказ, послужит причиной выведения из конфигурации исправного канала. Путём возвращения программы на предыдущую точку восстановления и прохождения фрагмента программы повторно появляется возможность классифицировать тип неисправности сбой/отказ. При данном подходе реконфигурация системы произойдёт только после безуспешных попыток пройти фрагмент программы n раз (как правило, в технике применяется повтор 7–8 раз). Целью работы является разработка алгоритма парирования сбоев в бортовых вычислительных системах с трёхканальной архитектурой, который предполагает комплексное применение тестового контроля и точек восстановления с различным доминированием в зависимости от количества исправных каналов.

Еще

Тестовый контроль, точка восстановления, бортовой цифровой вычислительный комплекс

Короткий адрес: https://readera.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 с.
Еще
Статья