A decision model for railway interlocking systems (independent of the topology of the station) is presented. The safety of a situation is decided by checking (using Groebner Bases) whether or not a certain ideal of a polynomial ring has degenerated into the whole polynomial ring. This ieal somehow translates the oriented graph associated to the situation of trains, switches and signals (or semaphores).
展开▼