Title: Semantic analysis and verification of context-driven adaptive applications in intelligent environments
Authors: Preuveneers, Davy ×
Joosen, Wouter #
Issue Date: Apr-2016
Publisher: Springer International Publishing
Series Title: Journal of Reliable Intelligent Environments vol:2 issue:2 pages:53-73
Abstract: With the advent of the Internet of Things (IoT) and Cyber-Physical Systems (CPS), assistive applications and smart environments can tap into a growing amount of context information to learn about their users, their surroundings and typical behavior. This information is useful to adapt intelligently, autonomously and non-intrusively to a myriad of circumstances. However, trustworthiness and reliable adaptation to changes in line with user expectations- especially to situations that the developers did not anticipate-remain key concerns. Understanding the impact of changes from a developer (design time) and system (runtime) perspective, and ensuring that no undesired side effects take place are two non-trivial research challenges to increase the adoption of such applications. Given the limited tool support for anticipating change at design time and runtime, we present our change impact analysis (CIA) methodology- found in the formal semantic modeling of intelligent environments and rule-based application behavior-to contribute to the development and deployment of reliable context-aware adaptive applications.We validate our contributions on nontrivial smart home and office scenarios, and demonstrate how our framework helps increase trust in intelligent environment applications by anticipating change implications upfront at design time and by minimizing the occurrence of undesired side effects at runtime.
ISSN: 2199-4668
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper.pdfMain article Published 4046KbAdobe PDFView/Open Request a copy

These files are only available to some KU Leuven Association staff members


All items in Lirias are protected by copyright, with all rights reserved.