summaryrefslogtreecommitdiff
path: root/model/driver
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2019-03-04 15:30:04 +0100
committerDaniel Friesel <derf@finalrewind.org>2019-03-04 15:30:04 +0100
commit618972e944942d7c3b4dac1f7c769608ea1d897c (patch)
treea0a81a77c39ca58859cefb29852921f35c663d45 /model/driver
parent8abe98e1a21457ce01a25184066dff5f640718c6 (diff)
Add LM75 DFA model
Diffstat (limited to 'model/driver')
-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