Towards a principled and evolvable approach to software development for future wireless sensor networks

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 position paper we present our vision for a principled formal software development and verification process for WSNs within SoSs.