DocumentCode :
123678
Title :
Model Checking Pervasive Context-Aware Systems
Author :
Djoudi, Brahim ; Bouanaka, Chafia ; Zeghib, Nadia
Author_Institution :
LIRE Lab., Univ. of Constantine 2, Constantine, Algeria
fYear :
2014
fDate :
23-25 June 2014
Firstpage :
92
Lastpage :
97
Abstract :
Many approaches on context-aware systems specification have been proposed in the literature. However, the absence or poor representation of contextual information and its relationships with system entities in these approaches usually leads to low-precision and irrelevant results. The aim of this paper is to promote the ability to specify and verify context-aware systems. Our proposed modeling methodology exploits Maude reflection and meta-programming to define a domain specific language for context-aware systems specification and adopts Maude model checker to verify system inherent properties. Moreover, a runtime environment implementing the proposed model is developed for pervasive context-aware systems execution.
Keywords :
formal specification; formal verification; ubiquitous computing; Maude model checker; Maude reflection; context-aware systems specification; contextual information; domain specific language; meta-programming; model checking; pervasive context-aware systems; runtime environment; Adaptation models; Adaptive systems; Context; Context modeling; Radar; Safety; Vehicles; Context-aware adaptive systems; Formal methods; Maude; Meta-programming; Model checking; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
WETICE Conference (WETICE), 2014 IEEE 23rd International
Conference_Location :
Parma
Type :
conf
DOI :
10.1109/WETICE.2014.11
Filename :
6927029
Link To Document :
بازگشت