The paper examines the specific features of technical documentation electronic management for railway automation and remote control. The problems of synthesis of mathematical models of technical documentation electronic management for railway automation and remote control are discussed. For this purpose, the real processes of creation, verification and use of technical documentation were studied using the example of the process of monitoring and management of railway automation and remote control devices, which made it possible to outline the structure of a formalized model of technical documentation. A model of technical documentation electronic management has been built using the mathematical apparatus of finite automata. A structural diagram of an automaton model of technical documentation has been developed. The proposed scheme of a formalized model of technical documentation consists of matrices of external micro-operations, internal micro-operations, and code generation for the subsequent micro-components. The number of internal states of the microprogram automaton is fully determined by the number of elements in logic circuits of algorithms. The size of the matrices depends on the number of operators and conditions in logic circuits of algorithms. The microprogram automaton scheme is simplified through the simultaneous execution of external and internal micro-operations. The number of micro-commands is determined by the number of groups of simultaneously executed micro-operations. Micro-commands have been formed according to the logic circuits of technical documentation algorithms. The use of the proposed methodology for building a technical documentation model enables the development of reliable applied software for solving the problems of operational document management for railway automation and remote control.
Technical documentation electronic management, formal presentation of technical documentation, logic circuits of algorithms, structural diagram of an automaton model of technical documentation, micro-commands