Modelling of interlocking functions in railway station traffic control systems

The paper presents a new specification method for the interlocking functions executed railway traffic control objects. On the example of short track section object, the procedure of creating the description in the form of state matrices, transition matrices and priorities matrices was presented. The intuitive transition from these matrices to the Moore machine in FSM editor was also shown. This description of object's interlocking functions allows to automatically generate the VHDL output file which, using the computer aided design environment, can be used for designing such object in FPGA structures.

---

W artykule przedstawiono nowy sposób specyfikacji funkcji zależnościowych realizowanych przez obiekty systemów sterowania ruchem kolejowym. Na przykładzie odcinka torowego krótkiego, pokazano mechanizm zapisu funkcji obiektu w postaci macierzy stanów, macierzy tranzycji oraz macierzy priorytetów. Pokazano mechanizm intuicyjnego przejścia od tych macierzy do grafu przejść automaty skończonego Moore’a w edytorze FSM. Taki zapis funkcji obiektu pozwala na automatyczne wygenerowanie kodu języka VHDL, pozwalającego na wykorzystanie narzędzi wspomagania komputerowego w projektowaniu takich obiektów w układach FPGA.