no message

HITECS/Activities/Activity_1.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_1(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9){
+
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp16.operation40(Component_13.OnOff.OFF);
+    comp15.operation23(-1);
+    comp16.operation23(-1);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp18.operation20(Component_15.Value5.LOAD);
+    comp11.operation20(Component_9.Value5.LOAD);
+}

HITECS/Activities/Activity_10.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_10(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6){
+
+    comp6.operation25(Component_6.PowerMeasType.RX);
+    comp6.operation31(1);
+    comp6.operation32(Component_6.OnOff.ON);
+    comp6.operation39(1);
+    comp6.operation36(Component_6.OnOff.ON);
+    comp6.setAutoScaling(Component_6.ScalingMode.ONCE);
+    comp6.operation40(Component_6.OnOff.ON);
+    comp6.operation40(Component_6.OnOff.OFF);
+}

HITECS/Activities/Activity_11.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_11(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6, in comp11:Component_9,in comp19:Component_16,in comp4:Component_4){
+
+      comp6.operation2();
+      comp6.operation1();
+      comp6.operation25(Component_6.PowerMeasType.GDEL);
+      comp6.operation26(1);
+      comp6.operation27(1);
+      comp6.operation21(Component_6.ChannelMode.SCALAR);
+      comp6.operation25(Component_6.PowerMeasType.GDEL);
+      comp6.operation28(comp4.SourceStartFreq());
+      comp6.operation29(comp4.SourceStopFreq());
+      comp6.operation30(comp4.Step64());
+      comp6.operation31(1);
+      comp6.operation32(Component_6.OnOff.ON);
+      comp6.operation33(1);
+      comp6.operation34(10);
+      comp6.operation35(6);
+      comp6.operation36(Component_6.OnOff.ON);
+      comp6.operation37(Component_6.OnOff.ON);
+      comp6.operation38(comp4.ConversionFreq());
+      comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
+      comp6.operation40(Component_6.OnOff.ON);
+      comp6.operation40(Component_6.OnOff.OFF);
+
+}

HITECS/Activities/Activity_12.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_12(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp5:Component_5,in comp1:Component_1,in comp2:Component_2){
+
+    comp12.operation49(30);
+    comp12.operation51(3);
+    comp12.operation54(10);
+    comp12.operation56(comp2.operation7());
+    comp12.operation61(Component_10.OnOff.ON);
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp1.operation24(comp2.operation11());
+    comp1.operation24(comp13.operation64());
+}

HITECS/Activities/Activity_13.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_13(in comp13:Component_11,in comp3:Component_3,in comp1:Component_1,in comp9:TXComponent_8,in comp10:RXComponent_8,in comp18:Component_15,in comp11:Component_9,in comp5:Component_5,in comp15:Component_13,in comp12:Component_10,in comp7:Component_7,in comp10:RXComponent_8,in comp19:Component_16){
+
+      comp1.operation3(comp3.operation13());
+      comp1.operation4(comp3.operation14());
+      comp1.operation24(comp13.operation64());
+      comp9.operation43(Component_16.convertToComponent_8Value5(comp3.operation15()));
+      comp10.operation43(Component_16.convertToComponent_8Value5(comp3.operation16()));
+      comp18.operation20(Component_15.Value5.LOAD);
+      comp11.operation20(Component_9.Value5.LOAD);
+      comp5.operation20(Component_5.Value5.LOAD);
+      comp15.operation2();
+      comp16.operation2();
+      comp12.operation2();
+      comp7.operation2();
+      comp8.operation2();
+      comp10.operation2();
+      comp9.operation2();
+      comp9.operation42();
+      comp10.operation42();
+      comp15.operation1();
+      comp16.operation1();
+      comp12.operation1();
+      comp7.operation1();
+      comp8.operation1();
+      comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
+      comp18.operation20(Component_16.convertToComponent_15Value5(comp3.operation15()));
+      comp15.operation41(comp3.operation13());
+      comp15.operation23(comp4.F2());
+      comp7.operation41(comp3.operation13());
+}

HITECS/Activities/Activity_14.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_14(in comp13:Component_11,in comp3:Component_3,in comp1:Component_1,in comp9:TXComponent_8,in comp18:Component_15,in comp11:Component_9,in comp5:Component_5,in comp15:Component_13,in comp12:Component_10,in comp7:Component_7,in comp10:RXComponent_8,in comp19:Component_16){
+
+    comp1.operation3(comp3.operation13());
+    comp1.operation4(comp3.operation14());
+    comp1.operation24(comp13.operation64());
+    comp9.operation43(Component_16.convertToComponent_8Value5(comp3.operation15()));
+    comp18.operation20(Component_15.Value5.LOAD);
+    comp11.operation20(Component_9.Value5.LOAD);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp15.operation2();
+    comp12.operation2();
+    comp7.operation2();
+    comp9.operation2();
+    comp9.operation42();
+    comp15.operation1();
+    comp12.operation1();
+    comp7.operation1();
+    comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
+    comp18.operation20(Component_16.convertToComponent_15Value5(comp3.operation15()));
+    comp15.operation41(comp3.operation13());
+    comp15.operation23(comp4.F2());
+    comp7.operation41(comp3.operation13());
+}

HITECS/Activities/Activity_16.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_15(in comp13:Component_11,in comp3:Component_3,in comp16:Component_13,in comp9:Component_8,in comp10:RXComponent_8,in comp3:Component_3,in comp1:Component_1,in comp18:Component_15,in comp12:Component_10,in comp11:Component_9,in comp17:Component_14,in comp6:Component_6,in comp7:Component_7,in comp8:Component_7,in comp4:Component_4,in comp19:Component_16){
+
+    comp1.operation3(comp3.operation13());
+    comp1.operation4(comp3.operation14());
+    comp1.operation24(comp13.operation64());
+    comp18.operation20(Component_15.Value5.LOAD);
+    comp11.operation20(Component_9.Value5.LOAD);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp9.operation43(Component_16.convertToComponent_8Value5(comp3.operation15()));
+    comp10.operation43(Component_16.convertToComponent_8Value5(comp3.operation16()));
+    comp6.operation2();
+    comp16.operation2();
+    comp12.operation2();
+    comp7.operation2();
+    comp8.operation2();
+    comp9.operation2();
+    comp10.operation2();
+    comp9.operation42();
+    comp10.operation42();
+    comp6.operation1();
+    comp16.operation1();
+    comp12.operation1();
+    comp7.operation1();
+    comp8.operation1();
+    comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
+    comp18.operation20(Component_16.convertToComponent_15Value5(comp3.operation15()));
+    comp17.operation76(Component_14.OnOff.ON);
+    comp17.operation77(Component_14.OnOff.ON);
+    comp1.operation24(comp13.operation64());
+    comp6.operation21(Component_6.ChannelMode.SCALAR);
+    comp6.operation25(Component_6.PowerMeasType.RX);
+    comp6.operation22(comp3.operation13());
+    comp6.operation23(comp4.F2());
+    comp7.operation41(comp3.operation13());
+}

