The structure of dual-channel fail-safe system with reconfiguration are developed. Approach to modeling the operation of fault-safe systems designed by means of an integrated tool environment based on Matlab Simulink. The software package ReliabMod, based on the use of the diffusion distribution of operating time to failure (DN-distribution) components are developed for statistical reliability modeling of systems.
A methodology of creation and study living dependable systems using them in critical infrastructures was developed.
A conception of electronic dependable system of automatic crossing signals (ACS-EG) of new generation with the optimization after closing the crossroad depending on the speed of the approaching train, objective control crossroad zone, the possibility to signaling about employment at the railroad crossing railway traffic light and in the driver's cabin with providing an emergency stop train before crossing if it necessary was developed.
Methods, technologies and software modeling of estimation and forecasting parameters of dependability (fault tolerance, reliability, security and survivability) of control systems based on the process simulation models of their operations and probabilistic and physical failure models.
Tools for distributed simulation modeling of dependable computer control systems of critical use management were developed. Innovative solutions of computer automation systems that promote the efficiency and security of main and industrial railway transport were proposed.
The methods of creating survivable intelligent computer systems and risk-based approach to the evaluation of the safety of critical systems and infrastructures were developed. Complex of CASE- items of tools designing of dependable computer systems and preliminary projects of highly-reliable automation systems on rail transport were developed.
There was developed fail-safe feature strategy as an alternative of full fault tolerance of dependability in the design of computer systems, the methods proved safety of computer systems and recommendations for improving their functional safety and survivability. The new methods of evaluation of experimental equipment reliability under conditions of low statistical failures were developed.
In 2016-2017 two State Standards of Ukraine were developed and implemented: DSTU 8647 “The reliability of equipment. Estimation and prediction of reliability based on the results of tests and (or) operation in conditions of low failure statistics” and DSTU 8646 “Reliability of technology. Estimation and forecasting of the residual resource (service life) of technical systems”.
On the basis of new reliability technology - probabilistic-physical methods a new method of estimation and prediction of reliability indices (failures, durability and other indicators of reliability) of technical systems based on the results of tests and / or operation in the conditions of a small number of failures has been developed.
A typical Safety Assurance Program (SAP) of the systems was developed, a revision of the level of safety and survivability of the automatic emergency control systems of HPP on the example of the accident at the Sayano-Shushenskaya HPP; it was carried out the classification of the causes of the accident, the suggestions to increase the level of the guarantee capacity of the control and recommendations on increasing the survivability of spa at modern hydroelectric plants and a comprehensive range of methods for controlling (calculating) risks were made.
With respect to the further development of the methodology and the theory of construction of information-control reliable computer systems (CS) of a high level of reliability and security for critical technologies and infrastructures developed attributive model of the reliability of the CS, on the basis of which it becomes possible to carry out its parametrization (quantitative assessment of attributes and metric), calculating the quantitative assessment of the level of assurance of the CS, comparing the CS to the level of guaranteeability.
Based on the probabilistic-physical theory of reliability, developed at the institute, in accordance with the Program of work on national standardization of Ukraine and the long-term standardization plan of the Technical Committee of Ukraine for the implementation of reliability standards, developed 2 draft standards: DSTU (Ukrainian national standardization system) “Reliability of technology. Calculation of the volume of spare parts in ZIP”, DSTU (Ukrainian national standardization system) “Reliability of equipment. Calculation of reliability of standard details of machines”.
Theoretical results of researches are received and practically applied methods of construction of guaranteed computer means and systems which have interbranch orientation and can be implemented at development and design of competitive domestic information and control computer systems concerning critical technologies and infrastructures are confirmed. Thanks to the capabilities of warranty systems, critical applications make it possible to prevent man-made accidents and minimize the loss of large amounts of property and other valuables.
Thanks to the obtained attribute model and on the basis of the metric approach, original methods of quantitative assessment of the level of guarantee of computer systems (CS) were developed for the first time. On the basis of quasi-bridge structures, an increase in the general level of probability of failure-free operation of the CS was achieved, a special cluster structure was developed, which allows to significantly increase the survivability of various CSs. The obtained research results have a cross-sectoral focus and can be implemented in the development and design of competitive domestic information and control centers for critical technologies and infrastructures in the field of transport and energy.