NightCycleOperation
Brief Description
Tspr tool software development
Index Description
None
Datapoints Description
T_zone: Zone Air Temperature
HVAC_operation_sch: HVAC Operation Schedule
T_heat_set: Zone Thermostat Heating Setpoint Temperature
T_cool_set: Zone Thermostat Cooling Setpoint Temperature
Fan_elec_rate: Fan Electricity Rate
Assertions Description
if T_heat_set <= T_zone <= T_cool_set and Fan_elec_rate ==0 then x1=0 else x1=1, if (T_zone > T_cool_set and Fan_elec_rate >= 0) and (T_zone < T_heat_set and Fan_elec_rate>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