ISSN 1991-2927

ACP № 3 (65) 2021

Author: "Renat Nailevich Khisamov"

Sergey Konstantinovich Kiselev, Ulyanovsk State Technical University, Doctor of Engineering, Head of IT Department at Ulyanovsk State Technical University, Professor at the Department of Measuring Computer Systems; graduated from Ulyanovsk Polytechnic Institute with a specialty in Aircraft Instruments Engineering; research interests include development of methods, models, algorithms, equipment for automation, diagnostics, testing aircraft instruments and systems, R & D organization; an author of monographs, a large number of papers and patents in the field of instrumentation. [e-mail:]S. Kiselev,

Renat Nailevich Khisamov, Ulyanovsk State Technical University, Post-Graduate Student at Ulyanovsk State Technical University; graduated with a specialist's degree in Instruments Engineering, an engineer of Dynamics CSTY; research interests include automation of diagnosis and testing of aircraft equipment, methods of providing information. [e-mail:]R. Khisamov

Formalization and Mathematical Modeling of the Avionics Systems Requirements for Automation of Test Design 35_12.pdf

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.

Modeling, system requirements, testing, formalization, program of operation.

2014_ 1

Sections: Information systems

Subjects: Information systems, Computer-aided engineering, Architecture of ship's system.

© FRPC JSC 'RPA 'Mars', 2009-2021 The web-site runs on Joomla!