Use of an automaton model for the designing of real-time information systems in the railway stations

The author proposes to develop special models that are built based on finite-state machine, Mealy, in order to display information about technological processes at railway stations. The input alphabet of such machines is represented by the real signals (from the floor equipment, the related information systems and the dispatch office personnel). This representation allows one to formalize the software design process of real-time information management systems for these technological processes. The article demonstrates the possibility of formal transition from the automaton model to the software algorithms. The proposed approach was tested when designing the information system for Nizhnedneprovsk junction railway yard.