Суминов К.А. Метод обеспечения живучести бортовых вычислительных систем робототехнических комплексов за счет использования многоверсионного программирования

Диссертация на соискание ученой степени кандидата технических наук:
2.3.2. Вычислительные системы и их элементы. – А.О. Научно-исследовательский центр «Строительство». Научно-исследовательский, проектно-изыскательский и конструкторско-технологический институт оснований и подземных сооружений имени Н.М. Герсеванова. Москва, 2025 – 185 с.
Научный руководитель: кандидат технических наук Бочаров Н.А.Цель исследования. Обеспечение живучести БВС РТК за счет использования многоверсионного программирования.Введение.
Исследование задачи обеспечения живучести БВС РТК.
Современные РТК, их особенности и задачи.
Анализ современных СУ РТК.
Методы обеспечения живучести РТК.
Постановка задачи диссертационного исследования.
Допущения и ограничения.
Разработка метода обеспечения живучести БВС РТК за счет использования многоверсионного программирования.
Разработка метода формирования многоверсионных библиотек функциональных программ БВС РТК.
Разработка метода выбора рационального состава ФПО БВС РТК в экстремальных условиях.
Разработка метода обеспечения живучести БВС РТК за счет использования многоверсионного программирования.
Разработка программного комплекса для обеспечения живучести БВС РТК за счет использования многоверсионного программирования.
Программная реализация метода формирования многоверсионных библиотек функциональных программ БВС РТК.
Программная реализация метода выбора рационального состава ФПО БВС РТК в экстремальных условиях.
Программная реализация метода обеспечения живучести БВС РТК за счет использования многоверсионного программирования.
Экспериментальные исследования метода повышения живучести РТК с использованием реконфигурации БВС в процессе функционирования РТК.
Постановка задачи экспериментального исследования.
Разработка метода оценки изменения живучести БВС РТК.
Проведение экспериментального исследования.
Оценка изменения живучести РТК.
Оценка результатов.
Заключение.
Список сокращений и условных обозначений.
Список Литературы.
Приложения.