creexpCrede Experto: транспорт, общество, образование, языкCrede Experto: transport, society, education, language2312-1327Иркутский филиал ФГБОУ ВО «МГТУ ГА»10.51955/2312-1327_2021_1_30creexp-318Research ArticleАВИОНИКА, АВИАЦИОННЫЕ ЭЛЕКТРОСИСТЕМЫ, ПИЛОТАЖНО НАВИГАЦИОННЫЕ КОМПЛЕКСЫ И МЕТОДЫ ИХ ЭКСПЛУАТАЦИИAvionics, aircraft electrical systems, aircraft navigation complexes and methods for their exploitationАнализ автоматизированных средств верификации систем авионики, применяемых при разработке современных гражданских самолётовAnalysis of avionics automation verification means used in the modern civil aircraft developmenthttps://orcid.org/0000-0002-2977-0530ДяченкоСергей АлександровичDiachenkoSergei A.

аспирант, очное отделение, 3 курс, М7О-306А-18

инженер-конструктор 1 категории

Moscow Aviation Institute (National Research University), 4, Volokolamskoe shosse,Integration Center branch of the Irkut Corporation, Leningradskiy prospect, 68, Moscow, 125993

dyachenkosergey33@yandex.ruhttps://orcid.org/0000-0001-6582-0614СавельевАртём СергеевичSavelevArtem S.

аспирант, очное отделение, 3 курс, М7О-306А-18

ведущий специалист по оценке безопасности

PhD student1, safety assessment leading specialist

artemsaveliev@inbox.ruФедеральное государственное бюджетное образовательное учреждение высшего образования «Московский авиационный институт (национальный исследовательский университет)», Волоколамское ш., 4, Москва, 125993 Филиал ПАО «Корпорация «Иркут» «Центр комплексирования», Ленинградский проспект, дом 68, Москва, 125993PhD student1, leading specialistФедеральное государственное бюджетное образовательное учреждение высшего образования «Московский авиационный институт (национальный исследовательский университет)», Волоколамское ш., 4, Москва, 125993 Общество с ограниченной ответственностью «Лаборатория безопасных систем»Moscow Aviation Institute (National Research University), 4, Volokolamskoe shosse, Advalange, Moscow, 125993202130062026013036Copyright © Дяченко С.А., Савельев А.С., 20262026Дяченко С.А., Савельев А.С.Diachenko S.A., Savelev A.S.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ce.if-mstuca.ru/jour/article/view/318

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

The paper describes the analysis results of the existing automated means used in civil aircraft avionics verification. The main solutions on the market and their advantages, disadvantages are considered. Based on the analysis results, it is found that a promising direction in this type of means development is to provide testing automation of graphic and aural information within the hardware-in-loop verification (including bench tests). The task is relevant not only for the aviation industry, but also for any technical objects using a human-machine interface (space industry, automotive, shipbuilding, etc.)

