diff options
author | Thomas Schuetz | 2013-11-20 09:52:50 +0000 |
---|---|---|
committer | Thomas Schuetz | 2013-11-20 09:52:50 +0000 |
commit | 769a9f015d0e2e3218a3baadede5c1ab07554b5e (patch) | |
tree | 154f6e400a27a41a5fb7d39ca06f0d11c0fec131 | |
parent | 728d6b6c1033a8ac9a20691a838e4e57582af4b8 (diff) | |
download | org.eclipse.etrice-769a9f015d0e2e3218a3baadede5c1ab07554b5e.tar.gz org.eclipse.etrice-769a9f015d0e2e3218a3baadede5c1ab07554b5e.tar.xz org.eclipse.etrice-769a9f015d0e2e3218a3baadede5c1ab07554b5e.zip |
[trafficlight.example] updated example model
Change-Id: I88d9b031f7af2e83a85e27d0820754f80e8b7dcc
7 files changed, 637 insertions, 281 deletions
diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.config b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.config index 397967f98..d0693fefe 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.config +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.config @@ -1,6 +1,17 @@ ConfigModel trafficlight.example.config { import trafficlight.example.* from "trafficlight.room" - + ActorInstanceConfig TrafficlightModel.TrafficlightLogSys/subsystem/application/tsCommands { + Attr socketConfig { + Attr IPAddr = "localhost" + Attr TcpPort = 4441 + } + } + ActorInstanceConfig TrafficlightModel.TrafficlightLogSys/subsystem/application/tlCommands2 { + Attr socketConfig { + Attr IPAddr = "localhost" + Attr TcpPort = 4442 + } + } }
\ No newline at end of file diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.room b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.room index 26ca58281..d228ddd78 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.room +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/demomodel/current/trafficlight.room @@ -8,10 +8,352 @@ RoomModel TrafficlightModel { SubSystemRef subsystem:SubSys } SubSystemClass SubSys { - ActorRef application:Application + ActorRef application:Application + ActorRef timingService: ATimingService + LayerConnection ref application satisfied_by timingService.timer LogicalThread defaultThread } ActorClass Application { + Structure { + ActorRef controller: TrafficLightController + ActorRef coordinator: TrafficLightCoordinator + ActorRef tsCommands: TrafficLightCommands + ActorRef tlCommands2: TrafficLightCommands + ActorRef controller2: TrafficLightController + Binding coordinator.controller and controller.fct + Binding controller.tlCommands and tsCommands.fct + Binding controller2.tlCommands and tlCommands2.fct + Binding coordinator.controller and controller2.fct + } + Behavior { } } + ActorClass TrafficLightCoordinator { + Interface { + conjugated Port controller [*]: PTrafficLightController + } + Structure { + external Port controller + SAP timeout: PTimer + + } + Behavior { + StateMachine { + Transition init: initial -> Idle { } + Transition tr0: Idle -> Running { + triggers { + <timeout: timeout> + } + } + Transition tr1: Running -> Off { + triggers { + <timeout: timeout> + } + } + Transition tr2: Off -> Running { + triggers { + <timeout: timeout> + } + } + State Idle { + entry { + "timeout.startTimeout(3000);" + } + } + State Running { + entry { + "timeout.startTimeout(20000);" + "controller.setOn();" + } + } + State Off { + entry { + "timeout.startTimeout(20000);" + "controller.setOff();" + } + } + } + } + } + + ActorClass TrafficLightController { + Interface { + Port fct: PTrafficLightController + conjugated Port tlCommands: PTrafficLightCommands + } + Structure { + external Port fct + external Port tlCommands + SAP timeout: PTimer + } + Behavior { + StateMachine { + Transition init: initial -> InitCommands { } + Transition tr0: InitCommands -> tp0 of Blinking { + triggers { + <doneInit: tlCommands> + } + } + Transition tr1: Blinking -> tp0 of Working { + triggers { + <setOn: fct> + } + } + Transition tr2: Working -> tp0 of Blinking { + triggers { + <setOff: fct> + } + } + State InitCommands { + entry { + "tlCommands.startInit();" + } + } + State Blinking { + exit { + "timeout.kill();" + } + subgraph { + Transition tr0: my tp0 -> On + Transition tr1: On -> Off { + triggers { + <timeout: timeout> + } + } + Transition tr2: Off -> On { + triggers { + <timeout: timeout> + } + } + EntryPoint tp0 + State On { + entry { + "tlCommands.carYellow();" + "tlCommands.pedRed();" + "timeout.startTimeout(500);" + } + exit { + "tlCommands.carOff();" + "tlCommands.pedOff();" + } + } + State Off { + entry { + "timeout.startTimeout(500);" + } + } + } + } + State Working { + subgraph { + Transition tr0: my tp0 -> AllRed + Transition tr1: AllRed -> CarGreen { + triggers { + <timeout: timeout> + } + } + Transition tr2: PedGreen -> AllRed { + triggers { + <timeout: timeout> + } + } + Transition tr3: CarGreen -> CarYellow { + triggers { + <pressedButton: tlCommands> + } + } + Transition tr4: CarYellow -> CarRed { + triggers { + <timeout: timeout> + } + } + Transition tr5: CarRed -> PedGreen { + triggers { + <timeout: timeout> + } + } + EntryPoint tp0 + State AllRed { + entry { + "tlCommands.carRed();" + "tlCommands.pedRed();" + "timeout.startTimeout(1000);" + } + } + State CarGreen { + entry { + "tlCommands.carGreen();" + } + } + State CarYellow { + entry { + "tlCommands.carYellow();" + "timeout.startTimeout(1000);" + } + } + State CarRed { + entry { + "tlCommands.carRed();" + "timeout.startTimeout(1000);" + } + } + State PedGreen { + entry { + "tlCommands.pedGreen();" + "timeout.startTimeout(3000);" + } + } + } + } + } + } + } + + ActorClass TrafficLightCommands { + Interface { + Port fct: PTrafficLightCommands + } + Structure { + external Port fct + conjugated Port socketControl: PTcpControl + conjugated Port socketPayload: PTcpPayload + ActorRef socket: ATcpClient + Binding socketPayload and socket.PayloadPort + Binding socketControl and socket.ControlPort + Attribute socketConfig: DTcpControl + + } + Behavior { + StateMachine { + Transition init: initial -> NotInitialized { + action { + "//socketConfig = new DTcpControl(\"localhost\", 4441);" + } + } + Transition tr0: ConfigSocket -> SocketOpen { + triggers { + <established: socketControl> + } + action { + "fct.doneInit();" + } + } + Transition tr1: SocketOpen -> SocketOpen { + triggers { + <carRed: fct> + } + action { + "String payload = new String(\"carLights=red\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr2: SocketOpen -> SocketOpen { + triggers { + <carYellow: fct> + } + action { + "String payload = new String(\"carLights=yellow\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr3: SocketOpen -> SocketOpen { + triggers { + <carGreen: fct> + } + action { + "String payload = new String(\"carLights=green\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr4: SocketOpen -> SocketOpen { + triggers { + <carOff: fct> + } + action { + "String payload = new String(\"carLights=off\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr5: SocketOpen -> SocketOpen { + triggers { + <pedRed: fct> + } + action { + "String payload = new String(\"pedLights=red\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr6: SocketOpen -> SocketOpen { + triggers { + <pedGreen: fct> + } + action { + "String payload = new String(\"pedLights=green\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr7: SocketOpen -> SocketOpen { + triggers { + <pedOff: fct> + } + action { + "String payload = new String(\"pedLights=off\\n\");" + "socketPayload.send(new DTcpPayload(0, payload.length(), payload.getBytes() ));" + } + } + Transition tr8: SocketOpen -> SocketOpen { + triggers { + <receive: socketPayload> + } + action { + "fct.pressedButton();" + } + } + Transition tr9: NotInitialized -> ConfigSocket { + triggers { + <startInit: fct> + } + } + State ConfigSocket { + entry { + "socketControl.open(socketConfig);" + "" + "System.out.println(\"ConfigSocket: open\");" + } + } + State SocketOpen + State NotInitialized + } + } + } + + ProtocolClass PTrafficLightController { + incoming { + Message setOn() + Message setOff() + } + } + + ProtocolClass PTrafficLightCommands { + incoming { + Message startInit() + + Message carRed() + Message carYellow() + Message carYellowRed() + Message carGreen() + Message carOff() + + Message pedRed() + Message pedGreen() + Message pedOff() + Message myMessage() + + } + outgoing { + Message doneInit() + + Message pressedButton() + } + } }
\ No newline at end of file diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch index 14b5ac659..76b6b7c38 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/gen_trafficlight.example.launch @@ -7,9 +7,10 @@ <booleanAttribute key="Lib" value="false"/> <booleanAttribute key="MSC" value="true"/> <listAttribute key="ModelFiles"> +<listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.etmap}"/> <listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config}"/> -<listEntry value="${workspace_loc:/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room}"/> </listAttribute> +<booleanAttribute key="Persist" value="false"/> <booleanAttribute key="SaveGenModel" value="false"/> <booleanAttribute key="Verbose" value="true"/> <stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${workspace}"/> diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config index ee66699ef..1e65e7fe6 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.config @@ -28,5 +28,10 @@ ConfigModel trafficlight.example.config { Attr TcpPort=4442 } } - + ActorInstanceConfig LSTraffic/main/application/pedestrianLight { + Attr ipConfig{ + Attr IPAddr="localhost" + Attr TcpPort=4443 + } + } } diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room index 540fedfdd..c70292be2 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/model/trafficlight.example.room @@ -9,56 +9,51 @@ * Thomas Schuetz (initial contribution) * *******************************************************************************/ - - RoomModel trafficlight.example { import room.basic.types.* from "../../org.eclipse.etrice.modellib.java/model/Types.room" + import room.basic.service.timing.* from "../../org.eclipse.etrice.modellib.java/model/TimingService.room" + import room.basic.service.tcp.* from "../../org.eclipse.etrice.modellib.java/model/TcpService.room" LogicalSystem LSTraffic { SubSystemRef main: SSTraffic } - ActorClass ActorClassName {
- Interface {
- - }
- Structure { - }
- Behavior {
- }
- }
- - SubSystemClass SSTraffic ["Subsystem of Trafficlight Example Application. The Subsystem contains all Actors of the application."] { - ActorRef application: TrafficlightExampleApplication ["reference to application"] - ActorRef TimingService: ATimingService ["reference to timing service"] - LayerConnection ref application satisfied_by TimingService.timer - + SubSystemClass SSTraffic [ + "Subsystem of Trafficlight Example Application. The Subsystem contains all Actors of the application." ] { + ActorRef application: TrafficlightExampleApplication [ "reference to application" ] + ActorRef TimingService: ATimingService [ "reference to timing service" ] + LayerConnection ref application satisfied_by TimingService.timer LogicalThread dflt_thread } - ActorClass TrafficlightExampleApplication ["Toplevel Actor of the Trafficlight Example Application."]{ + ActorClass ActorClassName { + Structure { } + Behavior { } + } + + ActorClass TrafficlightExampleApplication [ "Toplevel Actor of the Trafficlight Example Application." ] { Structure { - - ActorRef light1: TrafficLight ["first traffic light"] - ActorRef light2: TrafficLight ["second traffic light"] - ActorRef controller: TrafficController ["controller for coordination of the traffic lights"] - Binding controller.light1 and light1.controller + ActorRef light1: TrafficLight [ "first traffic light" ] + ActorRef light2: TrafficLight [ "second traffic light" ] + ActorRef controller: TrafficController [ "controller for coordination of the traffic lights" ] + ActorRef pedestrianLight: PedestrianLight + Binding controller.light1 and light1.controller Binding controller.light2 and light2.controller } Behavior { } } - ActorClass TrafficController ["The TrafficController coordinates two traffic lights (directions)."] { + ActorClass TrafficController [ "The TrafficController coordinates two traffic lights (directions)." ] { Interface { - conjugated Port light1: PTrafficLight ["port to control traffic light 1"] - conjugated Port light2: PTrafficLight ["port to control traffic light 2"] + conjugated Port light1: PTrafficLight [ "port to control traffic light 1" ] + conjugated Port light2: PTrafficLight [ "port to control traffic light 2" ] } Structure { - external Port light1 - external Port light2 + external Port light1 + external Port light2 SAP timeout: PTimer } Behavior { @@ -154,7 +149,105 @@ RoomModel trafficlight.example { } } - ActorClass TrafficLight ["This Actor is responsible for controlling a single traffic light via socket. It uses a socket client for communication."] { + ActorClass PedestrianLight { + Structure { + conjugated Port tcpCtrl: PTcpControl + conjugated Port tcpPayload: PTcpPayload + ActorRef socketClient: ATcpClient + SAP timeout: PTimer + Binding tcpCtrl and socketClient.ControlPort + Binding tcpPayload and socketClient.PayloadPort + Attribute ipConfig: DTcpControl [ "configuration of the IP-port for the communication with the Traffic Light GUI" ] + } + Behavior { + Operation sendString(text: string) [ "convenience function for sending a string over the socket" ] { + " + DTcpPayload pl = new DTcpPayload(); + pl.setData(text.getBytes()); + tcpPayload.send(new DTcpPayload(1, text.length(), text.getBytes())); + " + } + StateMachine { + Transition init: initial -> OpenSocket { } + Transition tr0: OpenSocket -> tp0 of Operational { + triggers { + <established: tcpCtrl> + } + } + State OpenSocket { + entry { + "tcpCtrl.open(ipConfig);" + } + } + State Operational { + subgraph { + Transition tr0: my tp0 -> AllRed + Transition tr1: AllRed -> CarGreen { + triggers { + <timeout: timeout> + } + } + Transition tr2: CarGreen -> CarYellow { + triggers { + <receive: tcpPayload> + } + } + Transition tr3: CarYellow -> CarRed { + triggers { + <timeout: timeout> + } + } + Transition tr4: CarRed -> PedGreen { + triggers { + <timeout: timeout> + } + } + Transition tr5: PedGreen -> AllRed { + triggers { + <timeout: timeout> + } + } + EntryPoint tp0 + State AllRed { + entry { + "sendString(\"pedLights=red\\n\");" + "sendString(\"carLights=red\\n\");" + "timeout.startTimeout(1000);" + } + } + State CarGreen { + entry { + "sendString(\"carLights=green\\n\");" + "timeout.startTimeout(3000);" + } + } + State CarYellow { + entry { + "sendString(\"carLights=yellow\\n\");" + "timeout.startTimeout(1000);" + } + } + State CarRed { + entry { + "sendString(\"carLights=red\\n\");" + "timeout.startTimeout(1000);" + } + } + State PedGreen { + entry { + "sendString(\"pedLights=green\\n\");" + "timeout.startTimeout(3000);" + } + } + } + } + } + } + } + + ActorClass TrafficLight [ + "This Actor is responsible for controlling a single traffic light via socket. It uses a socket client for communication." + ] { Interface { Port controller: PTrafficLight } @@ -167,17 +260,17 @@ RoomModel trafficlight.example { SAP blinkerTimeout: PTimer Binding trafficLightSocket.ControlPort and tcpCtrl Binding trafficLightSocket.PayloadPort and tcpPayload - Attribute ipConfig: DTcpControl ["configuration of the IP-port for the communication with the Traffic Light GUI"] + Attribute ipConfig: DTcpControl [ "configuration of the IP-port for the communication with the Traffic Light GUI" ] } Behavior { - Operation sendString(text: string)["convenience function for sending a string over the socket"] { - " + Operation sendString(text: string) [ "convenience function for sending a string over the socket" ] { + " DTcpPayload pl = new DTcpPayload(); pl.setData(text.getBytes()); tcpPayload.send(new DTcpPayload(1, text.length(), text.getBytes())); " } - StateMachine { + StateMachine { Transition init: initial -> OpenSocket { } Transition tr0: OpenSocket -> tp0 of Off_Blinking { triggers { @@ -299,20 +392,19 @@ RoomModel trafficlight.example { "controller.greenForPedDone();" } } - State state0 } } } ProtocolClass PTrafficLight { incoming { - Message greenForCar() ["trigger green for car"] - Message greenForPed() ["trigger green for pedestrians"] + Message greenForCar() [ "trigger green for car" ] + Message greenForPed() [ "trigger green for pedestrians" ] } outgoing { - Message greenForCarDone() ["positive response for greenForCar - is sent when switch is over"] - Message greenForPedDone() ["positive response for greenForPed - is sent when switch is over"] + Message greenForCarDone() [ "positive response for greenForCar - is sent when switch is over" ] + Message greenForPedDone() [ "positive response for greenForPed - is sent when switch is over" ] } } -} +}
\ No newline at end of file diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq index e83fc5937..f2eaa1c37 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/main_Async.seq @@ -6,6 +6,8 @@ /LSTraffic/main/application (!) /LSTraffic/main/application/light2 /LSTraffic/main/application/light2 (!) /LSTraffic/main/application/light2/trafficLightSocket /LSTraffic/main/application (!) /LSTraffic/main/application/controller + /LSTraffic/main/application (!) /LSTraffic/main/application/pedestrianLight + /LSTraffic/main/application/pedestrianLight (!) /LSTraffic/main/application/pedestrianLight/socketClient /LSTraffic/main (!) /LSTraffic/main/TimingService # done sub system initialization /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket open @@ -15,6 +17,9 @@ /LSTraffic/main/application/light2 >>> OpenSocket /LSTraffic/main/application/light2/trafficLightSocket >>> closed /LSTraffic/main/application/controller >>> Idle + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient open + /LSTraffic/main/application/pedestrianLight >>> OpenSocket + /LSTraffic/main/application/pedestrianLight/socketClient >>> closed /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket open /LSTraffic/main/application/light1/trafficLightSocket >-- /LSTraffic/main/application/light1 established @@ -24,6 +29,9 @@ /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient open + /LSTraffic/main/application/pedestrianLight/socketClient >-- /LSTraffic/main/application/pedestrianLight established + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened /LSTraffic/main/application/light1/trafficLightSocket --> /LSTraffic/main/application/light1 established /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send @@ -32,6 +40,10 @@ /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/application/pedestrianLight/socketClient --> /LSTraffic/main/application/pedestrianLight established + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_AllRed /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send @@ -44,6 +56,12 @@ /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout @@ -66,33 +84,30 @@ /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> Off_Blinking_On - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_CarGreen + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >>> Off_Blinking_On + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_On /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> Off_Blinking_Off /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send @@ -100,21 +115,21 @@ /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> Off_Blinking_On /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send @@ -122,116 +137,32 @@ /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >>> Off_Blinking_On - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> Off_Blinking_Off - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >>> Off_Blinking_Off + /LSTraffic/main/application/light1 >>> Off_Blinking_On /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout - /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForCar - /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForPed - /LSTraffic/main/application/controller >>> SwitchToLight1GreenForCars - /LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForCar - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> PedRed - /LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForPed - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >>> CarYellow2 /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >>> CarRed - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> CarYellow - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForPedDone - /LSTraffic/main/application/light2 >>> PedGreen - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone - /LSTraffic/main/application/light1 >>> CarGreen - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForPedDone - /LSTraffic/main/application/controller >>> state1 - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone - /LSTraffic/main/application/controller >>> Light1GreenForCars - /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout - /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForPed - /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light2 greenForCar - /LSTraffic/main/application/controller >>> SwitchToLight2GreenForCars - /LSTraffic/main/application/controller --> /LSTraffic/main/application/light1 greenForPed - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> CarYellow2 - /LSTraffic/main/application/controller --> /LSTraffic/main/application/light2 greenForCar - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >>> PedRed - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/light2 >>> Off_Blinking_Off /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send @@ -241,38 +172,13 @@ /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >>> CarRed + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >>> Off_Blinking_Off /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >>> CarYellow - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout - /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForPedDone - /LSTraffic/main/application/light1 >>> PedGreen /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForPedDone - /LSTraffic/main/application/controller >>> state2 - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForCarDone - /LSTraffic/main/application/light2 >>> CarGreen - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send - /LSTraffic/main/application/light2/trafficLightSocket >>> opened - /LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForCarDone - /LSTraffic/main/application/controller >>> Light2GreenForCars - /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/application/light1 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout @@ -296,9 +202,13 @@ /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1 >>> CarYellow /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout @@ -312,26 +222,71 @@ /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone - /LSTraffic/main/application/light1 >>> CarGreen + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForPedDone /LSTraffic/main/application/light2 >>> PedGreen - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone - /LSTraffic/main/application/controller >>> state0 + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForCarDone + /LSTraffic/main/application/light1 >>> CarGreen /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForPedDone + /LSTraffic/main/application/controller >>> state1 + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForCarDone /LSTraffic/main/application/controller >>> Light1GreenForCars /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/application/pedestrianLight/socketClient >-- /LSTraffic/main/application/pedestrianLight receive + /LSTraffic/main/application/pedestrianLight/socketClient --> /LSTraffic/main/application/pedestrianLight receive + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_CarYellow + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_CarRed + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_PedGreen + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_AllRed + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/application/pedestrianLight >-- /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight >>> Operational_CarGreen + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/application/pedestrianLight/socketClient send + /LSTraffic/main/application/pedestrianLight/socketClient >>> opened + /LSTraffic/main/application/pedestrianLight --> /LSTraffic/main/TimingService internalStartTimeout + /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/controller internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/controller internalTimeout /LSTraffic/main/application/controller >-- /LSTraffic/main/application/light1 greenForPed @@ -355,8 +310,8 @@ /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send /LSTraffic/main/application/light1 >>> CarRed /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout @@ -370,23 +325,25 @@ /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational - /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout - /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/pedestrianLight internalTimeout + /LSTraffic/main/TimingService --> /LSTraffic/main/application/pedestrianLight internalTimeout /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light2 internalTimeout - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForPedDone - /LSTraffic/main/application/light1 >>> PedGreen /LSTraffic/main/TimingService --> /LSTraffic/main/application/light2 internalTimeout + /LSTraffic/main/TimingService >-- /LSTraffic/main/application/light1 internalTimeout /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2 >-- /LSTraffic/main/application/controller greenForCarDone /LSTraffic/main/application/light2 >>> CarGreen - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send - /LSTraffic/main/application/light1/trafficLightSocket >>> opened - /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForPedDone - /LSTraffic/main/application/controller >>> state2 + /LSTraffic/main/TimingService --> /LSTraffic/main/application/light1 internalTimeout + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1 >-- /LSTraffic/main/application/controller greenForPedDone + /LSTraffic/main/application/light1 >>> PedGreen /LSTraffic/main/application/light2 --> /LSTraffic/main/application/light2/trafficLightSocket send /LSTraffic/main/application/light2/trafficLightSocket >>> opened /LSTraffic/main/application/light2 --> /LSTraffic/main/application/controller greenForCarDone + /LSTraffic/main/application/controller >>> state3 + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/light1/trafficLightSocket send + /LSTraffic/main/application/light1/trafficLightSocket >>> opened + /LSTraffic/main/application/light1 --> /LSTraffic/main/application/controller greenForPedDone /LSTraffic/main/application/controller >>> Light2GreenForCars /LSTraffic/main/application/controller --> /LSTraffic/main/TimingService internalStartTimeout /LSTraffic/main/TimingService >>> Operational @@ -397,4 +354,6 @@ /LSTraffic/main/application (X) /LSTraffic/main/application/light2 /LSTraffic/main/application/light2 (X) /LSTraffic/main/application/light2/trafficLightSocket /LSTraffic/main/application (X) /LSTraffic/main/application/controller + /LSTraffic/main/application (X) /LSTraffic/main/application/pedestrianLight + /LSTraffic/main/application/pedestrianLight (X) /LSTraffic/main/application/pedestrianLight/socketClient /LSTraffic/main (X) /LSTraffic/main/TimingService diff --git a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/subsystem_Async.seq b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/subsystem_Async.seq index 2bf53ebd1..d0ed2a840 100644 --- a/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/subsystem_Async.seq +++ b/examples/org.eclipse.etrice.tutorials.simulators.trafficlight.example/tmp/log/subsystem_Async.seq @@ -42,20 +42,15 @@ /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/controller doneInit /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carYellow - /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carYellow /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands pedRed /TrafficlightLogSys/subsystem/application/controller >>> Blinking_On /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/controller2 doneInit /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow - /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 pedRed /TrafficlightLogSys/subsystem/application/controller2 >>> Blinking_On /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carYellow /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carYellow - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands pedRed /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen @@ -64,9 +59,6 @@ /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow - /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send - /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 pedRed /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen @@ -76,10 +68,6 @@ /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened - /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send - /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send @@ -153,23 +141,25 @@ /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carOff + /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands pedOff /TrafficlightLogSys/subsystem/application/controller >>> Blinking_Off + /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carOff + /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send + /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carOff /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 pedOff /TrafficlightLogSys/subsystem/application/controller2 >>> Blinking_Off - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carOff - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands pedOff /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational + /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send + /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carOff /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen @@ -180,23 +170,17 @@ /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carYellow /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands pedRed /TrafficlightLogSys/subsystem/application/controller >>> Blinking_On - /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout - /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow - /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 pedRed - /TrafficlightLogSys/subsystem/application/controller2 >>> Blinking_On /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carYellow + /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands pedRed @@ -204,6 +188,14 @@ /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational + /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout + /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow + /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 pedRed + /TrafficlightLogSys/subsystem/application/controller2 >>> Blinking_On + /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send + /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened + /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send + /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen @@ -212,10 +204,6 @@ /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send @@ -296,8 +284,8 @@ /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout + /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carGreen /TrafficlightLogSys/subsystem/application/controller >>> Working_CarGreen /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout @@ -306,101 +294,54 @@ /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carGreen /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout - /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carGreen /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout - /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout - /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carYellow - /TrafficlightLogSys/subsystem/application/controller >>> Working_CarYellow - /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout + /TrafficlightLogSys/subsystem/application/tlCommands2/socket >-- /TrafficlightLogSys/subsystem/application/tlCommands2 receive + /TrafficlightLogSys/subsystem/application/tlCommands2/socket --> /TrafficlightLogSys/subsystem/application/tlCommands2 receive + /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/controller2 pressedButton + /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen + /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/controller2 pressedButton /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow /TrafficlightLogSys/subsystem/application/controller2 >>> Working_CarYellow - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carYellow - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout - /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carYellow /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout - /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carRed - /TrafficlightLogSys/subsystem/application/controller >>> Working_CarRed /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carRed /TrafficlightLogSys/subsystem/application/controller2 >>> Working_CarRed - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carRed - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout - /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carRed /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout - /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands pedGreen - /TrafficlightLogSys/subsystem/application/controller >>> Working_PedGreen /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 pedGreen /TrafficlightLogSys/subsystem/application/controller2 >>> Working_PedGreen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands pedGreen - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout - /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 pedGreen /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened - /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller internalTimeout - /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller internalTimeout /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout - /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands carRed - /TrafficlightLogSys/subsystem/application/controller >-- /TrafficlightLogSys/subsystem/application/tsCommands pedRed - /TrafficlightLogSys/subsystem/application/controller >>> Working_AllRed /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carRed /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 pedRed /TrafficlightLogSys/subsystem/application/controller2 >>> Working_AllRed - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands carRed - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/application/tsCommands pedRed - /TrafficlightLogSys/subsystem/application/tsCommands >-- /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands >>> SocketOpen - /TrafficlightLogSys/subsystem/application/controller --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout - /TrafficlightLogSys/subsystem/timingService >>> Operational /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carRed /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen @@ -409,14 +350,19 @@ /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/timingService internalStartTimeout /TrafficlightLogSys/subsystem/timingService >>> Operational - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened - /TrafficlightLogSys/subsystem/application/tsCommands --> /TrafficlightLogSys/subsystem/application/tsCommands/socket send - /TrafficlightLogSys/subsystem/application/tsCommands/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened + /TrafficlightLogSys/subsystem/timingService >-- /TrafficlightLogSys/subsystem/application/controller2 internalTimeout + /TrafficlightLogSys/subsystem/timingService --> /TrafficlightLogSys/subsystem/application/controller2 internalTimeout + /TrafficlightLogSys/subsystem/application/controller2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2 carGreen + /TrafficlightLogSys/subsystem/application/controller2 >>> Working_CarGreen + /TrafficlightLogSys/subsystem/application/controller2 --> /TrafficlightLogSys/subsystem/application/tlCommands2 carGreen + /TrafficlightLogSys/subsystem/application/tlCommands2 >-- /TrafficlightLogSys/subsystem/application/tlCommands2/socket send + /TrafficlightLogSys/subsystem/application/tlCommands2 >>> SocketOpen + /TrafficlightLogSys/subsystem/application/tlCommands2 --> /TrafficlightLogSys/subsystem/application/tlCommands2/socket send + /TrafficlightLogSys/subsystem/application/tlCommands2/socket >>> opened # begin sub system destruction /TrafficlightLogSys/subsystem (X) /TrafficlightLogSys/subsystem/application /TrafficlightLogSys/subsystem/application (X) /TrafficlightLogSys/subsystem/application/controller |