Год издания: 2016
Аннотация: Задача управления автономными беспилотными объектами (космические аппараты, включая малые космические аппараты, CubeSat, нано-, пикоспутники, дроны, квадрокоптеры; наземный беспилотный транспорт) сопряжена с рядом функций: обеспечение телеметрии; выработка управляющих воздействий; поддержание автономности, в том числе энергетическоПоказать полностьюй, ресурсной и функциональной; которая, в свою очередь, предъявляет ряд повышенных требований к отказоустойчивости объекта, а также способности выполнять возложенные на него функции максимально длительный эксплуатационный период. Вопрос повышения отказоустойчивости объектов данного класса выходит за границы традиционной концепции «отказоустойчивых вычислений», основанной на введении аппаратной избыточности в систему, например, ввиду весовых ограничений в случае орбитальных объектов. Таким образом, фокус исследований смещается в сторону программного обеспечения и программных отказов, а именно в применение методологии мультиверсионного программирования с целью развития процедур проектирования отказоустойчивого программного комплекса систем управления автономными беспилотными объектами. Конечный результат – определение теоретических и практических механизмов выбора мультиверсионной модели, отвечающей требованиям целевой задачи, а также способа мультиверсионного голосования еще на этапе проектирования и моделирования системы управления, как элемента бортовой аппаратуры автономных беспилотных объектов, с учетом ее назначения и особенностей функционирования.