Belyi Y. Models and methods of reliability increasing of multidiverse instrumentation and control systems

The object of research is processes of development and assessment of multiversion informational-control systems (ICS) reliability. The research objective is reliability increasing of the multiversion ICS on the base of version redundancy of hardware and software. Basic research methods are: methods of system analysis, methods of probability theory and operations research, methods of set and graph theories, mathematical tool of Markovian random processes theory with discrete states and continuous time. Scientific significance of results is defined by the fact that they has enhanced methods of multidiverse ICS reliability assessment and ensurance. Practical significance consists in developing and enhancing of engineering techniques of multidiverse ICS reliability analysis, assessment and ensurance. These results form an applied information technology, allowing to automate decision-making processes at reliability and safety requirements justification, variants of architecture and maintenance procedures choice. It also allows increasing of ICS reliability by raising of probability of nonfailure operation on 0,15 as well as by raising of relative operative availability on 0,25. For the first time the method of the multidiverse ICS reliability ensuring based on simultaneous hardware and software redundancy using and taken into account different variants of sets ratios of software-hardware versions and systems defects as well as effects of defects pressing and compensation has been developed. It allows to increase probability of operation failures and faults detection and parrying. Multidiverse ICS reliability and availability models at the expense of physical and design defects analysis and account of failures and recoveries intensities of software-hardware versions that increases accuracy of reliability indicators calculation have been improved. The method of software of multiversion systems quality assessment at the expense of choice optimizing of a set of assessment techniques and tools by a criterion “an assessment fullness / a cost” that permits to increase software and systems assessment completeness has received the further development. Application – branch. Further use of the results received in the dissertation is recommended in the organizations that develop distributed ICS of aerospace and energy complexes as well as perform their expertise and verification.