Date Added: Mar 2012
Due to the operational demands and requirements diversity in Wireless Sensor Networks (WSNs), great improvements in the software engineering process are required. As WSNs increasingly become essential, even critical, components in Systems-of-Systems (SoSs), the case for verification in the development process is strong. In this paper, the authors present their vision for a principled formal software development and verification process for WSNs within SoSs. WSN deployments and applications have many dimensions of variability, for example heterogeneity of purpose and functionality, communication patterns, fault tolerance and safety, and performance requirements.