HITECS/Activities/Activity_17.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_16(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13){
+
+    comp15.operation75(Component_13.OnOff.OFF);
+}

HITECS/Activities/Activity_18.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_17(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp6:Component_6){
+
+    comp6.operation2();
+    comp6.operation1();
+    comp15.operation75(Component_13.OnOff.OFF);
+}

HITECS/Activities/Activity_19.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_18(in comp13:Component_11,in comp3:Component_3){
+        // empty
+}

HITECS/Activities/Activity_2.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_2(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13){
+
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp15.operation23(-1);
+    operation20(Component_5.Value5.LOAD);
+    operation20(Component_15.Value5.LOAD);
+}

HITECS/Activities/Activity_20.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_19(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp5:Component_5,in comp4:Component_4,in comp19:Component_16,in comp2:Component_2){
+
+    comp12.operation44(comp4.F1());
+    comp12.operation46(comp3.operation14());
+    comp12.operation49(10);
+    comp12.operation54(10);
+    comp12.operation56(comp2.operation7());
+    comp5.operation20(comp19.operation78(comp3.operation15()));
+}

HITECS/Activities/Activity_21.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_20(in comp13:Component_11,in comp3:Component_3,in comp11:Component_9,in comp12:Component_10,in comp4:Component_4,in comp19:Component_16,in comp2:Component_2){
+
+    comp11.operation20(comp19.convertToComponent_9Value5(comp3.operation16()));
+    comp12.operation44(comp4.F1());
+    comp12.operation46(comp3.operation14());
+    comp12.operation49(10);
+    comp12.operation51(Component_10.value29_AUTO);
+    comp12.operation54(10);
+    comp12.operation56(comp2.operation7());
+}

HITECS/Activities/Activity_22.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_21(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp4:Component_4,in comp2:Component_2){
+
+    comp12.operation46(comp4.NCF());
+    comp12.setDemodoperation12width(25);
+    comp12.operation51(10);
+    comp12.operation49(1.0);
+    comp12.operation46(20);
+    comp12.operation44(10);
+    comp12.operation56(20);
+    comp12.operation49(25);
+    comp12.operation56(comp2.operation7());
+    comp12.operation46(comp4.Component_10CF());
+    comp12.operation56(comp2.operation7());
+    comp16.operation40(Component_13.OnOff.OFF);
+    comp16.operation23(-1);
+}

HITECS/Activities/Activity_23.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_22(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
+
+    comp15.operation23(comp4.PowerLvPlusDelta());
+    comp15.operation23(comp4.F2());
+}

HITECS/Activities/Activity_24.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_23(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
+
+    comp15.operation23(comp4.PowerLvPlusDelta());
+    comp15.operation23(comp4.PowerLvMinusNDelta());
+}

HITECS/Activities/Activity_25.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_24(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
+
+    comp15.operation23(comp4.PowerLvPlusDelta());
+}

HITECS/Activities/Activity_26.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_25(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp14:Component_12,in comp4:Component_4,in comp2:Component_2){
+
+    comp12.operation1();
+    comp12.operation46(comp4.NCF());
+    comp12.operation49(10);
+    comp12.operation51(Component_10.value29_AUTO);
+    comp12.operation54(10);
+    comp12.operation44(comp2.operation9());
+    comp15.operation23(comp4.PsLim());
+    comp15.operation75(Component_13.OnOff.OFF);
+    comp14.operation66(Component_12.value40.LIMITER);
+    comp15.operation23(comp4.SLevel());
+}

HITECS/Activities/Activity_27.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_26(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4,in comp2:Component_2){
+
+    comp12.operation1();
+    comp12.operation46(comp4.NCF());
+    comp12.operation49(10);
+    comp12.operation51(Component_10.value29_AUTO);
+    comp12.operation54(10);
+    comp12.operation44(comp2.operation9());
+    comp15.operation23(comp4.PsFCA());
+    comp15.operation23(comp4.PsFCAModified());
+}

HITECS/Activities/Activity_28.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_27(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp6:Component_6,in comp11:Component_9,in comp4:Component_4,in comp2:Component_2){
+
+    comp12.operation1();
+    comp12.operation46(comp4.NCF());
+    comp12.operation49(10);
+    comp12.operation51(Component_10.value29_AUTO);
+    comp12.operation54(10);
+    comp12.operation62(10);
+    comp12.operation44(comp2.operation9Modified());
+    comp11.operation20(Component_9.Value5.Component_6);
+    comp15.operation41(comp4.f1());
+    comp6.operation22(comp4.f2());
+    comp12.operation56(comp4.im1());
+    comp12.operation56(0);
+    comp15.operation23(comp4.PsIM3());
+    comp15.operation40(Component_13.OnOff.ON);
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp6.operation23(comp4.PsIM3());
+    comp6.operation40(Component_6.OnOff.ON);
+    comp15.operation40(Component_13.OnOff.ON);
+}

HITECS/Activities/Activity_29.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_28(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp6:Component_6,in comp11:Component_9,in comp4:Component_4){
+
+    comp12.setoperation7(comp4.RefLvModified());
+    comp12.operation46(comp4.f1Modified());
+    comp12.operation49(20);
+    comp12.operation51(Component_10.value29_AUTO);
+    comp12.operation46(comp4.f2Modified());
+    comp12.operation46(comp4.im1());
+    comp12.operation46(comp4.im2());
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp6.operation40(Component_6.OnOff.OFF);
+}

HITECS/Activities/Activity_3.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_3(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9,in comp14:Component_12){
+
+    comp14.operation66(Component_12.value40.LINEAR);
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp16.operation40(Component_13.OnOff.OFF);
+    comp15.operation23(-1);
+    comp16.operation23(-1);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp18.operation20(Component_15.Value5.LOAD);
+    comp11.operation20(Component_9.Value5.LOAD);
+}

HITECS/Activities/Activity_30.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_29(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4){
+
+    comp12.operation46(comp4.NCF());
+    comp15.operation73(20);
+    comp15.operation74(10);
+    comp15.operation75(Component_13.OnOff.ON);
+    comp15.operation40(Component_13.OnOff.ON);
+    comp15.operation23(comp4.F2Modified());
+}

HITECS/Activities/Activity_31.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_30(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10){
+
+    comp12.operation51(3);
+    comp12.operation56(Component_10.operation47());
+    comp12.operation41CntMode(Component_10.OnOff.ON);
+    comp12.operation41CntRes(0.01);
+    comp12.operation41CntMode(Component_10.OnOff.OFF);
+
+}

HITECS/Activities/Activity_32.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_31(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4,in comp2:Component_2){
+
+    for(i in 0..10){
+      comp15.operation40(Component_13.OnOff.ON);
+      comp15.operation23(comp4.F3());
+    }
+    comp15.operation23(comp4.F2());
+    comp12.operation56(comp2.operation7());
+    comp12.operation44(comp2.operation7Modified());
+    
+    if (comp12.value25CntMode == comp12.ONOff.OFF) {
+      comp12.operation46(comp12.operation57());
+    }
+}

