summaryrefslogtreecommitdiff
path: root/model
diff options
context:
space:
mode:
Diffstat (limited to 'model')
-rw-r--r--model/driver/bme680.dfa135
1 files changed, 135 insertions, 0 deletions
diff --git a/model/driver/bme680.dfa b/model/driver/bme680.dfa
new file mode 100644
index 0000000..cb640f8
--- /dev/null
+++ b/model/driver/bme680.dfa
@@ -0,0 +1,135 @@
+codegen:
+ instance: bme680
+ includes: ['driver/bme680.h']
+ flags: ['drivers=bme680', 'arch_drivers=i2c']
+
+dummygen:
+ enum:
+ rf24_pa_dbm_e:
+ - RF24_PA_MIN
+ - RF24_PA_LOW
+ - RF24_PA_HIGH
+ - RF24_PA_MAX
+ - RF24_PA_ERROR
+ rf24_datarate_e:
+ - RF24_1MBPS
+ - RF24_2MBPS
+ - RF24_250KBPS
+ rf24_crclength_e:
+ - RF24_CRC_DISABLED
+ - RF24_CRC_8
+ - RF24_CRC_16
+
+parameters:
+- power_mode
+- humidity_oversampling
+- pressure_oversampling
+- temperature_oversampling
+- gas_enabled
+- heater_duration_ms
+- heater_temperature_degc
+
+parameter_normalization:
+ humidity_oversampling:
+ enum:
+ BME680_OS_NONE: 0
+ BME680_OS_1X: 1
+ BME680_OS_2X: 2
+ BME680_OS_4X: 4
+ BME680_OS_8X: 8
+ BME680_OS_16X: 16
+ pressure_oversampling:
+ enum:
+ BME680_OS_NONE: 0
+ BME680_OS_1X: 1
+ BME680_OS_2X: 2
+ BME680_OS_4X: 4
+ BME680_OS_8X: 8
+ BME680_OS_16X: 16
+ temperature_oversampling:
+ enum:
+ BME680_OS_NONE: 0
+ BME680_OS_1X: 1
+ BME680_OS_2X: 2
+ BME680_OS_4X: 4
+ BME680_OS_8X: 8
+ BME680_OS_16X: 16
+
+states:
+ - UNINITIALIZED
+ - SLEEP
+ - SLEEP_PENDING_ATTR
+ - FORCED
+
+transition:
+ init:
+ src: [UNINITIALIZED, SLEEP, FORCED]
+ dst: SLEEP
+ setPowerMode:
+ src: [SLEEP]
+ dst: SLEEP
+ arguments:
+ - name: mode
+ values: ['BME680_SLEEP_MODE', 'BME680_FORCED_MODE']
+ parameter: power_mode
+ setPowerMode:
+ src: [SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: mode
+ values: ['BME680_SLEEP_MODE', 'BME680_FORCED_MODE']
+ parameter: power_mode
+ setHumidityOversampling:
+ src: [SLEEP, SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: os
+ values: ['BME680_OS_NONE', 'BME680_OS_1X', 'BME680_OS_2X', 'BME680_OS_4X', 'BME680_OS_8X', 'BME680_OS_16X']
+ parameter: humidity_oversampling
+ setPressureOversampling:
+ src: [SLEEP, SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: os
+ values: ['BME680_OS_NONE', 'BME680_OS_1X', 'BME680_OS_2X', 'BME680_OS_4X', 'BME680_OS_8X', 'BME680_OS_16X']
+ parameter: pressure_oversampling
+ setTemperatureOversampling:
+ src: [SLEEP, SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: os
+ values: ['BME680_OS_NONE', 'BME680_OS_1X', 'BME680_OS_2X', 'BME680_OS_4X', 'BME680_OS_8X', 'BME680_OS_16X']
+ parameter: temperature_oversampling
+ setRunGas:
+ src: [SLEEP, SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: enabled
+ values: ['BME680_DISABLE_GAS_MEAS', 'BME680_ENABLE_GAS_MEAS']
+ parameter: gas_enabled
+ setHeaterDuration:
+ src: [SLEEP, SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: ms
+ values: [10, 30, 60, 100, 150]
+ parameter: heater_duration_ms
+ setHeaterTemp:
+ src: [SLEEP, SLEEP_PENDING_ATTR]
+ dst: SLEEP_PENDING_ATTR
+ arguments:
+ - name: degc
+ values: [100, 150, 200, 250, 300]
+ parameter: heater_temperature_degc
+ setSensorSettings:
+ src: [SLEEP_PENDING_ATTR]
+ dst: SLEEP
+ arguments:
+ - name: desired_settings
+ values: ['BME680_OST_SEL | BME680_OSP_SEL | BME680_OSH_SEL | BME680_GAS_SENSOR_SEL']
+ setSensorMode:
+ src: [SLEEP]
+ dst: FORCED
+ getSensorData:
+ src: [FORCED]
+ dst: SLEEP