Automatic Trigger Generation for Rule-based Smart Homes
Chandrakana Nandi, Michael D. Ernst · 2016
To customize the behavior of a smart home, an end user writes rules. When an external event satisfies the rule's trigger, the rule's action executes; for example, when the temperature is above a certain threshold, then window awnings might be extended. End users often write incorrect rules. This paper presents a technique that prevents errors due to too few triggers in the rules. The technique statically analyzes a rule's actions to determine what triggers are necessary.