HITECS/Activities/Activity_33.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_32(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4,in comp2:Component_2){
+
+    comp6.operation40(Component_6.OnOff.ON);
+    for(i in 0..10){
+      comp15.operation23(comp4.F3());
+    }
+
+    comp12.operation56(comp2.operation7());
+    comp12.operation44(comp2.operation7Modified());
+    
+    if (comp12.value25CntMode == comp12.ONOff.OFF) {
+      comp12.operation46(Component_10.operation57());
+    }
+}

HITECS/Activities/Activity_34.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_33(in comp13:Component_11,in comp3:Component_3){
+    //empty
+}

HITECS/Activities/Activity_35.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_34(in comp13:Component_11,in comp3:Component_3){
+    //empty
+}

HITECS/Activities/Activity_36.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_35(in comp13:Component_11,in comp3:Component_3){
+    //empty
+}

HITECS/Activities/Activity_37.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_36(in comp13:Component_11,in comp3:Component_3){
+    //empty
+}

HITECS/Activities/Activity_4.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_3(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9,in comp14:Component_12){
+
+    comp6.operation40(Component_6.OnOff.OFF);
+    comp16.operation40(Component_13.OnOff.OFF);
+    comp6.operation23(-1);
+    comp16.operation23(-1);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp18.operation20(Component_15.Value5.LOAD);
+    comp11.operation20(Component_9.Value5.LOAD);
+}

HITECS/Activities/Activity_5.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_3(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6,in comp15:Component_13,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9,in comp14:Component_12){
+
+    comp15.operation40(Component_13.OnOff.OFF);
+    comp16.operation40(Component_13.OnOff.OFF);
+    comp6.operation40(Component_6.OnOff.OFF);
+    comp15.operation23(-1);
+    comp16.operation23(-1);
+    comp6.operation23(-1);
+    comp5.operation20(Component_5.Value5.LOAD);
+    comp18.operation20(Component_15.Value5.LOAD);
+    comp11.operation20(Component_9.Value5.LOAD);
+}

HITECS/Activities/Activity_6.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_6(in comp13:Component_11,in comp3:Component_3){
+    //empty
+}

HITECS/Activities/Activity_7.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_7(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp8:Component_7,in comp11:Component_9,in comp4:Component_4,in comp19:Component_16){
+
+    comp12.operation46(this.comp4.NCF());
+    comp12.operation49(5);
+    comp12.operation51(Component_10.value29_AUTO);
+    comp12.operation44(comp4.F1());
+    comp16.operation41(comp4.NCFModified());
+    comp8.operation41(comp4.NCFModified());
+    comp16.operation23(comp4.F4());
+    comp11.operation20(comp19.convertToComponent_9Value5(comp3.operation16()));
+    comp16.operation40(Component_13.OnOff.ON);
+}

HITECS/Activities/Activity_8.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_8(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp8:Component_7,in comp11:Component_9,in comp4:Component_4,in comp19:Component_16,in comp2:Component_2){
+
+    comp12.operation46(comp4.NCF());
+    comp12.operation49(5);
+    comp12.operation44(comp4.F1());
+    comp12.operation51(Component_10.value29_AUTO);
+    comp16.operation41(comp4.NCFModified());
+    comp8.operation41(comp4.NCFModified());
+    comp11.operation20(comp19.convertToComponent_9Value5(comp3.operation16()));
+    comp16.operation40(Component_13.OnOff.ON);
+    comp12.operation49(10);
+    comp12.operation56(comp2.operation7());
+    comp12.operation46(comp4.NCFModified());
+    comp12.operation56(comp2.operation7());
+    comp16.operation40(Component_13.OnOff.OFF);
+}

HITECS/Activities/Activity_9.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_9(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp15:Component_13,in comp4:Component_4){
+
+    comp12.operation46(comp4.NCF());
+    comp15.operation73(20);
+    comp15.operation74(10);
+    comp15.operation75(Component_13.OnOff.ON);
+    comp15.operation40(Component_13.OnOff.ON);
+    comp15.operation23(comp4.F2());
+}

HITECS/Component/Component_1.hitecs

+namespace Component;
+
+component Component_1{
+  private operation24:Integer=0;
+  private value1:Component_3.operation12;
+  private value2:Component_3.operation12;
+
+
+  public activity getInstance():Component_1[0..1]{
+          instance=Component_1.allInstances();
+          if(instance->isEmpty()){
+            instance=new Component_1();
+          }
+
+          return instance->first();
+    }
+
+  @Initialize
+  public operation1(){
+          this.operation24=-1;
+  }
+
+  @Initialize
+  public operation24(in value3:Integer){
+          this.operation24=value3;
+  }
+
+  @Initialize
+  public operation79():Integer{
+          return this.operation24;
+  }
+
+  @Initialize
+  public operation3(in value25:Real){
+          txoperation12=Component_3::getInstance().operation12(value25);
+  }
+
+  public operation4(in value25:Real){
+          rxoperation12=Component_3::getInstance().operation12(value25);
+  }
+
+  @Act
+  public operation5() : Component_3.operation12 {
+          return this.rxoperation12;
+  }
+
+  @Act
+  public operation6() : Component_3.operation12 {
+          return this.txoperation12;
+  }
+
+}

HITECS/Component/Component_10.hitecs

