Библиографическое описание:Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения : научное издание / И. В. Ковалев [и др.]. - Текст : непосредственный // Современные инновации, системы и технологии. - 2021. - № 1. - С. 26-37. - ISSN 2782-2826. - ISSN 2782-2818.
Аннотация:Представлен разработанный метод и инструментарий верификации и бортового программного обеспечения, гарантирующие его соответствие всем функциональным и нефункциональным требованиям в течение всего подтверждения установленным цикла жизни кроссплатформенного бортового программного обеспечения. Данный подход позволяет не только повысить отказоустойчивость программного обеспечения системы управления в процессе эксплуатации, но также позволяет собрать статистику работы программных компонент в процессе реального функционирования всех подсистем. Эта информация позволяет выявить возможные ситуации, при которых проявляются программные сбои, что позволяет разрабатывать более надежные программные компоненты в дальнейшем. Представлены результаты работы функции контроля версий бортового программного обеспечения в имитационной среде моделирования, описан процесс сбора статистики, обеспечивающий выявление сбойных версий.
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
Держатель оригинала документа:Красноярский государственный аграрный университет, Красноярский краевой Дом науки и техники Российского Союза научных и инженерных общественных объединений, ОАО «Информационные спутниковые системы имени академика М.Ф. Решетнева», Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева, Сибирский федеральный университет
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки
