Formal Modeling and Verification of Context-Aware Systems using Event-B
Journal Title: EAI Endorsed Transactions on Context-aware Systems and Applications - Year 2014, Vol 1, Issue 2
Abstract
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a formal method Event-B to model and verify such systems. First, we specify a context aware system’s components such as context data entities, context rules, context relations by Event-B notions. In the next step, we use the Rodin platform to verify the system’s desired properties such as context constraint preservation. It aims to benefit from natural representation of context awareness concepts in Event-B and proof obligations generated by refinement mechanism to ensure the correctness of systems. We illustrate the use of our approach on a scenario of an Adaptive Cruise Control system.
Authors and Affiliations
Hong Anh Le, Ninh Thuan Truong
Keywords
Related Articles
- EP ID EP45745
- DOI http://dx.doi.org/10.4108/casa.1.2.e4
- Views 387
- Downloads 0
Formal Modeling and Verification of Context-Aware Systems using Event-B
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as the...
Modeling the Connections of Dynamic Sensor Fields Based on BT-Graph
In this article, we propose a new approach to model and optimize the dynamic sensor field for both internal network connections and LEO satellite connection based on BT Graph. Due to the shift of LEO satellite’s orbit at...
An Introduction to the Book Titled Nature of Computation and Communication
We introduce the book with the title of “Nature of Computation and Communication” edited by Prof. Phan Cong Vinh, Dr. Emil Vassev and Prof Mike Hinchey, and published by Springer in 2015 to scientists, researchers, profe...
Book Titled Nature-Inspired Networking: Theory and Applications: An Introduction
Nature-Inspired Networking: Theory and Applications contains nine original, peer-reviewed chapters reporting on new developments of interest to the nature-inspired networking/computing communities. All chapters contain r...
Towards a Context-Aware Framework for Improving Collaboration of Users in Groupware Systems
A Context-Aware Groupware System (CAGS) enables the members of a team to communicate, cooperate and coordinate their activities to achieve a common goal, by providing them tools that are aware of their current execution...