анализавтоматизацияверификацияпрограммное обеспечениегражданский самолётавионикасистема автоматизированного проектированиябезопасность полетаanalysisautomationverificationsoftwarecivil aircraftavionicscomputer-aided design systemflight safetyИсследование выполнено при финансовой поддержке Российского фонда фундаментальных исследований (РФФИ) в рамках научного проекта №20-31-90028 «Применение модельно-ориентированного подхода к оценке безопасности гражданских воздушных судов на примере комплекса бортового оборудования», выполняемого в Федеральном государственном бюджетном образовательном учреждении высшего образования «Московский авиационный институт (национальный исследовательский университет)». Руководитель проекта – кандидат технических наук, доцент Е. С. НеретинReferencesБуздалов, Д. В. Инструментальные средства проектирования систем интегрированной модульной авионики / Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко [др.] // Труды Института системного программирования РАН. М. ИСП РАН, 2014. Т. 26, №1. С. 201-230.Advalange [Online]. Accessed: Aug. 14 2020. Available: https://advalange.ru/testing (date of the request: 10.10.2020). (In English).Ивутин, А. Н. Основные подходы к верификации программного обеспечения реального времени / А. Н. Ивутин, Е. И. Дараган // Известия ТулГУ. Технические науки. Тула: Изд-во ТулГУ, 2011. №2. С. 563-567.Buzdalov, D. V. The tools of integrated modular avionics systems design (In Russian) / D. V. Buzdalov, Zelenov S. V., Kornikhin E. V., Petrenko A. K., et al. // Proc. of the System Programming Institute of Russian Academy of Sciences. – Moscow: SPI RAS Publishing, 2014. – Vol. №26, №1. – pp. 201-230. (In Russian).МАК КТ-178С. Квалификационные требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. М.: МАК, 2016. 106 с.Cherkashin, S. V. Universal diagnostic system for onboard radio-electronic equipment (In Russian) / S. V. Cherkashin, Shishkin V. V., Dolbnya N. A. // Proc. of the Samara Scientific Center of Russian Academy of Sciences. Samara: SSC RAS Publishing, 2009. – Vol. 11, №3. – pp. 392-397. (In Russian).Черкашин, С. В. Универсальная система диагностирования бортового радиоэлектронного оборудования / С. В. Черкашин, В. В. Шишкин, Н. А. Долбня // Известия Самарского научного центра Российской академии наук. Самара: Издательство Самарского федерального исследовательского центра РАН, 2009. Т. 11, №3(2). С. 392-397.IATA Safety Report 2019. 56th Edition. – Canada: Montreal, IATA, 2020. – p. 262. (In English).Advalange. URL: https://advalange.ru/testing, свободный. (дата обращения: 10.10.2020).ICAO Aviation Occurrence Categories. Definitions and Usage Notes. – Canada: Montreal, ICAO, 2011. – p. 28. (In English).IATA Safety Report 2019. 56th Edition. – Канада: Монреаль, IATA, 2020. 262 c.Ivutin, A. N. The main approaches to real-time software verification (In Russian) / A. N. Ivutin, Daragan E. I. // Technical Science Proc. of Tula State University. – Tula: TSU Publishing, 2011. – №2. – pp. 563-567. (In Russian).ICAO Aviation Occurrence Categories. Definitions and Usage Notes. Канада: Монреаль, ICAO, 2011. 28 с.КТ-178С Software Considerations in Airborne Systems and Equipment Certification (In Russian). – Moscow: Interstate Aviation Committee, 2016. – p. 106.LDRA Automating Software Verification, Requirements Traceability and Standards Compliance. URL: https://ldra.com/, свободный. (дата обращения: 10.10.2020).LDRA Automating Software Verification, Requirements Traceability and Standards Compliance [Online]. Accessed: Aug. 14 2020. Available: https://ldra.com (date of the request: 10.10.2020). (In English).Methods for Industrial Critical Systems // Proceedings of 16th International Workshop FMICS. Италия: Тренто, Springer, 2011. 261 с.Methods for Industrial Critical Systems // Proceedings of 16th International Workshop FMICS. – Italy: Trento, Springer, 2011. – 261 p. (In English).Software Engineering and Formal Methods / Proceedings of 12th International Conference SEFM. Франция: Гренобль, Springer, 2014. 394 с.Software Engineering and Formal Methods / Proceedings of 12th International Conference SEFM. – France: Grenoble, Springer, 2014. – 394 p. (In English).Top 20 Software Testing Companies in 2019. – URL: https://medium.com/@andy_dassan/top-software-testing-companies-in-2019-c418b24f69d0, свободный. (дата обращения: 10.10.2020).Top 20 Software Testing Companies in 2019 [Online]. Accessed: Aug. 14 2020. Available: https://medium.com/@andy_dassan/top-software-testing-companies-in-2019-c418b24f69d0 (date of the request: 10.10.2020). (In English)

The authors declare that there are no conflicts of interest present.