Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения
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.
Загрузки
Опубликован
Как цитировать
Выпуск
Раздел
Лицензия
Журнал MIST - «Modern Innovations, Systems and Technologies» / «Современные инновации, системы и технологии» публикует материалы на условиях лицензии CreativeCommons Attribution 4.0 International (CC BY 4.0), размещенной на официальном сайте некоммерческой корпорации Creative Commons:
This work is licensed under a Creative Commons Attribution 4.0 International License.
Это означает, что пользователи могут копировать и распространять материалы на любом носителе и в любом формате, адаптировать и преобразовывать тексты, использовать контент для любых целей, в том числе коммерческих. При этом должны соблюдаться условия использования — указание автора оригинального произведения и источника: следует указывать выходные данные статей, предоставлять ссылку на источник, а также указывать, какие изменения были внесены.