+namespace Component;
+component Component_10{
+
+    public enum operation57Func {
+        INIT,
+        NOIS_MEAS
+    }
+
+    public enum OnOff {
+        ON,
+        OFF
+    }
+
+    public enum PowerMeas {
+        INIT,
+        SHORT
+    }
+    private  value29_AUTO : Real;
+    public   value26 : Integer;
+    private  value27:Real;
+    private  centFreq:Real;
+    private  value28:Real;
+    private  value29:Real;
+    private  value30:Real;
+    private  value31:Real;
+    private  value25CntMode:OnOff;
+    private  value25CntRes:Real;
+    private  demodoperation12width:Real;
+    private  noisMeasMode:OnOff;
+    private  value34:Integer;
+    private  value35:Real;
+    private  value36:Real;
+
+
+    public activity getInstance():Component_10[0..1]{
+            instance=Component_10.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_10();
+            }
+
+            return instance->first();
+    }
+
+    @Intialize
+    public  operation2(){
+            this.value27=0;
+            this.centFreq=0;
+            this.value28=0;
+            this.value29=0;
+            this.value30=0;
+            this.value31=0;
+            this.value25CntMode=OnOff.OFF;
+            this.value25CntRes=0;
+    }
+
+    @Intialize
+    public  operation1(){
+            this.value27=0;
+            this.centFreq=0;
+            this.value28=0;
+            this.value29=0;
+            this.value30=0;
+            this.value31=0;
+            this.value25CntMode=OnOff.OFF;
+            this.value25CntRes=0;
+    }
+
+    @Act
+    public  operation1(){
+            this.value27=0;
+            this.centFreq=0;
+            this.value28=0;
+            this.value29=0;
+            this.value30=0;
+            this.value31=0;
+            this.value25CntMode=OnOff.OFF;
+            this.value25CntRes=0;
+    }
+    @Act
+    public  operation44(in lv:Real){
+              this.value27=lv;
+    }
+
+    @Act
+    public  operation45():Real{
+            return this.value27;
+    }
+    @Act
+    public  operation46(in value25:Real){
+            this.centFreq=value25;
+    }
+    @Act
+    public  operation47():Real{
+            return this.centFreq;
+    }
+    @Act
+    public  setDemodoperation12width(in bandwidth:Real){
+            this.demodoperation12width=bandwidth;
+    }
+
+    @Act
+    public  operation50(in value25:Real){
+            this.value36=value25;
+    }
+
+    @Act
+    public  operation49(in span:Real){
+            this.value28=span;
+    }
+    @Act
+    public  operation52():Real{
+            return this.value28;
+    }
+
+    @Act
+    public  operation51(in rbw:Real){
+            this.value29=rbw;
+    }
+    @Act
+    public operation53():Real{
+            return this.value29;
+    }
+
+    @Act
+    public operation54(in vbw:Real){
+            this.value30=vbw;
+    }
+
+    @Act
+    public  operation55():Real{
+            return this.value30;
+    }
+    @Act
+    public  operation56(in value31:Real){
+            this.value31=value31;
+    }
+    @Act
+    public operation57():Real{
+            return this.value31;
+    }
+    @Act
+    public  operation41CntMode(in mode:OnOff){
+            this.value25CntMode=mode;
+    }
+    @Act
+
+    public  operation58():OnOff{
+            return this.value25CntMode;
+    }
+
+    @Act
+    public operation41CntRes(in res:Real){
+            this.value25CntRes=res;
+    }
+    @Act
+    public  operation60():Real{
+            return this.value25CntRes;
+    }
+
+    @Act
+    public  operation61(in mode:OnOff){
+            this.noisMeasMode=mode;
+    }
+    @Act
+    public  operation62(in value:Integer){
+            this.value34=value;
+    }
+    @Act
+    public  setoperation7(in peak:Real){
+            this.value35=peak;
+    }
+}

HITECS/Component/Component_11.hitecs

+namespace Component;
+component Component_11{
+
+    private name:String;
+    private value3:Integer;
+    @Create
+    public Component_11(in value3:Integer,in name:String){
+            this.value3=value3;
+            this.name=name;
+    }
+
+    @Act
+    public  operation64():Integer{
+            return this.value3;
+    }
+
+}

HITECS/Component/Component_12.hitecs

+namespace Component;
+component Component_12{
+
+
+    public enum value40 {
+        LINEAR,
+        LIMITER
+    }
+
+    private  value38:value40;
+    private comp13operation64:Integer;
+
+    public activity getInstance():Component_12[0..1]{
+            instance=Component_12.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_12();
+            }
+            return instance->first();
+    }
+    @Act
+    public  setSatoperation64(in value3:Integer){
+            this.comp13operation64=value3;
+    }
+    @Act
+    public  operation66(in mode:value40){
+            this.value38=mode;
+    }
+
+    @Cleanup
+    public  operation66(in mode:value40){
+            this.value38=mode;
+    }
+}

HITECS/Component/Component_13.hitecs

+namespace Component;
+component Component_13{
+
+    public enum OnOff {
+        ON,
+        OFF
+    }
+    private comp15 : Component_13;
+    private comp16 : Component_13;
+    private  value25:Real;    // unit: GHz
+    private value7:Real; // unit: dBm
+    private value41:OnOff;
+    private value41:Real;
+    private value42:Real;
+    private  value43:OnOff;
+
+    public activity getInstance(in id:Integer):Component_13[0..1]{
+            comp15=Component_13.allInstances();
+            comp16=Component_13.allInstances();
+            if(id==1){
+
+              if(comp15->isEmpty()){
+                comp15=new Component_13();
+              }
+              return comp15->first();
+            }
+            if(id==2){
+              if(comp16->isEmpty()){
+                comp16=new Component_13();
+              }
+            return comp16->first();
+            }
+            return null;
+    }
+
+    @Initialize
+    public  operation2(){
+            value25=1;
+            value7=-1;
+            value41=OnOff.OFF;
+    }
+
+    @Initialize
+    public operation1(){
+            value25=1;
+            value7=-1;
+            value41=OnOff.OFF;
+    }
+    @Initialize
+    public  operation41(in value25:Real){
+            this.value25=value25;
+            }
+    @Initialize
+    public  operation23(in lv:Real){
+            this.value7=lv;
+    }
+
+    @Act
+    public operation69():Real{
+            return this.value25;
+    }
+
+    @Act
+    public  operation41(in value25:Real){
+            this.value25=value25;
+    }
+
+    @Act
+    public operation70():Real{
+            return this.value7;
+    }
+    @Act
+    public  operation40(in mode:OnOff){
+            this.value41=mode;
+    }
+    @Act
+    public  operation72():OnOff{
+            return this.value41;
+    }
+
+    @Act
+    public operation73(in value25:Real){
+            this.value41=value25;
+    }
+
+    @Act
+    public  operation74(in p:Real){
+            this.value42=p;
+    }
+    @Act
+    public  operation75(in mode:OnOff){
+            this.value43=mode;
+    }
+
+    @Cleanup
+    public  operation23(in lv:Real){
+            this.value7=lv;
+    }
+
+    @Cleanup
+    public  operation40(in mode:OnOff){
+            this.value41=mode;
+    }
+}

HITECS/Component/Component_14.hitecs

+namespace Component;
+component Component_14{
+
+    public enum OnOff {
+        ON,
+        OFF
+    }
+
+    private  value44:OnOff;
+    private  value45:OnOff;
+
+    public activity getInstance():Component_14[0..1]{
+            instance=Component_14.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_14();
+            }
+            return instance->first();
+            }
+
+    @Initialize
+    public operation76(in mode:OnOff){
+            this.value44=mode;
+    }
+
+    @Initialize
+    public  operation77(in mode:OnOff){
+            this.value45=mode;
+    }
+
+    @Act
+    public operation76(in mode:OnOff){
+            this.value44=mode;
+
+    }
+    @Act
+    public  operation77(in mode:OnOff){
+            this.value45=mode;
+    }
+}

HITECS/Component/Component_15.hitecs

+namespace Component;
+component Component_15{
+
+    public enum Value5 {
+        LOAD,
+        V,
+        H
+    }
+    private value4:Value5;
+
+    public activity getInstance():Component_15[0..1]{
+            instance=Component_15.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_15();
+            }
+            return instance->first();
+    }
+
+    @Initialize
+    public  operation20(in value4:Value5){
+            this.value4=value4;
+    }
+
+    @Act
+    public  operation20(in value4:Value5){
+            this.value4=value4;
+    }
+    
+    @Cleanup
+    public  operation20(in value4:Value5){
+            this.value4=value4;
+    }
+}

HITECS/Component/Component_16.hitecs

