diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2019-03-04 15:30:04 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2019-03-04 15:30:04 +0100 |
| commit | 618972e944942d7c3b4dac1f7c769608ea1d897c (patch) | |
| tree | a0a81a77c39ca58859cefb29852921f35c663d45 /model | |
| parent | 8abe98e1a21457ce01a25184066dff5f640718c6 (diff) | |
Add LM75 DFA model
Diffstat (limited to 'model')
| -rw-r--r-- | model/driver/lm75.dfa | 35 |
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 |