User constraints for reliable user-defined smart home scenarios

Thibaut Le Guilly; Michael Kvist Nielsen; Thomas Pedersen; Arne Joachim Skou; Jesper Kjeldskov; Mikael Skov

doi:10.1007/s40860-016-0020-z

User constraints for reliable user-defined smart home scenarios

Thibaut Le Guilly, Michael Kvist Nielsen, Thomas Pedersen, Arne Joachim Skou, Jesper Kjeldskov, Mikael Skov

Research output: Contribution to journal › Journal article › Research › peer-review

13 Citations (Scopus)

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.

Original language	English
Journal	Journal of Reliable Intelligent Environments
Volume	2
Issue number	2
Pages (from-to)	75-91
Number of pages	17
ISSN	2199-4668
DOIs	https://doi.org/10.1007/s40860-016-0020-z
Publication status	Published - Jul 2016

Keywords

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

Access to Document

10.1007/s40860-016-0020-z

AUB Link

Search for the material in Aalborg University Library's search engine

Arrowhead
Skou, A., Pedersen, T. B. & Bak-Jensen, B.
Artemis JU
01/03/2013 → 28/02/2017
Project: Research
Totalflex
Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.
ForskEL
01/01/2012 → 31/12/2016
Project: Research

Cite this

@article{7ddf9ef0cbd84b239df2e781874a9032,

title = "User constraints for reliable user-defined smart home scenarios",

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.",

keywords = "Smart Home, User-defined scenarios, Formal methods, Reliability, Safety , Graphical User Interface",

author = "{Le Guilly}, Thibaut and Nielsen, {Michael Kvist} and Thomas Pedersen and Skou, {Arne Joachim} and Jesper Kjeldskov and Mikael Skov",

year = "2016",

month = jul,

doi = "10.1007/s40860-016-0020-z",

language = "English",

volume = "2",

pages = "75--91",

journal = "Journal of Reliable Intelligent Environments",

issn = "2199-4668",

publisher = "Physica-Verlag",

number = "2",

}

TY - JOUR

T1 - User constraints for reliable user-defined smart home scenarios

AU - Le Guilly, Thibaut

AU - Nielsen, Michael Kvist

AU - Pedersen, Thomas

AU - Skou, Arne Joachim

AU - Kjeldskov, Jesper

AU - Skov, Mikael

PY - 2016/7

Y1 - 2016/7

N2 - 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.

AB - 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.

KW - Smart Home

KW - User-defined scenarios

KW - Formal methods

KW - Reliability

KW - Safety

KW - Graphical User Interface

U2 - 10.1007/s40860-016-0020-z

DO - 10.1007/s40860-016-0020-z

M3 - Journal article

SN - 2199-4668

VL - 2

SP - 75

EP - 91

JO - Journal of Reliable Intelligent Environments

JF - Journal of Reliable Intelligent Environments

IS - 2

ER -

User constraints for reliable user-defined smart home scenarios

Abstract

Keywords

Access to Document

AUB Link

Fingerprint

Projects

Arrowhead

Totalflex

Cite this