An Application Conflict Detection and Resolution System for Smart Homes

Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

One of the applications of Cyber-Physical Systems (CPSs) is the Smart Homes. In Smart Homes, multiple apps operate the sensors and actuators to provide rich user experience in a living environment. Because actuators are entities that affect the surrounding environment, conflicts may occur if two or more apps are running simultaneously, especially when they try to use a single actuator or when they use different actuators causing different effects. There have been attempts to resolve these conflicts at app installation time. However the state-of-the-art solutions can detect conflicts only if the apps actuate on devices with conditions based on time, and resolute conflicts by creating a total order between all apps, regardless of the situations of the conflicts. In this paper, we create a Kripke structure to detect conflicts by model-checking the assertion 'no two appsuse actuators to create different effects at the same location'. Our proposed system, which provides install-time conflict detection, enables detection of application conflicts triggered by conditions based on events. In addition, it supports users in prioritising apps by reducing the number of conflicts by dividing them into groups of the same situation which are meaningful to the users. By prioritising apps for each situation, rather than creating a total order, our system allows the apps to run in a more flexible way.

Original languageEnglish
Title of host publicationProceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages33-39
Number of pages7
ISBN (Electronic)9781479919345
DOIs
Publication statusPublished - 2015 Jul 30
Externally publishedYes

Fingerprint

Application programs
Actuators
Model checking
Sensors

Keywords

  • conflict resolution
  • model checking
  • Requirements at runtime
  • Smart Home

ASJC Scopus subject areas

  • Artificial Intelligence
  • Software
  • Control and Systems Engineering

Cite this

Yagita, M., Ishikawa, F., & Honiden, S. (2015). An Application Conflict Detection and Resolution System for Smart Homes. In Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015 (pp. 33-39). [7173941] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SEsCPS.2015.14

An Application Conflict Detection and Resolution System for Smart Homes. / Yagita, Miki; Ishikawa, Fuyuki; Honiden, Shinichi.

Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 33-39 7173941.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yagita, M, Ishikawa, F & Honiden, S 2015, An Application Conflict Detection and Resolution System for Smart Homes. in Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015., 7173941, Institute of Electrical and Electronics Engineers Inc., pp. 33-39. https://doi.org/10.1109/SEsCPS.2015.14
Yagita M, Ishikawa F, Honiden S. An Application Conflict Detection and Resolution System for Smart Homes. In Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 33-39. 7173941 https://doi.org/10.1109/SEsCPS.2015.14
Yagita, Miki ; Ishikawa, Fuyuki ; Honiden, Shinichi. / An Application Conflict Detection and Resolution System for Smart Homes. Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 33-39
@inproceedings{1a3e544cd98d4e55bb2a91371901013e,
title = "An Application Conflict Detection and Resolution System for Smart Homes",
abstract = "One of the applications of Cyber-Physical Systems (CPSs) is the Smart Homes. In Smart Homes, multiple apps operate the sensors and actuators to provide rich user experience in a living environment. Because actuators are entities that affect the surrounding environment, conflicts may occur if two or more apps are running simultaneously, especially when they try to use a single actuator or when they use different actuators causing different effects. There have been attempts to resolve these conflicts at app installation time. However the state-of-the-art solutions can detect conflicts only if the apps actuate on devices with conditions based on time, and resolute conflicts by creating a total order between all apps, regardless of the situations of the conflicts. In this paper, we create a Kripke structure to detect conflicts by model-checking the assertion 'no two appsuse actuators to create different effects at the same location'. Our proposed system, which provides install-time conflict detection, enables detection of application conflicts triggered by conditions based on events. In addition, it supports users in prioritising apps by reducing the number of conflicts by dividing them into groups of the same situation which are meaningful to the users. By prioritising apps for each situation, rather than creating a total order, our system allows the apps to run in a more flexible way.",
keywords = "conflict resolution, model checking, Requirements at runtime, Smart Home",
author = "Miki Yagita and Fuyuki Ishikawa and Shinichi Honiden",
year = "2015",
month = "7",
day = "30",
doi = "10.1109/SEsCPS.2015.14",
language = "English",
pages = "33--39",
booktitle = "Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - An Application Conflict Detection and Resolution System for Smart Homes

AU - Yagita, Miki

AU - Ishikawa, Fuyuki

AU - Honiden, Shinichi

PY - 2015/7/30

Y1 - 2015/7/30

N2 - One of the applications of Cyber-Physical Systems (CPSs) is the Smart Homes. In Smart Homes, multiple apps operate the sensors and actuators to provide rich user experience in a living environment. Because actuators are entities that affect the surrounding environment, conflicts may occur if two or more apps are running simultaneously, especially when they try to use a single actuator or when they use different actuators causing different effects. There have been attempts to resolve these conflicts at app installation time. However the state-of-the-art solutions can detect conflicts only if the apps actuate on devices with conditions based on time, and resolute conflicts by creating a total order between all apps, regardless of the situations of the conflicts. In this paper, we create a Kripke structure to detect conflicts by model-checking the assertion 'no two appsuse actuators to create different effects at the same location'. Our proposed system, which provides install-time conflict detection, enables detection of application conflicts triggered by conditions based on events. In addition, it supports users in prioritising apps by reducing the number of conflicts by dividing them into groups of the same situation which are meaningful to the users. By prioritising apps for each situation, rather than creating a total order, our system allows the apps to run in a more flexible way.

AB - One of the applications of Cyber-Physical Systems (CPSs) is the Smart Homes. In Smart Homes, multiple apps operate the sensors and actuators to provide rich user experience in a living environment. Because actuators are entities that affect the surrounding environment, conflicts may occur if two or more apps are running simultaneously, especially when they try to use a single actuator or when they use different actuators causing different effects. There have been attempts to resolve these conflicts at app installation time. However the state-of-the-art solutions can detect conflicts only if the apps actuate on devices with conditions based on time, and resolute conflicts by creating a total order between all apps, regardless of the situations of the conflicts. In this paper, we create a Kripke structure to detect conflicts by model-checking the assertion 'no two appsuse actuators to create different effects at the same location'. Our proposed system, which provides install-time conflict detection, enables detection of application conflicts triggered by conditions based on events. In addition, it supports users in prioritising apps by reducing the number of conflicts by dividing them into groups of the same situation which are meaningful to the users. By prioritising apps for each situation, rather than creating a total order, our system allows the apps to run in a more flexible way.

KW - conflict resolution

KW - model checking

KW - Requirements at runtime

KW - Smart Home

UR - http://www.scopus.com/inward/record.url?scp=84946229136&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84946229136&partnerID=8YFLogxK

U2 - 10.1109/SEsCPS.2015.14

DO - 10.1109/SEsCPS.2015.14

M3 - Conference contribution

AN - SCOPUS:84946229136

SP - 33

EP - 39

BT - Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

ER -