Avionics verification organization

The article is devoted to verification processes in the design of embedded avionics systems. Verification is carried out in accordance with the qualification requirements KT-254 and KT-178C. Embedded avionics systems consist of hardware and software. The main goals, stages, methods, input data and results of the verification processes of both parts are described. The relevance of conducting virtual tests of embedded avionics systems before conducting full-scale tests for resistance to external influencing factors is presented. Their implementation variants are considered. The process of safety critical avionics software verification is considered. A comprehensive software verification scheme has been developed. The goals and methods of verification are presented. The process of software testing, as the most labor-intensive stage of verification, is considered in detail. The goals of the testing process are determined from the point of view of meeting qualification requirements. The categories of test examples and types of testing required to perform testing in accordance with aviation standards are considered.