|
|
@@ -0,0 +1,69 @@
|
|
|
+Environment_PW environment_model_PW {
|
|
|
+ Boundary DriverBlockWindow {
|
|
|
+ name = "DriverBlockWindow"
|
|
|
+
|
|
|
+ Port p_cmdUp {
|
|
|
+ name = "cmdUp"
|
|
|
+ }
|
|
|
+ Port p_cmdDown {
|
|
|
+ name = "cmdDown"
|
|
|
+ }
|
|
|
+ Port p_stickHead {
|
|
|
+ name = "stickHead"
|
|
|
+ }
|
|
|
+
|
|
|
+ Alternative {
|
|
|
+ name = "s_"
|
|
|
+ order = 0
|
|
|
+
|
|
|
+ CommunicationSequence {
|
|
|
+ name = "Driver"
|
|
|
+ order = 0
|
|
|
+ actor = "Driver"
|
|
|
+
|
|
|
+ Output cmdUp1 {
|
|
|
+ name = "cmdUp"
|
|
|
+ duration = 1
|
|
|
+ }
|
|
|
+ Output stickHead1 {
|
|
|
+ name = "stickHead"
|
|
|
+ duration = 1
|
|
|
+ }
|
|
|
+ Output cmdDown1 {
|
|
|
+ name = "cmdDown"
|
|
|
+ duration = 1
|
|
|
+ }
|
|
|
+
|
|
|
+ NextEvent (cmdUp1, stickHead1) {}
|
|
|
+ NextEvent (stickHead1, cmdDown1) {}
|
|
|
+ }
|
|
|
+ CommunicationSequence {
|
|
|
+ name = "s_"
|
|
|
+ actor = "Driver"
|
|
|
+ order = 0
|
|
|
+
|
|
|
+ Output cmdUp2 {
|
|
|
+ name = "cmdUp"
|
|
|
+ duration = 1
|
|
|
+ }
|
|
|
+ Output stickHead2 {
|
|
|
+ name = "stickHead"
|
|
|
+ duration = 1
|
|
|
+ }
|
|
|
+ Output cmdUp3 {
|
|
|
+ name = "cmdUp"
|
|
|
+ duration = 1
|
|
|
+ }
|
|
|
+
|
|
|
+ NextEvent (cmdUp2, stickHead2) {}
|
|
|
+ NextEvent (stickHead2, cmdUp3) {}
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ PortEvent (p_stickHead, stickHead1) {}
|
|
|
+ PortEvent (p_stickHead, stickHead2) {}
|
|
|
+ PortEvent (p_cmdUp, cmdUp1) {}
|
|
|
+ PortEvent (p_cmdUp, cmdUp2) {}
|
|
|
+ PortEvent (p_cmdDown, cmdDown1) {}
|
|
|
+ }
|
|
|
+}
|
