NightCycleOperation

Brief Description

Tspr tool software development

Index Description

None

Datapoints Description

temperature_air_zone: Zone air temperature

status_hvac: HVAC operation schedule

temperature_air_zone_heat_setpoint: Zone heating temperature setpoint

temperature_air_zone_cool_setpoint: Zone cooling temperature setpoint

power_fan: Fan power

Assertions Description

if temperature_air_zone_heat_setpoint <= temperature_air_zone <= temperature_air_zone_cool_setpoint and power_fan == 0 then x1=0 else x1=1, if (temperature_air_zone > temperature_air_zone_cool_setpoint and power_fan >= 0) and (temperature_air_zone < temperature_air_zone_heat_setpoint and p_power_fan > 0) then x2=0 else x=1, if x1 and x2=0, then pass, elseif x1=0 and x2=1 then fail, elseif x1=1 and x2=0 then fail, elseif x1=1 and x2=1 then fail

Type Verification Description

Procedure-based

Assertions Type

Pass