Open AccessOverview of automation tools for avionics verification
Author(s) -
S A Dyachenko,
D M Ilyashenko,
E S Neretin
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1958/1/012012
Subject(s) - cockpit , avionics , automation , computer science , interface (matter) , task (project management) , aviation , aerospace , crew , key (lock) , embedded system , systems engineering , software engineering , engineering , operating system , aeronautics , mechanical engineering , bubble , maximum bubble pressure method , aerospace engineering
The existing verification automation tools for civil aircraft avionics are considered (particularly, formal methods, hardware-in-the-loop testing, outsource sendees). Key solutions presented on the market are described, their advantages and weak points are identified. Also, it is determined a promising field is the automation of graphic and aural information testing during the cockpit human-machine interface assessment (e.g. for cockpit display and flight warning systems). This type of verification is practically not automated nowadays. The architecture of a complex for the mentioned task is proposed, the methodology of verification using the described tool is considered either. The camera and microphone usage for monitoring of images and sound alerts which is being outputted to the crew allows applying of computer recognition algorithms during verification. It will allow reducing the time and cost expenses for human-machine interface testing as well as reducing the probability of mistakes could be made during fully manual testing. In addition, the proposed concept makes its application possible for any technical objects with a user interface in other industry areas (not just in aviation) such as space, automotive, shipbuilding, etc.