Reliability of computer structures of integrated modular avionics for hardware configurations

Abstract

The problem of designing advanced computing systems in the class of structures of integrated modular avionics is considered. The unified topology of the internal network of the computer on the basis of Space Wire exchange channels and variants of its execution for various onboard applications is offered. Equivalent reliability schemes of each of the specific structures are introduced and the probabilities of trouble-free operation of each structure are analyzed. Families of graphic dependencies are given. The analysis of the existing principles and algorithms for testing multiprocessor multimodal onboard digital computer systems is given; the new testing algorithm for the multiprocessor systems which follows the software design standards for products of integrated modular avionics is offered. The structure of the unified automated workplace for checking the functional modules of integrated modular avionics is considered. Specific requirements inherent in the workplaces for testing integrated avionics are identified: an increased level of control of the hardware component of products; the ability to simulate the failure state of individual components of avionics to check the mode of reconfiguration of the computer system; modular construction of software with the division of verification tests into components performed at the level of each CPM and the computer as a whole in single-task and multitasking modes; openness of architecture of a workplace, which provides an ability to change the level of control complexity of a product and control of one class of complexity; intra-project unification of both hardware and software of the workstation of the inspection.