Artykuł opisuje zagadnienia związane z modelowaniem zmiany programów sygnalizacji podczas realizacji opisu sterowników sygnalizacji świetlnej za pomocą języków opisu sprzętu. Zawarto w nim zagadnienia wymagań formalnych dla programów przejściowych, zagadnienie określenia liczby programów niezbędnych dla prawidłowego funkcjonowania sterownika oraz weryfikacji poprawności przyjętych założeń. Informacje przedstawione w artykule są oparte na projekcie algorytmu sterowania dla rzeczywistego skrzyżowania.
Stosowane współcześnie metody sterowania wymagają stosowania wielu programów sygnalizacji, które są przełączane podczas pracy sterownika. Także w przypadku sterowania jednoprogramowego konieczne jest opracowanie zasad rozpoczynania oraz kończenia pracy sterownika – tzw. programu startowego i programu końcowego.
W sterownikach mikroprocesorowych zadanie zmiany programów jest realizowane przez warstwę oprogramowania systemowego, niezależnego od projektanta zajmującego się inżynierią i sterowaniem ruchem. Współczesne sterowniki mikroprocesorowe wyznaczają automatycznie programy przejściowe wykorzystywane do zmiany programów (…)
Artykuł zawiera 14632 znaków.
Źródło: Czasopismo Logistyka