Title :
A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System
Author :
Cherfia, Taha Abdelmoutaleb ; Barkaoui, Kamel ; Belala, Faiza
Author_Institution :
LIRE Lab., Constantine 2 Univ., Constantine, Algeria
Abstract :
Context-aware systems are an emerging class of mobile computing systems aiming to provide ubiquitous access to information, communication and computation. These systems are able to sense and adapt automatically to the current environmental context. In this paper, we present a formal approach based on bigraphical reactive systems for modeling the main features of context-aware systems. The proposed formalism provides a clear separation between the part of the system which is affected by the context and the remaining part. In order to illustrate its potential, we apply our approach through a detailed case study of a smart car system.
Keywords :
intelligent transportation systems; mobile computing; BRS-based modeling approach; bigraphical reactive systems; context-aware systems; environmental context; formal approach; mobile computing systems; smart car system; ubiquitous access; Adaptation models; Calculus; Computational modeling; Context; Context modeling; Ubiquitous computing; Vehicles; Bigraphical Reactive Systems; Context-Aware Systems; Smart Car; Ubiquitous Computing;
Conference_Titel :
Embedded and Ubiquitous Computing (EUC), 2014 12th IEEE International Conference on
Conference_Location :
Milano
DOI :
10.1109/EUC.2014.53
