Context-aware approach for formal verification
Journal Title: EAI Endorsed Transactions on Context-aware Systems and Applications - Year 2016, Vol 3, Issue 7
Abstract
The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts. In this area, specifying precise requirement is a challenged task for engineer since often environmental conditions lack of precision. A DSL, called CDL, has been proposed to facilitate the specification of requirement and context. However, such language is still low-level and error prone, difficult to grasp on complex models and assessment about its usability is still mitigated. In this paper, we propose a high level formalism of CDL to facilitate specifying contexts based on interaction overview diagrams that orchestrate activity diagrams automatically transformed from textual use cases. Our approach highlights the boundaries between the system and its environment. It is qualified as model checking context-aware that aims to reduce the semantic gap between informal and formal requirements, hence the objective is to assist and encourage engineers to put sufficient details to accomplish effectively the specification process.
Authors and Affiliations
Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe
Keywords
Related Articles
- EP ID EP45769
- DOI http://dx.doi.org/10.4108/eai.12-2-2016.151085
- Views 253
- Downloads 0
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...
An approach for summarization of two-sentences Vietnamese paragraph
The purpose of this paper is to introduce a general approach for summarizing the meaning of Vietnamese paragraphs based on simple two-sentences. The studied objects are paragraphs having the common characteristics: the f...
Quality of Context in Context-Aware Systems
Context-aware Systems (CASs) are becoming increasingly popular and can be found in the areas of wearable computing, mobile computing, robotics, adaptive and intelligent user interfaces. Sensors are the corner stone of co...
Implementation of NoC on FPGA with Area and Power Optimization
On-chip bus-based communication has many shortcomings to it, including resource sharing, delay, latency and cost (power and area). Network on Chip (NoC) is an innovation that is planned to eliminate the shortcomings to b...
A Framework for Developing Context-aware Systems
Context-aware computing refers to a general class of mobile real-time reactive systems that continuously sense their physical environment, and adapt their behavior accordingly. Context-awareness is an essential inherent...