|
 
|
[CBB16a] A bigraph-based framework for specification and analysis of context-aware systems Multiple Input Multiple Output Link
Revue Internationale avec comité de lecture : Journal Int. J. of Critical Computer-Based Systems (IJCCBS), vol. 6(4), pp. 322 - 342, 2016Mots clés: bigraphical reactive systems; BRS; BigCAS-Tool; modelling; verification; context-aware systems; traffic sign recognition; ubiquitous computing; context awareness; reconfiguration; structural composition; model checking; reachability analysis; traffic signs.
Résumé:
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.
Commentaires:
Download PDF : http://www.inderscienceonline.com/doi/pdf/10.1504/IJCCBS.2016.081808
Collaboration:
LIRE
BibTeX
| @article { | |||
| CBB16a, | |||
| title | = | "{A bigraph-based framework for specification and analysis of context-aware systems Multiple Input Multiple Output Link}", | |
| author | = | "t. cherfia and F. Belala and K. Barkaoui", | |
| journal | = | "Int. J. of Critical Computer-Based Systems (IJCCBS)", | |
| year | = | 2016, | |
| volume | = | 6, | |
| number | = | 4, | |
| pages | = | "322 - 342", | |
| note | = | "{Download PDF : http://www.inderscienceonline.com/doi/pdf/10.1504/IJCCBS.2016.081808}", | |
| } | |||
