Abstract
Nowadays there are lots of means to automate the aircraft avionics software verification. The model-based software development made a formal verification approach popular (e.g. model checking). Such ways allow to verify the matching of the system model contained the end number of states and requirements expressed in the temporal logic language. However, the software operation in the target platform is out of scope here. Software verification within a hardware-in-the-loop simulation takes into account the target features. In this case, the verification automation tools are capable to simulate the input signals, to check the equipment’s feedback by monitoring output signals, to process the captured data, and to generate the verification protocols. At the same time, there are some onboard high-critical systems (e.g. cockpit displays, flight warning) are being required the human-operator during the testing. They generate visual and aural information which has to be perceived by for the crew members. Thus, their verification is complicated to be automated accounting the mentioned aspect that leads to increased time and cost expenses. The paper describes the software tool that has been developed to partially automate the verification of avionics equipment which required human visual checking. The tool performs recognizing of the textual data displayed on the cockpit screens. It allows reducing the time and cost expenses within aircraft testing and recertification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
KNKT.18.10.35.04 Aircraft Accident Investigation Report. Lion Mentari Airlines. Boeing 737-8 (MAX) PK-LQP. Tanjung Karawang, West Java, Republic of Indonesia. 29 October 2018. Komite Nasional Keselamatan Transportasi Republic of Indonesia, Jakarta, Republic of Indonesia (2019)
AI-01/19 Interim Investigation Report on Accident to the B737-8 (MAX) Registered ET-AVJ operated by Ethiopian Airlines on 10 March 2019. Ministry of Transport of The Federal Democratic Republic of Ethiopia, Addis Ababa, Ethiopia (2020)
ARP4754A Guidelines for Development of Civil Aircraft and Systems. SAE International, Warrendale, The USA (2010)
Top 20 Software Testing Companies in 2019. https://medium.com/@andy_dassan/top-software-testing-companies-in-2019-c418b24f69d0. Accessed 10 June 2020
CARE INO III. 3D in 2D Planar Display Project. D4-1: Review of Cockpit Displays Design. EUROCONTROL, Brussels, Belgium (2008)
AC 25.1322-1 Flightcrew Alerting. FAA, Washington, The USA (2010)
ARINC Specification 429P1-17. MARK 33 Digital Information Transfer System (DITS). Part 1: Functional Description, Electrical Interface, Label Assignments and Word Formats. ARINC, Annapolis, The USA (2004)
ARINC Specification 664P1-1. Aircraft Data Network. Part 1: Systems Concepts and Overview. ARINC, Annapolis, The USA (2006)
ARINC Specification 825-2. General Standardization of CAN (Controller Area Network) Bus Protocol for Airborne Use. ARINC, Annapolis, The USA (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Dyachenko, S.A., Ilyashenko, D.M., Neretin, E.S. (2021). The Automation Tool Development for Aircraft Cockpit Display Systems Verification in Part of Text Data. In: Li, B., Li, C., Yang, M., Yan, Z., Zheng, J. (eds) IoT as a Service. IoTaaS 2020. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 346. Springer, Cham. https://doi.org/10.1007/978-3-030-67514-1_26
Download citation
DOI: https://doi.org/10.1007/978-3-030-67514-1_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67513-4
Online ISBN: 978-3-030-67514-1
eBook Packages: Computer ScienceComputer Science (R0)