Automatic trigger generation for end user written rules for home automation

Abstract

To customize the behavior of a smart home, an end user writes rules. When an external event satisfies a 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's technique prevents a certain category of errors in the rules: errors due to too few triggers. It statically analyzes a rule's actions to automatically determine a set of necessary and sufficient triggers.

BibTeX

@inproceedings{Nandi:FSE16,
  author    = {Chandrakana Nandi},
  title     = {Automatic trigger generation for end user written rules for home automation},
  booktitle = {FSE},
  pages     = {1109--1111},
  publisher = {{ACM}},
  year      = {2016},
}

Automatic trigger generation for end user written rules for home automation

Abstract

Related papers