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