The OpenBuildingControl project develops tools and processes for the performance evaluation, specification and verification of building control sequences. This paper describes the tools developed to verify that building control sequences are implemented as specified in a vendor-neutral, executable specification. The verification is done by testing whether trended time series, compared to the simulated control response, are within user-specified tolerances for time and for the trended variable. Morever, sequence diagrams are used for inspection of the control response. The paper gives an overview of the OpenBuildingControl process and describes tools for the control verification. It presents and example in which we successfully verified that an actual implemented control sequence conforms to its vendor-independent specification. It closes with discussion of experiences collected during this verification and with alternate approaches that can improve the operational performance of buildings.
BT - 16th IBPSA Conference CY - Rome, Italy DA - 09/2019 LA - eng N2 -The OpenBuildingControl project develops tools and processes for the performance evaluation, specification and verification of building control sequences. This paper describes the tools developed to verify that building control sequences are implemented as specified in a vendor-neutral, executable specification. The verification is done by testing whether trended time series, compared to the simulated control response, are within user-specified tolerances for time and for the trended variable. Morever, sequence diagrams are used for inspection of the control response. The paper gives an overview of the OpenBuildingControl process and describes tools for the control verification. It presents and example in which we successfully verified that an actual implemented control sequence conforms to its vendor-independent specification. It closes with discussion of experiences collected during this verification and with alternate approaches that can improve the operational performance of buildings.
PP - Rome, Italy PY - 2019 T2 - 16th IBPSA Conference T3 - 16th IBPSA Conference TI - Verification of Control Sequences within OpenBuildingControl UR - http://www.ibpsa.org/proceedings/BS2019/BS2019_210722.pdf ER -