The article describes issues related to modeling signal program changes during the implementation of traffic light controller descriptions using hardware description languages. It includes formal requirements for transition programs, the issue of determining the number of programs necessary for the proper functioning of the controller, and the verification of the adopted assumptions. The information presented in the article is based on a control algorithm design for a real intersection.Modern control methods require the use of multiple signal programs that are switched during controller operation. Even in the case of single-program control, it is necessary to develop rules for starting and ending controller operation – the so-called startup program and shutdown program.
In microprocessor controllers, the task of changing programs is handled by a system software layer, independent of the designer involved in traffic engineering and control. Modern microprocessor controllers automatically determine the transition programs used to change programs (…)
The article contains 14632 characters.
Source: Logistyka Magazine