Resumé
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Reliable Intelligent Environments |
| Vol/bind | 2 |
| Udgave nummer | 2 |
| Sider (fra-til) | 75-91 |
| Antal sider | 17 |
| ISSN | 2199-4668 |
| DOI | |
| Status | Udgivet - jul. 2016 |
Fingerprint
Citer dette
}
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 tidsskrift › Tidsskriftartikel › Forskning › peer 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 -