Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
Seung Yeob Shin
Hitecs
Commits
f6678ec9
Commit
f6678ec9
authored
Oct 08, 2019
by
Karim Chaouch
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
no message
parent
7fdbf74a
Changes
73
Hide whitespace changes
Inline
Side-by-side
Showing
73 changed files
with
2383 additions
and
0 deletions
+2383
-0
specifications/HITECS/Activities/Activity_1.hitecs
specifications/HITECS/Activities/Activity_1.hitecs
+13
-0
specifications/HITECS/Activities/Activity_10.hitecs
specifications/HITECS/Activities/Activity_10.hitecs
+14
-0
specifications/HITECS/Activities/Activity_11.hitecs
specifications/HITECS/Activities/Activity_11.hitecs
+28
-0
specifications/HITECS/Activities/Activity_12.hitecs
specifications/HITECS/Activities/Activity_12.hitecs
+15
-0
specifications/HITECS/Activities/Activity_13.hitecs
specifications/HITECS/Activities/Activity_13.hitecs
+34
-0
specifications/HITECS/Activities/Activity_14.hitecs
specifications/HITECS/Activities/Activity_14.hitecs
+26
-0
specifications/HITECS/Activities/Activity_15.hitecs
specifications/HITECS/Activities/Activity_15.hitecs
+6
-0
specifications/HITECS/Activities/Activity_16.hitecs
specifications/HITECS/Activities/Activity_16.hitecs
+38
-0
specifications/HITECS/Activities/Activity_17.hitecs
specifications/HITECS/Activities/Activity_17.hitecs
+7
-0
specifications/HITECS/Activities/Activity_18.hitecs
specifications/HITECS/Activities/Activity_18.hitecs
+9
-0
specifications/HITECS/Activities/Activity_19.hitecs
specifications/HITECS/Activities/Activity_19.hitecs
+6
-0
specifications/HITECS/Activities/Activity_2.hitecs
specifications/HITECS/Activities/Activity_2.hitecs
+10
-0
specifications/HITECS/Activities/Activity_20.hitecs
specifications/HITECS/Activities/Activity_20.hitecs
+12
-0
specifications/HITECS/Activities/Activity_21.hitecs
specifications/HITECS/Activities/Activity_21.hitecs
+13
-0
specifications/HITECS/Activities/Activity_22.hitecs
specifications/HITECS/Activities/Activity_22.hitecs
+19
-0
specifications/HITECS/Activities/Activity_23.hitecs
specifications/HITECS/Activities/Activity_23.hitecs
+8
-0
specifications/HITECS/Activities/Activity_24.hitecs
specifications/HITECS/Activities/Activity_24.hitecs
+8
-0
specifications/HITECS/Activities/Activity_25.hitecs
specifications/HITECS/Activities/Activity_25.hitecs
+7
-0
specifications/HITECS/Activities/Activity_26.hitecs
specifications/HITECS/Activities/Activity_26.hitecs
+16
-0
specifications/HITECS/Activities/Activity_27.hitecs
specifications/HITECS/Activities/Activity_27.hitecs
+14
-0
specifications/HITECS/Activities/Activity_28.hitecs
specifications/HITECS/Activities/Activity_28.hitecs
+24
-0
specifications/HITECS/Activities/Activity_29.hitecs
specifications/HITECS/Activities/Activity_29.hitecs
+15
-0
specifications/HITECS/Activities/Activity_3.hitecs
specifications/HITECS/Activities/Activity_3.hitecs
+14
-0
specifications/HITECS/Activities/Activity_30.hitecs
specifications/HITECS/Activities/Activity_30.hitecs
+12
-0
specifications/HITECS/Activities/Activity_31.hitecs
specifications/HITECS/Activities/Activity_31.hitecs
+12
-0
specifications/HITECS/Activities/Activity_32.hitecs
specifications/HITECS/Activities/Activity_32.hitecs
+17
-0
specifications/HITECS/Activities/Activity_33.hitecs
specifications/HITECS/Activities/Activity_33.hitecs
+17
-0
specifications/HITECS/Activities/Activity_34.hitecs
specifications/HITECS/Activities/Activity_34.hitecs
+35
-0
specifications/HITECS/Activities/Activity_35.hitecs
specifications/HITECS/Activities/Activity_35.hitecs
+8
-0
specifications/HITECS/Activities/Activity_36.hitecs
specifications/HITECS/Activities/Activity_36.hitecs
+8
-0
specifications/HITECS/Activities/Activity_37.hitecs
specifications/HITECS/Activities/Activity_37.hitecs
+10
-0
specifications/HITECS/Activities/Activity_4.hitecs
specifications/HITECS/Activities/Activity_4.hitecs
+13
-0
specifications/HITECS/Activities/Activity_5.hitecs
specifications/HITECS/Activities/Activity_5.hitecs
+15
-0
specifications/HITECS/Activities/Activity_6.hitecs
specifications/HITECS/Activities/Activity_6.hitecs
+6
-0
specifications/HITECS/Activities/Activity_7.hitecs
specifications/HITECS/Activities/Activity_7.hitecs
+15
-0
specifications/HITECS/Activities/Activity_8.hitecs
specifications/HITECS/Activities/Activity_8.hitecs
+19
-0
specifications/HITECS/Activities/Activity_9.hitecs
specifications/HITECS/Activities/Activity_9.hitecs
+12
-0
specifications/HITECS/Component/Component_1.hitecs
specifications/HITECS/Component/Component_1.hitecs
+52
-0
specifications/HITECS/Component/Component_10.hitecs
specifications/HITECS/Component/Component_10.hitecs
+172
-0
specifications/HITECS/Component/Component_11.hitecs
specifications/HITECS/Component/Component_11.hitecs
+17
-0
specifications/HITECS/Component/Component_12.hitecs
specifications/HITECS/Component/Component_12.hitecs
+33
-0
specifications/HITECS/Component/Component_13.hitecs
specifications/HITECS/Component/Component_13.hitecs
+104
-0
specifications/HITECS/Component/Component_14.hitecs
specifications/HITECS/Component/Component_14.hitecs
+39
-0
specifications/HITECS/Component/Component_15.hitecs
specifications/HITECS/Component/Component_15.hitecs
+33
-0
specifications/HITECS/Component/Component_16.hitecs
specifications/HITECS/Component/Component_16.hitecs
+57
-0
specifications/HITECS/Component/Component_2.hitecs
specifications/HITECS/Component/Component_2.hitecs
+43
-0
specifications/HITECS/Component/Component_3.hitecs
specifications/HITECS/Component/Component_3.hitecs
+102
-0
specifications/HITECS/Component/Component_4.hitecs
specifications/HITECS/Component/Component_4.hitecs
+111
-0
specifications/HITECS/Component/Component_5.hitecs
specifications/HITECS/Component/Component_5.hitecs
+30
-0
specifications/HITECS/Component/Component_6.hitecs
specifications/HITECS/Component/Component_6.hitecs
+179
-0
specifications/HITECS/Component/Component_7.hitecs
specifications/HITECS/Component/Component_7.hitecs
+49
-0
specifications/HITECS/Component/Component_8.hitecs
specifications/HITECS/Component/Component_8.hitecs
+59
-0
specifications/HITECS/Component/Component_9.hitecs
specifications/HITECS/Component/Component_9.hitecs
+34
-0
specifications/HITECS/MeasurementFormula/MeasurementFormula_1.hitecs
...ons/HITECS/MeasurementFormula/MeasurementFormula_1.hitecs
+7
-0
specifications/HITECS/MeasurementFormula/MeasurementFormula_2.hitecs
...ons/HITECS/MeasurementFormula/MeasurementFormula_2.hitecs
+14
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_1.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_1.hitecs
+10
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_2.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_2.hitecs
+11
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_3.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_3.hitecs
+14
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_4.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_4.hitecs
+13
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_5.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_5.hitecs
+15
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_6.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_6.hitecs
+14
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_7.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_7.hitecs
+10
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_8.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_8.hitecs
+14
-0
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_9.hitecs
...cations/HITECS/PhysicalBehavior/PhysicalBehavior_9.hitecs
+18
-0
specifications/HITECS/Scheduler/Scheduler_1.hitecs
specifications/HITECS/Scheduler/Scheduler_1.hitecs
+11
-0
specifications/HITECS/TestCases/TC1.hitecs
specifications/HITECS/TestCases/TC1.hitecs
+78
-0
specifications/HITECS/TestCases/TC2.hitecs
specifications/HITECS/TestCases/TC2.hitecs
+68
-0
specifications/HITECS/TestCases/TC3.hitecs
specifications/HITECS/TestCases/TC3.hitecs
+69
-0
specifications/HITECS/TestCases/TC4.hitecs
specifications/HITECS/TestCases/TC4.hitecs
+75
-0
specifications/HITECS/TestCases/TC5.hitecs
specifications/HITECS/TestCases/TC5.hitecs
+79
-0
specifications/HITECS/TestCases/TC6.hitecs
specifications/HITECS/TestCases/TC6.hitecs
+73
-0
specifications/HITECS/TestCases/TC7.hitecs
specifications/HITECS/TestCases/TC7.hitecs
+82
-0
specifications/HITECS/TestSuites/TestSuite_1.hitecs
specifications/HITECS/TestSuites/TestSuite_1.hitecs
+39
-0
No files found.
specifications/HITECS/Activities/Activity_1.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_10.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_11.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_12.hitecs
0 → 100644
View file @
f6678ec9
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());
}
specifications/HITECS/Activities/Activity_13.hitecs
0 → 100644
View file @
f6678ec9
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());
}
specifications/HITECS/Activities/Activity_14.hitecs
0 → 100644
View file @
f6678ec9
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());
}
specifications/HITECS/Activities/Activity_15.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_15(in comp13:Component_11,in comp3:Component_3){
//empty
}
specifications/HITECS/Activities/Activity_16.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_16(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());
}
specifications/HITECS/Activities/Activity_17.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_17(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13){
comp15.operation75(Component_13.OnOff.OFF);
}
specifications/HITECS/Activities/Activity_18.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_18(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);
}
specifications/HITECS/Activities/Activity_19.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_19(in comp13:Component_11,in comp3:Component_3){
// empty
}
specifications/HITECS/Activities/Activity_2.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_20.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_20(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()));
}
specifications/HITECS/Activities/Activity_21.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_21(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());
}
specifications/HITECS/Activities/Activity_22.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_22(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);
}
specifications/HITECS/Activities/Activity_23.hitecs
0 → 100644
View file @
f6678ec9
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.F2());
}
specifications/HITECS/Activities/Activity_24.hitecs
0 → 100644
View file @
f6678ec9
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());
comp15.operation23(comp4.PowerLvMinusNDelta());
}
specifications/HITECS/Activities/Activity_25.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_25(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
comp15.operation23(comp4.PowerLvPlusDelta());
}
specifications/HITECS/Activities/Activity_26.hitecs
0 → 100644
View file @
f6678ec9
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 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());
}
specifications/HITECS/Activities/Activity_27.hitecs
0 → 100644
View file @
f6678ec9
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 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());
}
specifications/HITECS/Activities/Activity_28.hitecs
0 → 100644
View file @
f6678ec9
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,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);
}
specifications/HITECS/Activities/Activity_29.hitecs
0 → 100644
View file @
f6678ec9
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 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);
}
specifications/HITECS/Activities/Activity_3.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_30.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_30(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());
}
specifications/HITECS/Activities/Activity_31.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_31(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);
}
specifications/HITECS/Activities/Activity_32.hitecs
0 → 100644
View file @
f6678ec9
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){
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());
}
}
specifications/HITECS/Activities/Activity_33.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_33(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());
}
}
specifications/HITECS/Activities/Activity_34.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
private import MeasurementFormula::*;
private import PhysicalBehavior::*;
activity Activity_34(in comp13:Component_11, in comp3:Component_3){
att1 : Real = const1;
att2 : Real = Component_10.operation52()
att3 : Real = const2;
att8 : Uniform(const3,const4) = Unknown;
att9 : Real = const5;
att10 : Real = const6;
att12 : Real = 0;
check : Boolean = True;
for(i in [0..10]){
att4 : Real = PhysicalBehavior_3(att2,att1);
att5 : Real = PhysicalBehavior_1(att3);
att6 : Real = PhysicalBehavior_2(att4);
att7 : Real = PhysicalBehavior_4(att6,att1,att3);
if(check){
att11 : Real = att10 - att9 + att8 + 5;
check = false;
}
else if (att4 < att11){
//stop
}
att12 = att7;
}
}
specifications/HITECS/Activities/Activity_35.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
private import MeasurementFormula::*;
private import PhysicalBehavior::*;
activity Activity_35(in comp13:Component_11, in comp3:Component_3){
//empty
}
specifications/HITECS/Activities/Activity_36.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
private import MeasurementFormula::*;
private import PhysicalBehavior::*;
activity Activity_36(in comp13:Component_11, in comp3:Component_3){
//empty
}
specifications/HITECS/Activities/Activity_37.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
private import MeasurementFormula::*;
private import PhysicalBehavior::*;
activity Activity_37(in comp13:Component_11, in comp3:Component_3){
//empty
}
specifications/HITECS/Activities/Activity_4.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_4(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);
}
specifications/HITECS/Activities/Activity_5.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_5(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);
}
specifications/HITECS/Activities/Activity_6.hitecs
0 → 100644
View file @
f6678ec9
namespace Activities;
private import Component::*;
activity Activity_6(in comp13:Component_11,in comp3:Component_3){
//empty
}
specifications/HITECS/Activities/Activity_7.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_8.hitecs
0 → 100644
View file @
f6678ec9
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);
}
specifications/HITECS/Activities/Activity_9.hitecs
0 → 100644
View file @
f6678ec9
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());
}
specifications/HITECS/Component/Component_1.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_10.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_11.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_12.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_13.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_14.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_15.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_16.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_2.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_3.hitecs
0 → 100644
View file @
f6678ec9
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());
}
}
specifications/HITECS/Component/Component_4.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_5.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_6.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_7.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_8.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/Component/Component_9.hitecs
0 → 100644
View file @
f6678ec9
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;
}
}
specifications/HITECS/MeasurementFormula/MeasurementFormula_1.hitecs
0 → 100644
View file @
f6678ec9
namespace MeasurementFormula;
MeasurementFormula MeasurementFormula_1(in arg1 : Real) : Real {
att1 : Real = const1 * PI * pow(arg1,2);
return log10(att1);
}
specifications/HITECS/MeasurementFormula/MeasurementFormula_2.hitecs
0 → 100644
View file @
f6678ec9
namespace MeasurementFormula;
MeasurementFormula MeasurementFormula_2(in arg1 : Real, in arg2 : Real, in arg3 : Real, in arg4 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Uniform(const3,const4) = Unknown;
att3 : Real = const5;
att4 : Uniform(const6,const7) = Unknown;
att5 : Real = att1/att2;
att6 : Real = (arg2 - att1)/att1 + arg3 - arg4 + att4 + log10(att3)- const8 - arg1 + log10(att5/(att5-1));
return log10(att6);
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_1.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_1(in arg1 : Real) : Real {
att1 : Real = const1 * arg1;
att2 : Real = const2 * pow(arg1,2);
att3 : Real = att1/(1+att2);
return att3;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_2.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_2(in arg1 : Real) : Real {
att1 : Real = const1;
att2 : Uniform(const2,const3) = Unknown;
att3 : Uniform(const4,const5) = Unknown;
att4 : Real = arg1 + att1 - att2 + att3 - const7;
return att4;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_3.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_3(in arg1 : Real, in arg2 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Real = const3;
att3 : Uniform(const4,const5) = Unknown;
att4 : Uniform(const6,const7) = Unknown;
att5 : Real = arg1 + att2 - att3 + att4 - const8 - att1 - arg2;
return att5;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_4.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_4(in arg1 : Real, in arg2 : Real, in arg3 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Uniform(const3,const4) = Unknown;
att3 : Uniform(const5,const6) = Unknown;
att4 : Real = const7 + arg1 + const8 - arg2 + arg3 - att1 + att2 + att3;
return att4;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_5.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_5(in arg1 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Uniform(const3,const4) = Unknown;
att3 : Real = const5;
att4 : Uniform(const6,const7) = Unknown;
att5 : Real = const8;
att6 : Real = arg1 - att1 - att5 - att4 - att3 - att2;
return att6;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_6.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_6(in arg1 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Real = const3;
att3 : Uniform(const4,const5) = Unknown;
att4 : Real = const6;
att5 : Real = - att1 + arg1 - att2 - att3 - att4;
return att5;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_7.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_7(in arg1 : Real, in arg2 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Real = arg1 - att1;
att3 : Real = att2 - arg2
return att3;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_8.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_8(in arg1 : Real,in arg2 : Real,in arg3 : Real,in arg4 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Uniform(const3,const4) = Unknown;
att3 : Real = const5;
att4 : Uniform(const6,const7) = Unknown;
att5 : Real = const8;
att6 : Real = arg1 - att3 - att4 + att5 - att2 + arg2 + att1 - arg3 - const9 + arg4;
return att6;
}
specifications/HITECS/PhysicalBehavior/PhysicalBehavior_9.hitecs
0 → 100644
View file @
f6678ec9
namespace PhysicalBehavior;
PhysicalBehavior PhysicalBehavior_9(in arg1 : Real,in arg2 : Real,in arg3 : Real,in arg4 : Real, in arg5 : Real) : Real {
att1 : Uniform(const1,const2) = Unknown;
att2 : Uniform(const3,const4) = Unknown;
att3 : Uniform(const5,const6) = Unknown;
att4 : Real = const7;
att5 : Uniform(const8,const9) = Unknown;
att6 : Real = const10;
att7 : Real = arg4 - att3;
att8 : Real = att7 - arg1 - att4 - att5 + att6;
att9 : Real = arg3 - att8 - att2 + arg2 - arg5 + att1 - const11;
return att9;
}
specifications/HITECS/Scheduler/Scheduler_1.hitecs
0 → 100644
View file @
f6678ec9
namespace Scheduler;
private import TestSuites::*;
scheduler Scheduler_1{
suite=new TestSuite_1();
for(tc in suite)
{
tc.run();
}
}
specifications/HITECS/TestCases/TC1.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestCases/TC2.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestCases/TC3.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestCases/TC4.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestCases/TC5.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestCases/TC6.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestCases/TC7.hitecs
0 → 100644
View file @
f6678ec9
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);
}
}
specifications/HITECS/TestSuites/TestSuite_1.hitecs
0 → 100644
View file @
f6678ec9
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));
}
}
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment