Title: Consistency in context-aware behavior: a model checking approach
Authors: Preuveneers, Davy
Berbers, Yolande #
Issue Date: Jun-2012
Publisher: IOS Press
Host Document: Workshop Proceedings of the 8th International Conference on Intelligent Environments vol:13 pages:401-412
Series Title: Ambient Intelligence and Smart Environments
Conference: Workshop on the Reliability of Intelligent Environments (WoRIE) edition:2 location:Guanajuato, Mexico date:26 June 2012
Abstract: Context-aware systems have been in the research epicenter for more than a decade. By sensing, reasoning and acting on various kinds of relevant situational information, context-aware systems can make well-informed decisions and manifest autonomous behavior through pre-defined and user customizable rules that define what to do in particular circumstances. However, there is still a significant gap between deploying such context-aware systems in lab environments under ideal circumstances and deploying them in the real world with non-specialist end-users. These end-users may experience a lack of understanding or frustration when a system does not behave as expected, especially in the presence of unforeseen human interventions, exceptional circumstances and unexpected events. This paper investigates challenges and opportunities of using model checking as an approach for improving the reliability and consistency of smart environment applications whose behavior is driven by context-aware adaptation rules, and reports on initial results with the SPIN model checker.
ISBN: 978-1-61499-079-6
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper.pdfmain article Published 319KbAdobe 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.