+namespace Component;
+
+class Component_16 {
+
+    @Create
+    private Component_16() {
+    }
+
+    public activity getInstance() :Component_16[0..1]
+
+    {
+        instance = Component_16.allInstances();
+        if (instance -> isEmpty()) {
+            instance = new Component_16();
+        }
+
+        return instance -> first();
+    }
+
+
+    public operation78(in pol :Component_3.Pol) :Component_5.Value5
+
+    {
+        if (pol == Component_3.Pol.H) {
+            return Component_5.Value5.H;
+        }
+        return Component_5.Value5.V;
+    }
+
+    public convertToComponent_15Value5(in pol :Component_3.Pol) :Component_15.Value5
+
+    {
+        if (pol == Component_3.Pol.H) {
+            return Component_15.Value5.H;
+        }
+        return Component_15.Value5.V;
+    }
+
+    public convertToComponent_9Value5(in pol :Component_3.Pol) :Component_9.Value5
+
+    {
+        if (pol == Component_3.Pol.H) {
+            return Component_9.Value5.H;
+        }
+        return Component_9.Value5.V;
+    }
+
+    public convertToComponent_8Value5(in pol :Component_3.Pol) :Component_8.Value5
+
+    {
+        if (pol == Component_3.Pol.H) {
+            return Component_8.Value5.H;
+        }
+        return Component_8.Value5.V;
+
+    }
+}

HITECS/Component/Component_2.hitecs

+namespace Component;
+
+class Component_2 {
+
+    @Create
+    private Component_2() {
+        }
+
+    public activity getInstance() :Component_2[0..1]
+
+        {
+            instance = Component_2.allInstances();
+            if (instance -> isEmpty()) {
+                instance = new Component_2();
+            }
+
+            return instance -> first();
+        }
+
+    private clearSkyoperation64 :Integer;
+
+    public operation7() :Real {
+            return Unknown;
+        }
+
+    public operation7Modified():Real{
+            return Unknown;
+        }
+
+    public operation9():Real{
+            return Unknown;
+        }
+
+    public operation9Modified():Real{
+            return Unknown;
+        }
+
+    public operation11():Integer{
+            return Unknown;
+        }
+
+
+}

HITECS/Component/Component_3.hitecs

+namespace Component;
+component Component_3{
+
+    public enum Pol {
+        H, V
+    }
+
+    public enum operation12 {
+        L, S, C, X, Ku, K, Ka
+    }
+
+    private operation13:Real;
+    private operation14:Real;
+    private operation15:Pol;
+    private operation16:Pol;
+    private id:Integer;
+    private test:operation12;
+
+
+    public activity getInstance():Component_3[0..1]{
+            instance=Component_3.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_3();
+    }
+
+            return instance->first();
+    }
+
+    @Create
+    private Component_3(in operation13:Real,in operation14:Real,in operation15:Pol,in operation16:Pol,in id:Integer){
+            this.operation13=operation13;
+            this.operation14=operation14;
+            this.operation15=operation15;
+            this.operation16=operation16;
+            this.id=id;
+    }
+
+    @Act
+    public operation12(in value25:Real):operation12{
+
+            if(value25>=1&&value25< 2){
+                return operation12.L;
+
+            }
+            else if(value25>=2&&value25< 4){
+                return operation12.S;
+
+            }
+            else if(value25>=4&&value25< 8){
+                return operation12.C;
+            }
+            else if(value25>=8&&value25< 12){
+                return operation12.X;
+            }
+            else if(value25>=12&&value25< 18){
+                return operation12.Ku;
+            }
+            else if(value25>=18&&value25< 26){
+                return operation12.K;
+            }
+            else if(value25>=26&&value25< 40){
+                return operation12.Ka;
+            }
+
+            else{
+                return operation12.L;
+            }
+    }
+
+    @Act
+    public operation13():Real{
+            return this.operation13;
+    }
+
+    public operation14():Real{
+            return this.operation14;
+    }
+    @Act
+
+    public  operation15():Pol{
+            return this.operation15;
+    }
+
+    @Act
+    public  operation16():Pol{
+            return this.operation16;
+    }
+
+    @Act
+    public operation17():Integer{
+            return this.id;
+    }
+
+    @Act
+    public operation6():operation12[0..*]{
+            return operation12(operation13());
+    }
+    @Act
+    public operation5():operation12[0..*]{
+            return operation12(operation14());
+    }
+}

HITECS/Component/Component_4.hitecs

+namespace Component;
+class Component_4  {
+
+    public  F1() : Real {
+        return Unknown;
+    }
+
+    public  F2(): Real {
+        return Unknown;
+    }
+
+    public  F2Modified(): Real {
+        return Unknown;
+    }
+
+    public  F3() : Real{
+        return Unknown;
+    }
+
+    public  F4() : Real{
+        return Unknown;
+    }
+
+    public  NCF() : Real{
+        return Unknown;
+    }
+
+    public  NCFModified(): Real {
+        return Unknown;
+    }
+
+    public  Component_10CF() : Real{
+        return Unknown;
+    }
+
+    public  PowerLvPlusDelta() : Real{
+        return Unknown;
+    }
+
+    public  PowerLvMinusNDelta() : Real{
+        return Unknown;
+    }
+
+    public  PsLim() : Real{
+        return Unknown;
+    }
+
+    public  SLevel() : Real{
+        return Unknown;
+    }
+
+    public  PsFCA(): Real {
+        return Unknown;
+    }
+
+    public  PsFCAModified() : Real{
+        return Unknown;
+    }
+
+    public  SourceStartFreq() : Real{
+        return Unknown;
+    }
+
+    public SourceStopFreq(): Real {
+        return Unknown;
+    }
+
+    public Step64(): Real {
+        return Unknown;
+    }
+
+    public ConversionFreq(): Real {
+        return Unknown;
+    }
+
+    public f1() : Real{
+        return Unknown;
+    }
+
+    public  f1Modified() : Real{
+        return Unknown;
+    }
+
+    public  f2(): Real {
+        return Unknown;
+    }
+
+    public f2Modified(): Real {
+        return Unknown;
+    }
+
+    public im1() : Real{
+        return Unknown;
+    }
+
+    public im2(): Real {
+        return Unknown;
+    }
+
+    public  PsIM3() : Real{
+        return Unknown;
+    }
+
+    public  RefLvModified(): Real {
+        return Unknown;
+    }
+
+    public  value28(): Real {
+        return Unknown;
+    }
+}

HITECS/Component/Component_5.hitecs

+namespace Component;
+component Component_5{
+
+    public enum Value5 {LOAD, H, V}
+    private value4:Value5;
+
+    public activity getInstance():Component_5[0..1]{
+            instance=Component_5.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_5();
+              }
+
+            return instance->first();
+    }
+
+    @Initialize
+    public operation20(in value4:Value5){
+            this.value4=value4;
+    }
+
+    @Act
+    public operation20(in value4:Value5){
+            this.value4=value4;
+    }
+    @Cleanup
+    public operation20(in value4:Value5){
+            this.value4=value4;
+
+    }
+}

HITECS/Component/Component_6.hitecs

