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, 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.