ECE 450S : Tutorial Week 3
Description of the problem. This specification describes the
controller for managing the traffic lights and turn at a particular intersection,
depicted in Figure 1. Traffic can move along this road going northbound
(N), southbound (S), and eastbound (E) (east to north or east to
south). In addition, northbound traffic can turn left, and southbound
traffic can turn right. There is a set of traffic light controlling
all northbound, southbound, and eastbound lanes. There are no special
arrows for turns, and they can be made under the following condition:
southbound and eastbound traffic can turn right on regardless of the light,
as long as there are no cars. East to north and south to west
traffic can make their left turn if the corresponding light (E, N) is green
and there are no cars in the intersection.
Figure 1.
Your goal is to architect the system that would ensure traffic
safety.