|
|
@@ -0,0 +1,50 @@
|
|
|
+Plant_PW plant_model_PW {
|
|
|
+ Boundary plant_powerwindow_dsl{
|
|
|
+ name = "plant_powerwindow_dsl"
|
|
|
+ Port driverWindowCommands {
|
|
|
+ name = "driverWindowCommands"
|
|
|
+ }
|
|
|
+ Port lockCommands {
|
|
|
+ name = "lockCommands"
|
|
|
+ }
|
|
|
+ Port detectObject {
|
|
|
+ name = "detectObject"
|
|
|
+ }
|
|
|
+ Port controlPassengerWindowCommands {
|
|
|
+ name = "controlPassengerWindowCommands"
|
|
|
+ }
|
|
|
+ Port passengerWindowCommands {
|
|
|
+ name = "passengerWindowCommands"
|
|
|
+ }
|
|
|
+
|
|
|
+ Side driver {
|
|
|
+ name = "driver"
|
|
|
+
|
|
|
+ PushPull pushpull1 {
|
|
|
+ name = "pushpull1"
|
|
|
+ }
|
|
|
+ PushPull pushpull2 {
|
|
|
+ name = "pushpull2"
|
|
|
+ }
|
|
|
+ LockOut s_ {
|
|
|
+ name = "s_"
|
|
|
+ }
|
|
|
+
|
|
|
+ }
|
|
|
+
|
|
|
+ Side passenger {
|
|
|
+ name = "passenger"
|
|
|
+
|
|
|
+ Rocker rocker {
|
|
|
+ name = "rocker"
|
|
|
+ }
|
|
|
+
|
|
|
+ Infrared IRSensor {
|
|
|
+ name = "IRSensor"
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ Controls (s_, passenger) {}
|
|
|
+ Controls (pushpull1, driver) {}
|
|
|
+ }
|
|
|
+}
|
