The paper presents a modelling method for complex interlocking functions in railway traffic control systems. The method is based on the geographical approach, which allows to use the created elements for any track layout. Specification and verification of the designed algorithms was performed in computer-aided design environment. The use of algorithms to describe the functions allowed to intuitively transform the elementary conditions in verbal description into formal notation and finally the VHDL code.
W artykule przedstawiono propozycję sformalizowanej metody specyfikacji złożonych funkcji zależnościowych w systemach sterowania ruchem kolejowym. Opisana metoda opiera się na podejściu geograficznym, umożliwiającym uniwersalne wykorzystanie zbudowanych elementów dla dowolnego układu torowego. Zaprezentowane zostały możliwości specyfikacji i weryfikacji otrzymanych algorytmów w środowisku komputerowego wspomagania prac projektowych. Zastosowanie algorytmów do opisu działania pozwala na intuicyjne przejście od elementarnych warunków opisanych w języku naturalnym do zapisu formalnego i ostatecznie kodu języka VHDL.