The Traffic Lights - SySim model is provided in the Examples database, which you can install with Modeler.

The SysML model models a traffic light system that typically cycles through the following sequence of lights: Red; Red/Yellow; Green; Yellow; and back to Red. Pedestrians can interrupt the normal sequence to cross the road by pressing the wait button. After pressing the wait button, instead of the Red/Yellow lights following the Red light, the Yellow light flashes four times.

The SysML Components package in the model contains the SysML model of the traffic lights, that is, the Controller block.

The SySim Simulators package in the model contains the SySim Simulation Scenario, that is, the Traffic Lights simulator block.

To generate the Visual Studio project and build the SySim model execution for the Traffic Lights simulation scenario, follow the tasks provided in the 'Generating and Building a SySim Model Execution' section of this Help. Note that you can ignore the 'Setting up the SySim model execution form' task, because this form's design has been stored in the model. Refer to Setting up Microsoft Visual Studio to work with SySim to open the first task.

To start the SySim model execution application and work with the SySim Control Bar, follow the tasks in the 'Working with a SySim Model Execution' section of this Help. The red button on traffic lights starts the wait cycle.

If you want to see the State Diagrams being animated in Modeler during the SySim model execution, before starting the SySim model execution application, in Modeler click the Run State Machine button on the State Simulation toolbar.