Added control model for power window

models/control_model.mvc

@@ -0,0 +1,81 @@
+Control_PW control_model_PW {
+    Boundary ctrl_powerwindow_dsl {
+        name = "ctrl_powerwindow_dsl"
+
+        Port p_cmdStop {
+            name = "cmdStop"
+        }
+        Port p_cmdUp {
+            name = "cmdUp"
+        }
+        Port p_cmdDown {
+            name = "cmdDown"
+        }
+        Port p_detectedObject {
+            name = "detectedObject"
+        }
+
+        State neutral {
+            name = "neutral"
+        }
+        State movingDown {
+            name = "movingDown"
+        }
+        State emergency {
+            name = "emergency"
+        }
+        State movingUp {
+            name = "movingUp"
+        }
+
+        Transition cmdStop1 {
+            name = "cmdStop"
+        }
+        Transition cmdDown1 {
+            name = "cmdDown"
+        }
+        Transition cmdUp1 {
+            name = "cmdUp"
+        }
+        Transition cmdStop2 {
+            name = "cmdStop"
+        }
+        Transition cmdDown2 {
+            name = "cmdDown"
+        }
+        Transition cmdUp2 {
+            name = "cmdUp"
+        }
+        Transition detectedObject {
+            name = "detectedObject"
+        }
+        Transition s_ {
+            name = ""
+        }
+
+        From (movingDown, cmdStop1) {}
+        To (cmdStop1, neutral) {}
+        From (neutral, cmdDown1) {}
+        To (cmdDown1, movingDown) {}
+        From (movingDown, cmdDown2) {}
+        To (cmdDown2, movingUp) {}
+        From (movingUp, cmdUp1) {}
+        To (cmdUp1, movingDown) {}
+        From (neutral, cmdUp2) {}
+        To (cmdUp2, movingUp) {}
+        From (movingUp, cmdStop2) {}
+        To (cmdStop2, neutral) {}
+        From (movingUp, detectedObject) {}
+        To (detectedObject, emergency) {}
+        From (emergency, s_) {}
+        To (s_, neutral) {}
+
+        PortTransition (p_detectedObject, detectedObject) {}
+        PortTransition (p_cmdDown, cmdDown1) {}
+        PortTransition (p_cmdDown, cmdDown2) {}
+        PortTransition (p_cmdUp, cmdUp1) {}
+        PortTransition (p_cmdUp, cmdUp2) {}
+        PortTransition (p_cmdStop, cmdStop1) {}
+        PortTransition (p_cmdStop, cmdStop2) {}
+    }
+}