Title: Multiple conformance to hybrid automata for checking smart house temperature change
Abstract: Conformance testing is a formal approach for checking the validity of an implemented system against its specification. This paper adopts it to comprehensively check the conformance of smart house temperature with its requirements. However, besides its limited capability to detect thermal problems, e.g., temperature fluctuation, it is inefficient when dealing with thermal problems in different time intervals of a test duration. To overcome these problems, this paper proposes a multiple-conformance approach. We adopt hybrid automata to model the required indoor temperature change as the specification, which enabled the check in different time intervals of the test duration. More conformance rules are prescribed in the multiple-conformance approach to enhance its capability to detect thermal problems. We demonstrate its practical usefulness through an experiment, the results of which demonstrate the effectiveness of the proposed approach in detecting thermal problems.
Publication Year: 2018
Publication Date: 2018-10-15
Language: en
Type: article
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot