Automated verification complex for cockpit display systems of next-generation civil aircraft

DOI: 10.34759/trd-2023-131-18

Аuthors

Dyachenko S. A.

e-mail: sergey.dyachenko@uac-ic.ru

Abstract

According to accident statistics provided by international aviation authorities and leading airplane manufacturers, loss of control in-flight stands as the primary cause of air crashes in terms of the number of victims. One of the contributing factors to loss of control in-flight is the failure or malfunction of aircraft systems, which may result from undetected errors during the design phase. To address this issue, reducing the influence of the human factor in the development of on-board systems is crucial, and this can be achieved through the implementation of automation instruments.

The article encompasses an analysis of verification automation tools for civil aircraft on-board systems currently available on the market, including formal verification and system testing instruments, as well as complex solutions. Moreover, the research highlights that the growth potential of these tools lies in graphic and aural information testing. This aspect becomes relevant when assessing the human-machine interface within cockpit displays and flight warning systems verification.

Additionally, the article proposes the architecture, algorithms, and software of such a complex providing text information recognition for cockpit display systems. The conducted tool testing confirmed its high effectiveness. While the complete exclusion of an operator from the verification process is deemed unacceptable due to safety concerns, the aforementioned type of tools can potentially enhance the human-machine interface systems’ reliability by mitigating the influence of the human factor, and it can also lead to savings in time and financial resources.

Concurrently, the underlying methods of computer image processing are universal, enabling the developed complex to be adapted to diverse technical systems featuring human-machine interfaces (including industries beyond aviation).

Keywords:

civil aircraft, avionics, automation, verification, flight safety, human-machine interface, image recognition

References

1. Safety Report 2019. 56th Edition. IATA, 2020, 262 p.
2. Statistical Summary of Commercial Jet Airplane Accidents. Worldwide Operations 1959–2018. 50th Edition. Boeing, 2018, 15 p.
3. Blackburn M.R., Busser R.D. T-VEC: A Tool for Developing Critical Systems, Proceedings of the 11th Annual Conference on Computer Assurance «COMPASS ’96», 1996, pp. 237-249. DOI: 1109/CMPASS.1996.507891
4. Buzdalov D.V., Zelenov S.V., Kornykhin E.V., Petrenko A.K., Strakh A.V., Ugnenko A.A., Khoroshilov A.V. Trudy Instituta sistemnogo programmirovaniya RAN, 2014, vol. 26, no. 1, pp. 201-230. DOI: 15514/ISPRAS-2014-26(1)-6
5. Cherkashin S.V., Shishkin V.V., Dolbnya N.A. Izvestiya Samarskogo nauchnogo tsentra Rossiiskoi akademii nauk, 2009, vol. 11, no. 3, pp. 392-397.
6. Balashov V., Bakhmurov A., Volkanov D., Smelyanskii R., Chistolinov M., Yushchenko N. Trudy IV vserossiiskoi nauchno-prakticheskoi konferentsii «Imitatsionnoe modelirovanie. Teoriya i praktika», Saint Petersburg, OAO «TsTSS», 2009, vol. 1, pp. 215-219.
7. ADS2 Use Cases. TechSAT, 2020. URL: https://techsat.com/wp-content/uploads/2020/01/TechSAT_PRS-ADS2-UseCases_20200117.pdf.
8. ANSYS SCADE Model-Based Development Solutions for Aerospace & Defense. ANSYS, 2015. URL: https://s3-ap-southeast-2.amazonaws.com/public-leapaust/resources/SCADE-Solutions-for-Aerospace-Defense.pdf.
9. Model Based Design for Airbus A380 Fuel System Development. Airbus, 2010. URL: https://it.mathworks.com/content/dam/mathworks/mathworks-dot-com/solutions/aerospace-defense/files/2010/Airbus_MBDC_2010.pdf.
10. Alenia Aermacchi Develops Autopilot Software for DO-178B Level A Certification. MathWorks, URL: https://www.mathworks.com/company/user_stories/alenia-aermacchi-develops-autopilot-software-for-do-178b-level-a-certification.html.
11. BAE Systems Proves the Advantages of Model-Based Design. MathWorks, 2006. URL: https://www.mathworks.com/company/newsletters/articles/bae-systems-proves-the-advantages-of-model-based-design.html.
12. Bhattacharyya D., Ranjan R., Alisherov F., Minkyu C. Biometric Authentication: A Review, International Journal of u- and e- Service, Science and Technology, 2009, vol. 2, no. 3, pp. 13-28.
13. Volkov S.S. Trudy MAI, 2019, no. 104. URL: https://trudymai.ru/eng/published.php?ID=102198
14. Gao J., Yang Y., Lin P., Park D.S. Computer Vision in Healthcare Applications, Journal of Healthcare Engineering, 2018, vol. 2018, 4 p. DOI: 1155/2018/5157020
15. Buch N.A., Velastin S.A., Orwell J. Review of Computer Vision Techniques for the Analysis of Urban Traffic, IEEE Transactions on Intelligent Transportation Systems, 2011, vol. 12, no. 3, pp. 920-939. DOI: 1109/TITS.2011.2119372
16. Alekseev V.V., Lakomov D.V. Trudy MAI, 2018, no. 103. URL: https://trudymai.ru/eng/published.php?ID=100810
17. Del Rio J.S., Moctezuma D., Conde C., de Diego I.M., Cabello E. Automated Border Control e-Gates and Facial Recognition Systems, Computers & Security, 2016, vol. 62, pp. 49-72. DOI: 1016/j.cose.2016.07.001
18. Mouton A.A., Breckon T.P. Review of Automated Image Understanding Within 3D Baggage Computed Tomography Security Screening, Journal of X-Ray Science and Technology, 2015, vol. 23, pp. 531-555. DOI: 3233/XST-150508
19. Knyaz’ V.V., Busurin V.I. Trudy MAI, 2015, no. 81. URL: https://trudymai.ru/eng/published.php?ID=57839
20. AC 25.1322-1 Flightcrew Alerting. FAA, 2010, 42 p.

Download