User constraints for reliable user-defined smart home scenarios

Research output: Research - peer-reviewJournal article

Abstract

Defining control scenarios in a smart home is a difficult task for end users. In particular, one concern is that user-defined scenarios could lead to unsafe or undesired state of the system. To help them explore scenario specifications, we propose in this paper a system that enables specification of constraints restricting the control commands that can be used inside user-defined scenarios. The system is based on timed automata model checking abstracted by event condition action rules. A prototype was implemented, including a user interface to interact with the user. The usability of the system and interface was evaluated in a user study which results are reported here.
Close

Details

Defining control scenarios in a smart home is a difficult task for end users. In particular, one concern is that user-defined scenarios could lead to unsafe or undesired state of the system. To help them explore scenario specifications, we propose in this paper a system that enables specification of constraints restricting the control commands that can be used inside user-defined scenarios. The system is based on timed automata model checking abstracted by event condition action rules. A prototype was implemented, including a user interface to interact with the user. The usability of the system and interface was evaluated in a user study which results are reported here.
Original languageEnglish
JournalJournal of Reliable Intelligent Environments
Volume2
Issue number2
Pages (from-to)75-91
Number of pages17
ISSN2199-4668
DOI
StatePublished - Jul 2016
Publication categoryResearch
Peer-reviewedYes

    Research areas

  • Smart Home, User-defined scenarios, Formal methods, Reliability, Safety , Graphical User Interface

Projects

ID: 237458364