Browse Source

Going to change the controller_sa for the split version of the adaptations (described in the paper)

Cláudio Gomes 4 years ago
parent
commit
de91a377ea

+ 1 - 2
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/inter_module_powerwindow/powerwindow_inline.sa

@@ -10,7 +10,7 @@ for inner fmu Controller controller
 	at "./path/to/Controller.fmu"
 	with input ports obj_detected, passenger_up, passenger_down, driver_up, driver_down
 	with output ports up, down, stop
-input ports armature_current -> obj_detected, passenger_up, passenger_down, driver_up, driver_down
+input ports obj_detected -> obj_detected, passenger_up, passenger_down, driver_up, driver_down
 triggered by signal == true
 in rules with crossing absolute tolerance = 1e-8 and relative tolerance = 0.0001, no hold {
 	armature_current >! 5 -> obj_detected := true;
@@ -20,7 +20,6 @@ out rules with zero order hold {
 	"up" -> up := 1;
 	"stop" -> { up := 0; down := 0; };
 	"down" -> down := 1;
-	delay at up and down;
 }
 
 semantic adaptation WindowSA window_sa

+ 5 - 0
DSL_SemanticAdaptation/be.uantwerpen.ansymo.semanticadaptation.tests/input/power_window_case_study/controller_sa_commented.sa

@@ -1,5 +1,10 @@
 module Controller_SA
 
+/*
+ * This file is not used in the case study.
+ * The adaptations it does have been split.
+ */
+
 semantic adaptation reactive moore ControllerSA controller_sa
 at "./path/to/ControllerSA.fmu"