TrafficLight

This page contains an applet that should appear as a separate window.

This model illustrates a typical design pattern where the top level is a DE model of the physical environment for a system under design. The next level down is a modal model fashioned after the statecharts model at the right. Open the TrafficLight actor to see how it is implemented.

The PoissonClock actor occassionally injects an Error signal. The Error condition then lasts 5 seconds, as determined by the TimedDelay actor.

See also the Wireless Deployment of this model.

\ \ MoML specification for this model. \