Analysis of avionics automation verification means used in the modern civil aircraft development
https://doi.org/10.51955/2312-1327_2021_1_30
Abstract
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.)
About the Authors
Sergei A. Diachenko
PhD student1, leading specialist
Russian Federation
Russian Federation
Moscow Aviation Institute (National Research University), 4, Volokolamskoe shosse,
Integration Center branch of the Irkut Corporation, Leningradskiy prospect, 68, Moscow, 125993
Artem S. Savelev
Moscow Aviation Institute (National Research University), 4, Volokolamskoe shosse,
Advalange, Moscow, 125993
Russian Federation
Russian Federation
PhD student1, safety assessment leading specialist
References
1. Advalange [Online]. Accessed: Aug. 14 2020. Available: https://advalange.ru/testing (date of the request: 10.10.2020). (In English).
2. 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).
3. 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).
4. IATA Safety Report 2019. 56th Edition. – Canada: Montreal, IATA, 2020. – p. 262. (In English).
5. ICAO Aviation Occurrence Categories. Definitions and Usage Notes. – Canada: Montreal, ICAO, 2011. – p. 28. (In English).
6. 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).
7. КТ-178С Software Considerations in Airborne Systems and Equipment Certification (In Russian). – Moscow: Interstate Aviation Committee, 2016. – p. 106.
8. 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).
9. Methods for Industrial Critical Systems // Proceedings of 16th International Workshop FMICS. – Italy: Trento, Springer, 2011. – 261 p. (In English).
10. Software Engineering and Formal Methods / Proceedings of 12th International Conference SEFM. – France: Grenoble, Springer, 2014. – 394 p. (In English).
11. 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)
Review
For citations:
Diachenko S.A., Savelev A.S. Analysis of avionics automation verification means used in the modern civil aircraft development. Crede Experto: transport, society, education, language. 2021;(1):30-36. (In Russ.) https://doi.org/10.51955/2312-1327_2021_1_30
Views:
6
JATS XML
Email this article 