| Popis: |
In the last years, the application of sensor networks has been increased. Also, the software development requirements for such systems are getting more complex. The data storage and processing techniques, for these environments, are insufficient for the new requirements. In this paper, we develop and analysis a model for the integration of real-time database technology with an embedded sensor network systems, to tackle such deficiencies. The hierarchical Coloured Petri nets formal method is used to describe the formal model. We detail the analysis of functional and temporal properties related to the sensor network and a real-time database server. |