+namespace Component;
+component Component_6{
+
+    public enum OnOff {
+        ON,
+        OFF
+    }
+
+    public enum ChannelMode {
+        SCALAR
+    }
+
+    public enum PowerMeasType {
+        RX,
+        TX,
+        GDEL
+    }
+
+    public enum ScalingMode {
+        ONCE
+    }
+
+    private value6:Real;
+    private value7:Real;
+    private value41:OnOff;
+    private value8:ChannelMode;
+    private value9:PowerMeasType;
+    private value10:Integer;
+    private value11:Integer;
+    private value12:Real;
+    private value13:Real;
+    private value14:Real;
+    private value15:Integer;
+    private value16:OnOff;
+    private value17:Integer;
+    private value18:Integer;
+    private numberoperation79s:Integer;
+    private value21:OnOff;
+    private value22:OnOff;
+    private conversionFreq:Real;
+    private value23:Integer;
+    private value24:ScalingMode;
+    private comp6:Component_6;
+
+
+    public activity getInstance(in id:Integer):Component_6[0..1]{
+            comp6=Component_6.allInstances();
+
+            if(id==1){
+
+              if(comp6->isEmpty()){
+                comp6=new Component_6();
+              }
+            return comp6->first();
+            }
+            return null;
+    }
+
+    @Initialize
+    public  operation21(in mode:ChannelMode){
+            this.value8=mode;
+    }
+
+    @Initialize
+    public  operation22(in value25:Real){
+            this.value6=value25;
+    }
+    @Initialize
+    public  operation23(in lv:Real){
+            this.value7=lv;
+    }
+
+
+    @Act
+    public operation2(){
+            value6=1;
+            value7=-1;
+            value41=OnOff.OFF;
+    }
+
+    @Act
+    public  operation1(){
+            value6=1;
+            value7=-1;
+            value41=OnOff.OFF;
+    }
+
+    @Act
+    public operation25(in type:PowerMeasType){
+            this.value9=type;
+    }
+
+
+    @Act
+    public operation26(in value:Integer){
+            this.value10=value;
+    }
+
+    @Act
+    public  operation27(in value:Integer){
+            this.value11=value;
+    }
+
+    @Act
+    public  operation28(in value25:Real){
+            this.value12=value25;
+    }
+
+    @Act
+    public  operation29(in value25:Real){
+            this.value13=value25;
+    }
+
+    @Act
+    public  operation30(in lv:Real){
+            this.value14=lv;
+    }
+
+    @Act
+    public  operation31(in value:Integer){
+            this.value15=value;
+    }
+
+    @Act
+    public  operation32(in mode:OnOff){
+            this.value16=mode;
+    }
+
+    @Act
+    public  operation33(in value:Integer){
+            this.value17=value;
+    }
+
+    @Act
+    public  operation34(in value:Integer){
+            this.value18=value;
+    }
+
+    @Act
+    public  operation35(in value:Integer){
+            this.operation35=value;
+    }
+
+    @Act
+    public  operation36(in mode:OnOff){
+            this.value21=mode;
+    }
+
+    @Act
+    public operation37(in mode:OnOff){
+            this.value22=mode;
+    }
+
+    @Act
+    public operation38(in value25:Real){
+            this.conversionFreq=value25;
+    }
+
+    @Act
+    public operation39(in value:Integer){
+            this.value23=value;
+    }
+
+    @Act
+    public setAutoScaling(in mode:ScalingMode){
+            this.value24=mode;
+    }
+
+    @Cleanup
+    public  operation23(in lv:Real){
+            this.value7=lv;
+    }
+
+    @Cleanup
+    public operation40(in mode:OnOff){
+            this.value41=mode;
+    }
+
+}

HITECS/Component/Component_7.hitecs

+namespace Component;
+component Component_7{
+    private comp7:Component_7;
+    private comp8:Component_7;
+    private value25:Real;
+
+    public activity getInstance(in id:Integer):Component_7[0..1]{
+            comp7=Component_7.allInstances();
+            comp8=Component_7.allInstances();
+            if(id==1){
+
+              if(comp7->isEmpty()){
+                comp7=new Component_7();
+              }
+              return comp7->first();
+            }
+
+            if(id==2){
+              if(comp8->isEmpty()){
+                comp7=new Component_7();
+              }
+              return comp8->first();
+            }
+
+            return null;
+    }
+
+    @Intialize
+    public operation2(){
+            value25=0;
+    }
+
+    @Intialize
+    public  operation1(){
+            value25=0;
+    }
+
+    @Intialize
+    public  operation41(in value25:Real){
+            this.value25=value25;
+    }
+
+    @Act
+    public  operation41(in value25:Real){
+            this.value25=value25;
+    }
+
+
+}

HITECS/Component/Component_8.hitecs

+namespace Component;
+component Component_8{
+
+    private comp9:Component_8;
+    private comp10:Component_8;
+    private  value4:Value5;
+    private  state:State;
+
+    public enum Type {
+        TX,
+        RX
+    }
+
+    public enum State {
+        RESET,
+        ZERO
+    }
+
+    public enum Value5 {
+        LOAD,
+        V,
+        H
+    }
+    public activity getInstance(in type :Type) :Component_8[0..1]{
+        comp9=Component_8.allInstances();
+        comp10=Component_8.allInstances();
+        if(type==Type.TX){
+
+            if(comp9->isEmpty()){
+              comp9=new Component_8();
+            }
+            return comp9->first();
+            }
+            if(type==Type.RX){
+              if(comp10->isEmpty()){
+              comp10=new Component_8();
+            }
+            return comp10->first();
+            }
+            return null;
+    }
+
+    @Initialize
+    public  operation2(){
+            this.state=State.RESET;
+    }
+
+    @Initialize
+    public  operation42(){
+            this.state=State.ZERO;
+    }
+
+    @Act
+    public operation43(in value4:Value5){
+            this.value4=value4;
+    }
+
+
+}

HITECS/Component/Component_9.hitecs

+namespace Component;
+component Component_9{
+
+    public enum Value5 {
+        LOAD,
+        V,
+        H,
+        Component_6
+    }
+
+    private value4:Value5;
+    public activity getInstance():Component_9[0..1]{
+            instance=Component_9.allInstances();
+            if(instance->isEmpty()){
+              instance=new Component_9();
+            }
+            return instance->first();
+    }
+
+    @Intialize
+    public  operation20(in value4:Value5){
+            this.value4=value4;
+    }
+
+    @Act
+    public  operation20(in value4:Value5){
+            this.value4=value4;
+    }
+
+    @Cleanup
+    public  operation20(in value4:Value5){
+            this.value4=value4;
+    }
+}

HITECS/Scheduler/Scheduler_1.hitecs

+namespace Scheduler;
+private import TestSuites::*;
+
+
+scheduler Scheduler_1{
+   suite=new TestSuite_1();
+        for(tc in suite)
+        {
+            tc.run();
+        }
+  }

