FORMALIZATION AND MATHEMATICAL MODELING OF THE AVIONICS SYSTEMS REQUIREMENTS FOR AUTOMATION OF TEST DESIGN
The article deals with the automation of test design for avionics systems. The automation of test design is proposed to be made on the basis of formalization and modeling of the requirements for them. The design process accelerates when using off-the-shelf modules in the product, but their use imposes more stringent requirements for the product requirement design and management, which are the basis for the product planning, management, acceptance testing, and adjusting. Based on the classical V-model for product definition within complex projects, the paper shows that the requirements are closely related to testing, which is directed at defects identifying and avoidance in the system, at this, the defect is regarded as a deviation from the requirements. The article gives an example for formalization and modeling of the requirements for aerobatic display frame information in an integrated system of electronic display and alarm. Based on the resulting model and the formal submission of the requirements the structure of the final test for the system is compiled. The proposed approach allows us to reduce time for testing and debugging the system, improve its quality in the sense of greater compliance.