Skip to Main Content
A context-aware system handling time-critical applications must satisfy explicit end-to-end time constraints which are highly dependent on the correlation between the dynamically changing contexts. To effectively deal with the timing constraints of context-aware systems, a methodology must be developed specifying the causal relationship between the contexts and timing aspect. To date, this issue has not yet been adequately addressed. In this paper, we propose a new modeling methodology which effectively represents the timing variation of contexts by extending interval timed colored Petri net. We also propose a technique determining if a service is able to satisfy the timing requirement. The effectiveness of the proposed approach is demonstrated using a collision avoidance service provided to moving vehicles.
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on (Volume:42 , Issue: 3 )
Date of Publication: May 2012