Математичні моделі верифікації ергатичних систем засобів залізничної автоматики

Abstract

Issues related to the impact of operational, technical and inspection personnel on the safety of the use of ergatic railway automation systems have been addressed. In the conditions of interactive interaction of all types of personnel and equipment mathematical models for calculation of parameters of safety of use of such systems which consider their functioning in a regular and pre-auxiliary mode in various contexts of relations of human and technical factors are developed. It is established and proved that different modes of interactive interaction form a differentiated structure of calculation and logic schemes for assessing the safety of the use of ergatic control systems in railway transport. The functioning of ergatic control systems in railway transport has significant features associated with the inadmissibility of technological process downtime at infrastructure facilities. In this regard, in such systems there is an auxiliary control mode, in the framework of which blocking dependencies are completely or partially removed, which ensures the technological safety of the use of such systems. In recent years, a piecewise-defined character of mathematical models has been established on the basis of which a numerical safety assessment of the use of such control systems can be performed, which is due to the predominance of technical and human factors in different modes of functioning of such systems. At the same time, the development of forms of interactive interaction between different types of personnel in the active modes of operation of control systems requires a fundamentally new approach to safety assessment – taking into account the influence of differentiated human and integrated technical factors. In this regard, in this study, mathematical models are developed that allow you to take into account the interactive interaction of man and technology in the process of assessing the safety of the use of automated ergatic systems of railway automation. The graphical 3D dependencies built on their basis make it possible to carry out a predictive safety assessment of different systems in the process of their functioning during one working shift of operational, technical and audit personnel. In particular, the formation of mathematical models for calculating safety at different time intervals, which determine the auxiliary and standard operating modes of control systems, provides a differentiation of accounting for various factors when they dominate. An approach based on taking into account the influence of all types of personnel during their interaction with technology is reduced to considering different types of element connections in the calculation and logic schemes of the functional safety of systems, which reduces to different types of formulas in the final piecewise-defined expression for assessing the safety of using such systems.