User constraints for reliable user-defined smart home scenarios

Guilly, Thibaut Le; Nielsen, Michael Kvist; Pedersen, Thomas Garm; Skou, Arne; Kjeldskov, Jesper; Skov, Mikael B.

doi:10.1007/s40860-016-0020-z

Cited by 19 publications

(15 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Conflicts against system requirements are omitted in their work. Temporal ECA rules are used by Le Guilly et al (2016) and provided a framework to define behaviors that are not wanted to occur in the environment. Their work defined a set of constraints represented in the undesired behaviors states.…”

Section: Current Conflicts’ Classifications and Detection Methodsmentioning

confidence: 99%

“…An example of environmental policy is to ensure that the lecture hall AC is turned off when no one is in the hall. System policies have been used in previous works with different synonyms as Requirement Dependencies ( Munir & Stankovic, 2014 ), Properties ( Zhang et al, 2019a ), Constraints ( Le Guilly et al, 2016 ), and Devices Communication policies ( Nagendra et al, 2019 ). On the other hand, they used policies differently to resolve the conflicts between different users.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A conflicts’ classification for IoT-based services: a comparative survey

Ibrhim

Hassan

Nabil

2021

PeerJ Computer Science

View full text Add to dashboard Cite

Recently, Internet of Things (IoT)-based systems, especially automation systems, have become an indispensable part of modern-day lives to support the controlling of the networked devices and providing context-aware and intelligent environments. IoT-based services/apps developed by the end-users interact with each other and share concurrent access to devices according to their preferences, which increases safety, security, and correctness issues in IoT systems. Due to the critical impacts resulting from these issues, IoT-based apps require a customized type of compilers or checking tools that capable of analyzing the structures of these apps and detecting different types of errors and conflicts either in intra-IoT app instructions or in inter-IoT apps interactions. A plethora of approaches and frameworks have been proposed to assist the best practices for end-users in developing their IoT-based apps and mitigate these errors and conflicts. This paper focuses on conflict classification and detection approaches in the context of IoT systems by investigating the current research techniques that provided conflicts’ classification or detection in IoT systems (published between 2014 and 2020). A classification of IoT-based apps interaction conflicts is proposed. The proposed conflicts’ classification provides a priori conflicts detection method based on the analysis of IoT app instructions’ relationships with utilizing the state-of-the-art Satisfiability Modulo Theories (SMT) model checking and formal notations. The current detection approaches are compared with each other according to the proposed conflicts’ classification to determine to which extend they cover different conflicts. Based on this comparison, we provide evidence that the existing approaches have a gap in covering different conflicts’ levels and types which yields to minimize the correctness and safety of IoT systems. We point out the need to develop a safety and security compiler or tool for IoT systems. Also, we recommend using a hybrid approach that combines model checking with a variety of languages and semantic technologies in developing future IoT-based apps verification frameworks to cover all levels and types of conflicts to guarantee and increase the safety, security, and correctness of IoT systems.

show abstract

Section: Current Conflicts’ Classifications and Detection Methodsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A conflicts’ classification for IoT-based services: a comparative survey

Ibrhim

Hassan

Nabil

2021

PeerJ Computer Science

View full text Add to dashboard Cite

show abstract

“…In [1,[5][6][7][8][9]16], the authors propose approaches for reliable rule based smart environments. They first consider a set of errors that can occur within a set of rules (e.g., conflicts, circularities, constraints violations, redundancy).…”

Section: Related Workmentioning

confidence: 99%

“…In the literature, several solutions have been proposed for the reliability of smart environments [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16]. These solutions use different methods (e.g., model checking, pairwise comparison of rules) to prevent from explicit and/or implicit conflicts and objectives violations.…”

Section: Introductionmentioning

confidence: 99%

Design framework for reliable and environment aware management of smart environment devices

Sylla

Louvel

Rutten

2017

J Internet Serv Appl

View full text Add to dashboard Cite

A smart environment is equipped with numerous devices (i.e., sensors, actuators) that are possibly distributed over different locations (e.g., rooms of a smart building). These devices are automatically controlled to achieve different objectives related, for instance, to comfort, security and energy savings. Controlling smart environment devices is not an easy task. This is due to: the heterogeneity of devices, the inconsistencies that can result from communication errors or devices failure, and the conflicting decisions including those caused by environment dependencies. This paper proposes a design framework for the reliable and environment aware management of smart environment devices. The framework is based on the combination of the rule based middleware LINC and the automata based language Heptagon/BZR (H/BZR). It consists of: an abstraction layer for the heterogeneity of devices, a transactional execution mechanism to avoid inconsistencies and a controller that, based on a generic model of the environment, makes appropriate decisions and avoids conflicts. A case study with concrete devices, in the field of building automation, is presented to illustrate the framework.

show abstract

“…So far, some methodologies have been specifically proposed to improve the reliability of IE [10][11][12]. Likewise, other methodologies initially proposed for the development of reliable Pervasive/Ubiquitous Computing [13][14][15], Ambient Assisted Living (AAL) [16,17], and Multi-Agent [18] Systems could be applied to the development of IE.…”

Section: Introductionmentioning

confidence: 99%