We show an application of the methods of mathematical logic to the design of a
control system for group movement of trains for a railway station. We develop a typical lifecycle
of a route (route design, assembly, control over the movement of a train along the route,
disassembling the route) that guarantees safe group movement of trains at a station. We
construct the model of a route in the form of a logical passability function and the model of
a railway station in the form of a logical diagram. Based on these models, we find the set of
potentially feasible station routes, states of railroad switches and route traffic lights. We define
different relationships between routes: compatible, incompatible, alternative.
Keywords: model of a railway station, logical route model, lifecycle of a route, compatible,
incompatible, alternative routes.