HITECS/TestCases/TC1.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC1{
+
+    private  comp1:Component_1[0..1];
+    private  comp18:Component_15[0..1];
+    private  comp11:Component_9[0..1];
+    private  comp5:Component_5[0..1];
+    private  comp15:Component_13[0..1];
+    private  comp16:Component_13[0..1];
+    private  comp12:Component_10[0..1];
+    private  comp7:Component_7[0..1];
+    private  comp8:Component_7[0..1];
+    private  comp6:Component_6[0..1];
+    private  comp17:Component_14[0..1];
+    private  comp14:Component_12[0..1];
+    private  comp9:Component_8[0..1];
+    private  comp10:Component_8[0..1];
+    private  comp4:Component_4;
+    private  comp2:Component_2[0..1];
+    private  comp19:Component_16[0..1];
+    private  name:String;
+    private  comp13:Component_11;
+    private  comp3:Component_3;
+
+    @Create
+    public ExtendedTransferCurve(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+    }
+
+    @Setup
+    public setup(){
+            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
+    }
+    @Main
+    public mesure(){
+
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
+            Activity_21();
+            Activity_29();
+            Activity_33(comp13,comp3);
+            Activity_22(comp13,comp3,comp15,comp4);
+            Activity_34(comp13,comp3);
+            Activity_23(comp13,comp3,comp15,comp4);
+            Activity_35(comp13,comp3);
+            Activity_24(comp13,comp3,comp15,comp4);
+            Activity_36(comp13,comp3);
+            Activity_24(comp13,comp3,comp15,comp4);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_1(comp13,comp3,comp15,comp16,comp5,comp18,comp11);
+
+    }
+}

HITECS/TestCases/TC2.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC2{
+
+    private  comp1:Component_1[0..1];
+    private  comp18:Component_15[0..1];
+    private  comp11:Component_9[0..1];
+    private  comp5:Component_5[0..1];
+    private  comp15:Component_13[0..1];
+    private  comp16:Component_13[0..1];
+    private  comp12:Component_10[0..1];
+    private  comp7:Component_7[0..1];
+    private  comp8:Component_7[0..1];
+    private  comp6:Component_6[0..1];
+    private  comp17:Component_14[0..1];
+    private  comp14:Component_12[0..1];
+    private  comp9:Component_8[0..1];
+    private  comp10:Component_8[0..1];
+
+    private  comp4:Component_4;
+    private  comp2:Component_2[0..1];
+    private  comp19:Component_16[0..1];
+
+    private  name:String;
+    private  comp13:Component_11;
+    private  comp3:Component_3;
+
+    @Create
+    public TranslationFrequency(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+    }
+
+    @Setup
+    public setup(){
+            Activity_14(comp13,comp3,comp1,comp9,comp18,comp11,comp5,comp15,comp12,comp7,comp10,comp19)
+    }
+
+    @Main
+    public mesure(){
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_2(comp13,comp3,comp15);
+    }
+}

HITECS/TestCases/TC3.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC3{
+
+
+    private  comp1:Component_1[0..1];
+    private  comp18:Component_15[0..1];
+    private  comp11:Component_9[0..1];
+    private  comp5:Component_5[0..1];
+    private  comp15:Component_13[0..1];
+    private  comp16:Component_13[0..1];
+    private  comp12:Component_10[0..1];
+    private  comp7:Component_7[0..1];
+    private  comp8:Component_7[0..1];
+    private  comp6:Component_6[0..1];
+    private  comp17:Component_14[0..1];
+    private  comp14:Component_12[0..1];
+    private  comp9:Component_8[0..1];
+    private  comp10:Component_8[0..1];
+    private  comp4:Component_4;
+    private  comp2:Component_2[0..1];
+    private  comp19:Component_16[0..1];
+    private  name:String;
+    private  comp13:Component_11;
+    private  comp3:Component_3;
+
+    @Create
+    public GaintoNoiseTemperatureRatio(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+    }
+
+    @Setup
+    public setup(){
+            Activity_14(comp13,comp3,comp1,comp9,comp18,comp11,comp5,comp15,comp12,comp7,comp10,comp19)
+    }
+
+    @Main
+    public mesure(){
+
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_12(comp13,comp3,comp12,comp16mcomp5,comp1,comp2);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_2(comp13,comp3,comp15);
+    }
+
+}

HITECS/TestCases/TC4.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC4{
+
+    @Create
+    public BOLLimiterMode(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+            }
+
+    @Setup
+    public setup(){
+            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
+    }
+    @Main
+    public mesure(){
+
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
+            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
+            Activity_9(comp13,comp3,comp12,comp15,comp4);
+            Activity_33(comp13,comp3);
+            Activity_23(comp13,comp3,comp15,comp4);
+            Activity_34(comp13,comp3);
+            Activity_24(comp13,comp3,comp15,comp4);
+            Activity_18(comp13,comp3);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_3(comp13,comp3,comp15,comp16,comp5,comp18,comp11,comp14);
+    }
+
+    @Main
+    public mesure(){
+
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
+            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
+            Activity_9(comp13,comp3,comp12,comp15,comp4);
+            Activity_33(comp13,comp3);
+            Activity_23(comp13,comp3,comp15,comp4);
+            Activity_34(comp13,comp3);
+            Activity_24(comp13,comp3,comp15,comp4);
+            Activity_16(comp13,comp3,comp15);
+            Activity_26(comp13,comp3,comp15,comp12,comp4,comp2);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_1(comp13,comp3,comp15,comp16,comp5,comp18,comp11);
+    }
+}

HITECS/TestCases/TC5.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC5{
+
+    private  comp1:Component_1[0..1];
+    private  comp18:Component_15[0..1];
+    private  comp11:Component_9[0..1];
+    private  comp5:Component_5[0..1];
+    private  comp15:Component_13[0..1];
+    private  comp16:Component_13[0..1];
+    private  comp12:Component_10[0..1];
+    private  comp7:Component_7[0..1];
+    private  comp8:Component_7[0..1];
+    private  comp6:Component_6[0..1];
+    private  comp17:Component_14[0..1];
+    private  comp14:Component_12[0..1];
+    private  comp9:Component_8[0..1];
+    private  comp10:Component_8[0..1];
+
+    private  comp4:Component_4;
+    private  comp2:Component_2[0..1];
+    private  comp19:Component_16[0..1];
+
+    private  name:String;
+    private  comp13:Component_11;
+    private  comp3:Component_3;
+
+    @Create
+    public BOLFCAMeasurement(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+    }
+
+    @Setup
+    public setup(){
+            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
+    }
+    @Main
+    public mesure(){
+
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
+            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
+            Activity_9(comp13,comp3,comp12,comp15,comp4);
+            Activity_33(comp13,comp3);
+            Activity_23(comp13,comp3,comp15,comp4);
+            Activity_34(comp13,comp3);
+            Activity_24(comp13,comp3,comp15,comp4);
+            Activity_16(comp13,comp3,comp15);
+            Activity_26(comp13,comp3,comp15,comp12,comp4,comp2);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_1(comp13,comp3,comp15,comp16,comp5,comp18,comp11);
+    }
+
+
+}

