МЕТОД ОЦЕНКИ НАДЁЖНОСТИ ИНТЕГРИРОВАННЫХ РАДИОЭЛЕКТРОННЫХ СИСТЕМ УПРАВЛЕНИЯ КОСМИЧЕСКИМИ АППАРАТАМИ НА СТАДИИ ЭКСПЛУАТАЦИИ

Abstract

Modern and perspective radio-electronic control systems for spacecraft are considered, which have such features as multifunctionality, high integration of hardware and software, high requirements for reliability and availability, structural redundancy, low-series, etc. A review of existing models and methods for assessing the reliability of hardware and software providing electronic systems at various stages of their life cycle, including at the operational stage. The complexity of a reliable assessment of the reliability of such systems using existing models and methods in an independent approach to assessing the reliability of hardware and software is shown. The task of combining the reliability models of hardware and software for integrated electronic systems in order to more fully take into account their mutual influence in the context of ensuring the reliability of structurally complex systems as a whole has been set. The characteristic of logical and probabilistic methods of system modeling and analysis is given, and, in particular, the capabilities of the general logical and probabilistic method, as having advanced capabilities compared to classical logical and probabilistic methods. It is proposed to use the apparatus of the general logical and probabilistic method for modeling, analysis and a comprehensive assessment of the reliability of integrated electronic systems. The proposed method consists in using a complete set of functions of the algebra of logic, both for a graphical description of the structure of systems and for the analytical recording of the conditions for their operability, as well as the development of methods for moving from logical functions that are a criterion for the functioning of systems to probabilistic functions characterizing the properties of the systems under study. It is shown that for reliable assessment of the reliability of integrated radio-electronic spacecraft control systems, a methodological apparatus is necessary that takes into account both the features of their use and the fact of the joint, interdependent functioning of hardware and software.