summaryrefslogtreecommitdiff
path: root/model/driver
diff options
context:
space:
mode:
authorLennart <lekaiser@uos.de>2020-08-18 17:31:49 +0200
committerLennart <lekaiser@uos.de>2020-08-18 17:31:49 +0200
commit550482401d95720306873d1fa1de11717c5845dc (patch)
treeaa38f8aa4cf239dfdb1f7da3d8389ea0871e8f63 /model/driver
parent714e5788be7b89f937fe8dbf270b8035c4f7d436 (diff)
Working version
Diffstat (limited to 'model/driver')
-rw-r--r--model/driver/resistive_load.dfa38
-rw-r--r--model/driver/resistive_load_8.dfa45
2 files changed, 76 insertions, 7 deletions
diff --git a/model/driver/resistive_load.dfa b/model/driver/resistive_load.dfa
index a2bf3dd..efcf853 100644
--- a/model/driver/resistive_load.dfa
+++ b/model/driver/resistive_load.dfa
@@ -16,29 +16,53 @@ states:
- P3_4MW
- P1_1MW
- P235UW
+ - P4_9MW
+ - P5MW
+ - P15_8MW
+ - P5_2MW
+ - P6_1MW
+ - P8_3MW
transition:
setup:
src: [UNINITIALIZED]
dst: SLEEP
switchToNone:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: SLEEP
switchTo750:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: P14MW
switchTo1K0:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: P11MW
switchTo2K4:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: P4_4MW
switchTo3K3:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: P3_4MW
switchTo10K:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: P1_1MW
switchTo47K:
- src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
dst: P235UW
+ switchTo2K2:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
+ dst: P4_9MW
+ switchTo4K7:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
+ dst: P5MW
+ switchTo680:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
+ dst: P15_8MW
+ switchTo2K:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
+ dst: P5_2MW
+ switchTo1K8:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
+ dst: P6_1MW
+ switchTo1K3:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW, P4_9MW, P5MW, P15_8MW, P5_2MW, P6_1MW, P8_3MW]
+ dst: P8_3MW \ No newline at end of file
diff --git a/model/driver/resistive_load_8.dfa b/model/driver/resistive_load_8.dfa
new file mode 100644
index 0000000..fdb767d
--- /dev/null
+++ b/model/driver/resistive_load_8.dfa
@@ -0,0 +1,45 @@
+codegen:
+ instance: resistiveLoad
+ includes:
+ - driver/resistive_load.h
+ - driver/resistive_load_8.h
+ flags:
+ - drivers=resistive_load
+ setup:
+ - resistiveLoad.setup();
+
+states:
+ - UNINITIALIZED
+ - SLEEP
+ - P14MW
+ - P11MW
+ - P4_4MW
+ - P3_4MW
+ - P1_1MW
+ - P235UW
+
+transition:
+ setup:
+ src: [UNINITIALIZED]
+ dst: SLEEP
+ switchToNone:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: SLEEP
+ switchTo750:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: P14MW
+ switchTo1K0:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: P11MW
+ switchTo2K4:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: P4_4MW
+ switchTo3K3:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: P3_4MW
+ switchTo10K:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: P1_1MW
+ switchTo47K:
+ src: [UNINITIALIZED, SLEEP, P14MW, P11MW, P4_4MW, P3_4MW, P1_1MW, P235UW]
+ dst: P235UW