Abstract | ||
---|---|---|
Context-aware systems refer to a particular class of ubiquitous computing in which, systems are able to sense environmental information and adapt their behaviour accordantly. However, the key challenge in the ubiquitous computing lies in providing a consistent model in order to deal with the increasing complexity and variety of context-aware systems. In this paper, we present a rigorous approach based on bigraphical reactive systems for modelling the main features of context-aware systems. The proposed approach provides a clear separation between the part of the system which is affected by the context and the remaining part. Moreover, it is equipped with a domain-specific tool, so-called BigCAS-Tool, which supports the modelling and execution of context-aware systems models. BigCAS-Tool features and capabilities are illustrated through a case study of a traffic sign recognition system. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1504/IJCCBS.2016.081808 | International Journal of Critical Computer-Based Systems |
Field | DocType | Volume |
Bigraph,Model checking,Computer science,System of systems,Context awareness,Real-time computing,Traffic sign recognition,Ubiquitous computing,Reactive system,Control reconfiguration,Distributed computing | Journal | 6 |
Issue | ISSN | Citations |
4 | 1757-8779 | 2 |
PageRank | References | Authors |
0.36 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Taha Abdelmoutaleb Cherfia | 1 | 10 | 1.95 |
Faiza Belala | 2 | 46 | 20.89 |
Kamel Barkaoui | 3 | 536 | 76.60 |