User constraints for reliable user-defined smart home scenarios

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

7 Citationer (Scopus)

Resumé

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.
OriginalsprogEngelsk
TidsskriftJournal of Reliable Intelligent Environments
Vol/bind2
Udgave nummer2
Sider (fra-til)75-91
Antal sider17
ISSN2199-4668
DOI
StatusUdgivet - jul. 2016

Fingerprint

Specifications
Model checking
User interfaces

Citer dette

@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 = "7",
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",

}

User constraints for reliable user-defined smart home scenarios. / Le Guilly, Thibaut; Nielsen, Michael Kvist; Pedersen, Thomas; Skou, Arne Joachim; Kjeldskov, Jesper; Skov, Mikael.

I: Journal of Reliable Intelligent Environments, Bind 2, Nr. 2, 07.2016, s. 75-91.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

VL - 2

SP - 75

EP - 91

JO - Journal of Reliable Intelligent Environments

JF - Journal of Reliable Intelligent Environments

SN - 2199-4668

IS - 2

ER -