Exercise 8.1 (Behavioral Model – Simple Traffic Light – List of Phases).

Figure 8.1 describes the behavior of a simple traffic light that can be used to control a road work, where three periods of time are required to pass the distance to be in work and yellow phases are included for security reasons.

Create a list of phases as behavioral model for both traffic lights. Use a binary code for the states that indicates the state number directly, and a 1-out-of-3 code for the outputs that controls the color of both traffic lights.

Prepare this list of phases as PRP such that it can be used later on for an analysis and synthesis tasks. Practical tasks:

1 How many variables are required to code the states.

2 Prepare a Boolean space large enough for the list of phases.

3 Define the list of phases as object number 1.

4 Add variable tuples for state variables as object number 3, state variables for the following time step as object number 4, and outputs as object number 5. Object number 2 is not used because there are no input variables in this finite-state machine. Store TVL system as e8101.sdt for later use.