From 618972e944942d7c3b4dac1f7c769608ea1d897c Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Mon, 4 Mar 2019 15:30:04 +0100 Subject: Add LM75 DFA model --- model/driver/lm75.dfa | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 model/driver/lm75.dfa (limited to 'model/driver') 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 -- cgit v1.2.3