MODELS AND INFORMATION TECHNOLOGIES FOR FORMALIZATION OF DESIGN PROBLEMS AND RAILWAY STATIONS DEVELOPMENT AUTOMATION

Abstract

The research topic is dedicated to planning technical support, developing automated control systems (ACS), and improving modeling methods for railway stations (RS) technological processes. Modern design engineers require a holistic and systematic understanding of models representing the research object. These models should reflect all operational aspects of future technical systems, including the structure and main processes of the object. The aim of the study is to improve the methodology for formalizing technological processes (TP) of railway stations based on the visual programming paradigm. Objectives include creating use case diagrams (UCD), state diagrams (DIS), and activity diagrams (DIA) in UML to visually represent TPs; describing each object, its executors, and works; formalizing the sequence of technological operations. The results show that using UML allows visualizing the interaction of RS objects and executors, parallel and synchronized processes, and the execution stages of each operation. DIS and DIA diagrams help determine the states of individual objects and the phases of operations. Automated modeling enhances TP efficiency and ensures mutual understanding between designers and operators. Furthermore, graphical-analytical models developed in Rational Rose and AutoCAD facilitate automation of TP planning and calculation of key performance indicators. In conclusion, the proposed methodology enables efficient design, documentation, formalization, and visualization of RS TPs, simplifying technical decision-making and improving the quality of ACS and IS development for railway stations.