Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения

Автор: И.В. Ковалев, M.В. Сарамуд, В.В. Лосев, А.А. Колташев

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

Рубрика: Управление, вычислительная техника и информатика

Статья в выпуске: 1 (2), 2021 года.

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

Представлен разработанный метод и инструментарий верификации и подтверждения бортового программного обеспечения, гарантирующие его соответствие всем установленным функциональным и нефункциональным требованиям в течение всего цикла жизни кроссплатформенного бортового программного обеспечения. Данный подход позволяет не только повысить отказоустойчивость программного обеспечения системы управления в процессе эксплуатации, но также позволяет собрать статистику работы программных компонент в процессе реального функционирования всех подсистем. Эта информация позволяет выявить возможные ситуации, при которых проявляются программные сбои, что позволяет разрабатывать более надежные программные компоненты в дальнейшем. Представлены результаты работы функции контроля версий бортового программного обеспечения в имитационной среде моделирования, описан процесс сбора статистики, обеспечивающий выявление сбойных версий.

Еще

Верификация, бортовое программное обеспечение, кроссплатформенность, имитационная среда моделирования

Короткий адрес: https://sciup.org/14121892

IDR: 14121892   |   DOI: 10.47813/2782-2818-2021-1-2-22-33

Статья