Specification verification and validation of wireless sensor network model for environment monitoring

Abstract

In this paper we propose methodology for modeling and development of wireless sensor network (WSN) application for monitoring, quantifying, verifying and validating organization GHG information. We have discussed preliminary activities and challenges involved in the development of GHG project and proposed system architecture for GHG information system. Methodology is modeled and specified using Active sensor process (ASP). Extensively studied different fault affecting WSN and considered effective fault tolerance technique at the level of individual component. An algorithm is proposed for verifying and validating sampled data and evaluated using experimental analysis.