HITECS/TestCases/TC6.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC6{
+
+    private  comp1:Component_1[0..1];
+    private  comp18:Component_15[0..1];
+    private  comp11:Component_9[0..1];
+    private  comp5:Component_5[0..1];
+    private  comp15:Component_13[0..1];
+    private  comp16:Component_13[0..1];
+    private  comp12:Component_10[0..1];
+    private  comp7:Component_7[0..1];
+    private  comp8:Component_7[0..1];
+    private  comp6:Component_6[0..1];
+    private  comp17:Component_14[0..1];
+    private  comp14:Component_12[0..1];
+    private  comp9:Component_8[0..1];
+    private  comp10:Component_8[0..1];
+
+    private  comp4:Component_4;
+    private  comp2:Component_2[0..1];
+    private  comp19:Component_16[0..1];
+
+    private  name:String;
+    private  comp13:Component_11;
+    private  comp3:Component_3;
+
+    @Create
+    public Component_11TransponderGDV(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+    }
+
+    @Setup
+    public setup(){
+            Activity_15(comp13,comp3,comp16,comp9,comp10,comp3,comp1,comp18,comp12,comp11,comp17,comp6,comp7,comp8,comp4,comp19)
+    }
+
+    @Main
+    public mesure(){
+
+            Activity_20(comp13,comp3,rxsv,comp12,comp4,comp19,comp2);
+            Activity_32(comp13,comp3,comp15,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+            Activity_8(comp13,comp3,comp12,comp16,comp8,comp8,comp11,comp4,comp19,comp2);
+            Activity_11(comp13,comp3,comp6,comp11,comp19,comp4);
+            Activity_10(comp13,comp3,comp6);
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_4(comp13,comp3,comp6,comp16,comp5,comp18,comp11,comp14);
+
+    }
+}

HITECS/TestCases/TC7.hitecs

+namespace TestCases;
+private import Activities::*;
+private import Component::*;
+testcase TC7{
+
+    private  comp1:Component_1[0..1];
+    private  comp18:Component_15[0..1];
+    private  comp11:Component_9[0..1];
+    private  comp5:Component_5[0..1];
+    private  comp15:Component_13[0..1];
+    private  comp16:Component_13[0..1];
+    private  comp12:Component_10[0..1];
+    private  comp7:Component_7[0..1];
+    private  comp8:Component_7[0..1];
+    private  comp6:Component_6[0..1];
+    private  comp17:Component_14[0..1];
+    private  comp14:Component_12[0..1];
+    private  comp9:Component_8[0..1];
+    private  comp10:Component_8[0..1];
+
+    private  comp4:Component_4;
+    private  comp2:Component_2[0..1];
+    private  comp19:Component_16[0..1];
+
+    private  name:String;
+    private  comp13:Component_11;
+    private  comp3:Component_3;
+
+    @Create
+    public ThirdOrderIntermodulation(in comp13:Component_11,in comp3:Component_3){
+            comp1=Component_1.getInstance();
+            comp18=Component_15.getInstance();
+            comp11=Component_9.getInstance();
+            comp5=Component_5.getInstance();
+            comp15=Component_13.getInstance(1);
+            comp16=Component_13.getInstance(2);
+            comp12=Component_10.getInstance();
+            comp7=Component_7.getInstance(1);
+            comp8=Component_7.getInstance(2);
+            comp6=Component_6.getInstance(1);
+            comp17=Component_14.getInstance();
+            comp14=Component_12.getInstance();
+            comp9=Component_8.getInstance(Component_8.Type.TX);
+            comp10=Component_8.getInstance(Component_8.Type.RX);
+            comp4=new Component_4();
+            comp2=Component_2.getInstance();
+            comp19=Component_16.getInstance();
+            this.comp13=comp13;
+            this.comp3=comp3;
+    }
+
+    @Setup
+    public setup(){
+            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
+    }
+
+    @Main
+    public mesure(){
+
+            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
+            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
+            Activity_30(comp13,comp3,comp12);
+            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
+            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
+            Activity_9(comp13,comp3,comp12,comp15,comp4);
+            Activity_33(comp13,comp3);
+            Activity_23(comp13,comp3,comp15,comp4);
+            Activity_34(comp13,comp3);
+            Activity_24(comp13,comp3,comp15,comp4);
+            Activity_17(comp13,comp3,comp15,comp6);
+            Activity_6(comp13,comp3);
+            Activity_27(comp13,comp3,comp15mcomp12mnla1,comp11,comp4,comp2);
+            Activity_28(comp13,comp3,comp12,comp6,comp11,comp4);
+
+    }
+
+    @Teardown
+    public teardown(){
+            Activity_5(comp13,comp3,comp15,comp16,comp5,comp18,comp11,comp14);
+
+    }
+}

HITECS/TestSuites/TestSuite_1.hitecs

+
+namespace TestSuites;
+private import Activities::*;
+private import Component::*;
+private import TestCases::*;
+
+
+testsuite TestSuite_1{
+
+@Create
+public testSuite_1(){
+         baseoperation14 = 11719.5;
+         for(i in 0..20){
+            baseoperation14+=39.0;
+            comp13=new Component_11(1,"Component_10T1");
+            comp31=new Component_3(baseoperation14+2000,baseoperation14,Component_3.Pol.V,Component_3.Pol.H,i+1);
+            comp32=new Component_3(baseoperation14+2019.5,baseoperation14+19.5,Component_3.Pol.V,Component_3.Pol.H,i+2);
+
+            if(i<1){
+                add(new TC2(comp13,comp31));
+                add(new TC2(comp13,comp32));
+            }
+            add(new TC1(comp13,comp31));
+            add(new TC3(comp13,comp31));
+            add(new TC4(comp13,comp31));
+            add(new TC5(comp13,comp31));
+            add(new TC6(comp13,comp31));
+            add(new TC7(comp13,comp31));
+
+            add(new TC1(comp13,comp32));
+            add(new TC3(comp13,comp32));
+            add(new TC4(comp13,comp32));
+            add(new TC5(comp13,comp32));
+            add(new TC6(comp13,comp32));
+            add(new TC7(comp13,comp32));
+
+            }
+        }
+  }

LICENSE

+MIT License
+
+Copyright (c) 2018 Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, and Frank Zimmer
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

README.md

+# HITECS : A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
+
+
+## Contributors 
+    
+* Seung Yeob Shin (shin@svv.lu), SnT Centre, University of Luxembourg, Luxembourg  
+* Karim Chaouch (chaouch@svv.lu), SnT Centre, University of Luxembourg, Luxembourg  
+* Shiva Nejati (nejati@svv.lu), SnT Centre, University of Luxembourg, Luxembourg  
+* Mehrdad Sabetzadeh (sabetzadeh@svv.lu), SnT Centre, University of Luxembourg, Luxembourg  
+* Lionel C. Briand (briand@svv.lu), SnT Centre, University of Luxembourg, Luxembourg  
+* Frank Zimmer (frank.zimmer@ses.com), SES Networks, Luxembourg  
+
+## Project artifacts
+
+### HITECS specifications
+* ./HITECS
+  Anonymized HITECS test specifications
+
+### Experiment results
+* ./experiments
+  The results of the model checking and simulation experiments
+
+
+