Automation of Functional Reliability Evaluation for Critical Human-Machine Control Systems

The paper considers tasks of increasing the functional reliability of critical human-machine control systems. The authors propose the man-system approach to the critical systems reliability ensuring, which includes the concept of automation of processes modeling for the critical systems function, based on the functional networks apparatus (Prof. Gubinsky A.I. scientific school). For this, the authors develop an information technology for human-machine interaction modelling and describe its main features. The proposed technologies and techniques are intended for use in the operation design for complex human-machine systems.