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

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

doi:10.47813/2782-2818-2021-1-2-22-33

Авторы

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

DOI:

https://doi.org/10.47813/2782-2818-2021-1-2-22-33

Ключевые слова:

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

Аннотация

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

Библиографические ссылки

Курниц, А. FreeRTOS. Взгляд изнутри. Алгоритм работы планировщика. Часть 1 / А. Курниц // Компоненты и технологии. – 2013. – № 5(142). – С. 114-122.

Курниц, А. FreeRTOS. Взгляд изнутри. Алгоритм работы планировщика. Часть 2 / А. Курниц // Компоненты и технологии. – 2013. – № 6 (143). – С. 89-94.

Курниц, А. FreeRTOS — операционная система для микроконтроллеров / А. Курниц // Компоненты и технологии. – 2011. – № 2(115). – С. 96-100.

Курниц, А. FreeRTOS — операционная система для микроконтроллеров / А. Курниц // Компоненты и технологии. – 2011. – № 3(116). – С. 109-114.

Курниц, А. FreeRTOS — операционная система для микроконтроллеров / А. Курниц // Компоненты и технологии. – 2011. – № 7(120). – С. 23-32.

Курниц, А. FreeRTOS — операционная система для микроконтроллеров / А. Курниц // Компоненты и технологии. – 2011. – № 10(123). – С. 93-100.

Курниц, А. FreeRTOS — операционная система для микроконтроллеров / А. Курниц // Компоненты и технологии. – 2011. – № 11(124). – С. 99-108.

Avizienis, A. The N-Version Approach to Fault - Tolerant Software / A. Avizienis // IEEE Transactions on Software Engineering. – December 1985. – № SE-11. – № 12. –P. 1491-1501.

Gersting, J.A. Comparison of Voting Algorithms for N-Version Programming / J.A. Gersting // Comparison of Voting Algorithms for N-Version Programming, Proceedings of the 24th Annual Hawaii International Conference on System Sciences. – 1991. – № II. – P. 253– 262. Reprinted in Fault-Tolerant Software Systems: Techniques and Applications, Hoang Pham (ed.), IEEE Computer Society Press. – 1992. – P. 62-71.

Нечаева, К.О. Реализация разнообразия при разработке мультиверсионного программного обеспечения / К.О. Нечаева // В сборнике: Информационно-телекоммуникационные системы и технологии. Материалы Всероссийской научно-практической конференции. – 2017. – С. 321-323.

Михалев, А.С. Современные технологии реализации мультиверсионного программного обеспечения / А.С. Михалев, А.Н. Исаев, К.А. Носарев // Новая наука: от идеи к результату. – 2016. – № 12-3. – С. 129-133.