A toolkit for simulating and verifying context aware systems

Context aware system (CAS) is a large scale system which senses information and changes of surrounding environment, and adapts its response correspondingly. Recently, CAS is widely investigated and developed both in academy and industry. CAS is notoriously heterogeneous and complex. For this reason,...

Full description

Saved in:
Bibliographic Details
Published in2010 2nd International Conference on Future Computer and Communication Vol. 1; pp. V1-230 - V1-234
Main Authors Shujun Zou, Kaiyu Wan, Zongyuan Yang
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2010
Subjects
Computational modeling
Computer science
Computer simulation
Content addressable storage
context aware system
Context awareness
Context modeling
Context-aware services
Design methodology
Large-scale systems
Programming
simulate
UPPAAL
verify
Online AccessGet full text

Cover

More Information
Summary:Context aware system (CAS) is a large scale system which senses information and changes of surrounding environment, and adapts its response correspondingly. Recently, CAS is widely investigated and developed both in academy and industry. CAS is notoriously heterogeneous and complex. For this reason, it is especially important to achieve a complete and safe context aware system. Requirements analysis and preliminary design play key role in CAS software development. In this paper, we propose a new method of designing, simulating and verifying of CAS by applying a toolkit named UPPAAL. we will also use an example to expound and prove the feasibility and convenience of the tool UPPAAL for CAS.
ISBN:9781424458219
1424458218
DOI:10.1109/ICFCC.2010.5497799