summaryrefslogtreecommitdiff
path: root/model
diff options
context:
space:
mode:
Diffstat (limited to 'model')
-rw-r--r--model/driver/lm75.dfa35
1 files changed, 35 insertions, 0 deletions
diff --git a/model/driver/lm75.dfa b/model/driver/lm75.dfa
new file mode 100644
index 0000000..5aadb8f
--- /dev/null
+++ b/model/driver/lm75.dfa
@@ -0,0 +1,35 @@
+instance: lm75
+
+parameters:
+ - os
+ - hyst
+
+states:
+ - UNINITIALIZED
+ - POWEROFF
+ - ACTIVE
+
+transition:
+ shutdown:
+ src: [UNINITIALIZED, POWEROFF, ACTIVE]
+ dst: POWEROFF
+ init:
+ src: [UNINITIALIZED, POWEROFF, ACTIVE]
+ dst: ACTIVE
+ getTemp:
+ src: [ACTIVE]
+ dst: ACTIVE
+ setOS:
+ src: [ACTIVE]
+ dst: ACTIVE
+ arguments:
+ - name: os
+ values: [30, 90]
+ parameter: os
+ setHyst:
+ src: [ACTIVE]
+ dst: ACTIVE
+ arguments:
+ - name: hyst
+ values: [29, 60]
+ parameter: hyst