Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 2021

Ключевые слова: verification, onboard software, cross-platform, simulation environment, верификация, бортовое программное обеспечение, кроссплатформенность, имитационная среда моделирования

Аннотация: Представлен разработанный метод и инструментарий верификации и бортового программного обеспечения, гарантирующие его соответствие всем функциональным и нефункциональным требованиям в течение всего подтверждения установленным цикла жизни кроссплатформенного бортового программного обеспечения. Данный подход позволяет не только повысить отказоустойчивость программного обеспечения системы управления в процессе эксплуатации, но также позволяет собрать статистику работы программных компонент в процессе реального функционирования всех подсистем. Эта информация позволяет выявить возможные ситуации, при которых проявляются программные сбои, что позволяет разрабатывать более надежные программные компоненты в дальнейшем. Представлены результаты работы функции контроля версий бортового программного обеспечения в имитационной среде моделирования, описан процесс сбора статистики, обеспечивающий выявление сбойных версий. The developed method and tools for verification and confirmation of onboard software are presented, which guarantee its compliance with all established functional and non-functional requirements throughout the entire life cycle of cross-platform onboard software. This approach allows not only to increase the fault tolerance of the control system software during operation, but also allows collecting statistics on the operation of software components in the process of real functioning of all subsystems. This information allows you to identify possible situations in which software failures appear, which allows you to develop more reliable software components in the future. The results of the operation of the version control function of the onboard software in the simulation environment are presented. The process of collecting statistics for identifying faulty versions is described.

Журнал: Современные инновации, системы и технологии

Выпуск журнала: № 1

Номера страниц: 26-37

ISSN журнала: 27822826

Место издания: Красноярск

Издатель: ООО "Сибирский Научный Центр ДНИТ"

• Ковалев И.В. (Красноярский краевой Дом науки и техники Российского Союза научных и инженерных общественных объединений)
• Сарамуд М.В. (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева)
• Лосев В.В. (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева)
• Колташев А.А. (ОАО «Информационные спутниковые системы имени академика М.Ф. Решетнева»)

• РИНЦ (eLIBRARY.RU)