Анализ автоматизированных средств верификации систем авионики, применяемых при разработке современных гражданских самолётов

В работе проведён анализ существующих автоматизированных средств верификации систем авионики, применяемых при разработке современных гражданских самолётов. Рассмотрены основные представленные на рынке продукты, а также определены их достоинства и недостатки. По результатам проведённого анализа установлено, что перспективным направлением развития данного типа средств является обеспечение автоматизации тестирования визуальной и графической информации в рамках стендовых испытаний. Задача актуальна не только для авиационной промышленности, но также для любых технических объектов, использующих человеко-машинный интерфейс (космическая отрасль, автомобилестроение, судостроение и пр.)

1. Буздалов, Д. В. Инструментальные средства проектирования систем интегрированной модульной авионики / Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко [др.] // Труды Института системного программирования РАН. М. ИСП РАН, 2014. Т. 26, №1. С. 201-230.

2. Ивутин, А. Н. Основные подходы к верификации программного обеспечения реального времени / А. Н. Ивутин, Е. И. Дараган // Известия ТулГУ. Технические науки. Тула: Изд-во ТулГУ, 2011. №2. С. 563-567.

3. МАК КТ-178С. Квалификационные требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. М.: МАК, 2016. 106 с.

4. Черкашин, С. В. Универсальная система диагностирования бортового радиоэлектронного оборудования / С. В. Черкашин, В. В. Шишкин, Н. А. Долбня // Известия Самарского научного центра Российской академии наук. Самара: Издательство Самарского федерального исследовательского центра РАН, 2009. Т. 11, №3(2). С. 392-397.

5. Advalange. URL: https://advalange.ru/testing, свободный. (дата обращения: 10.10.2020).

6. IATA Safety Report 2019. 56th Edition. – Канада: Монреаль, IATA, 2020. 262 c.

7. ICAO Aviation Occurrence Categories. Definitions and Usage Notes. Канада: Монреаль, ICAO, 2011. 28 с.

8. LDRA Automating Software Verification, Requirements Traceability and Standards Compliance. URL: https://ldra.com/, свободный. (дата обращения: 10.10.2020).

9. Methods for Industrial Critical Systems // Proceedings of 16th International Workshop FMICS. Италия: Тренто, Springer, 2011. 261 с.

10. Software Engineering and Formal Methods / Proceedings of 12th International Conference SEFM. Франция: Гренобль, Springer, 2014. 394 с.

11. Top 20 Software Testing Companies in 2019. – URL: https://medium.com/@andy_dassan/top-software-testing-companies-in-2019-c418b24f69d0, свободный. (дата обращения: 10.10.2020).