Realizacja specjalizowanych sterowników ruchu drogowego

W artykule przedstawiono ważną rolę jaką pełnią w systemach sterowania ruchem drogowym sterowniki lokalne. Wzrost wymagań stawianych tym sterownikom powoduje poszukiwanie nowych sposobów realizacji urządzeń sterowania ruchem drogowym. Do powstania nowych rozwiązań przyczynia się rozwój technologiczny i wprowadzenie do powszechnego użytku układów programowalnych. Połączenie tych zagadnień pozwoliło na budowę specjalizowanych sprzętowych sterowników ruchu drogowego w technice SoC (system on chip). W artykule przedstawiono główne punkty i założenia metody realizacji urządzeń sterowania ruchem drogowym w formie specjalizowanych urządzeń programowalnych, obejmujące specyfikację modeli urządzeń sterowania w językach opisu sprzętu z wykorzystaniem grafów przejść automatów skończonych gdzie wprowadzenie hierarchiczności wyeliminowało płaskość modelu. Przedstawiono założenia weryfikacji modeli urządzeń oraz elementy analizy niezawodnościowej.

---

The article indicates a key role of local traffic controllers in the system of road traffic control, emphasizing at the same time the increasing requirements that these devices are presented with resulting from constantly growing road traffic intensity. The article indicates the need for realization of road traffic control devices in the form of specialized controllers realized as single-system devices of SoC type with the use of programmable devices. Merits of such a realization have been pointed out. After the analysis of formal specification models of digital controllers, a finite automaton with FSM memory has been chosen for realization of model controller. Additional extension of the model by hierarchization eliminated flatness of the model. The paper includes methods of testing digital traffic control devices. The paper focuses on the tests of control devices which are realized in programmable logic devices FPGA. For the obtained prototype of traffic control devices reliability measures have been calculated.