DocumentCode
2425901
Title
Towards a principled and evolvable approach to software development for future wireless sensor networks
Author
Poppleton, Michael R. ; Merrett, Geoff V.
Author_Institution
Electron. & Comput. Sci., Univ. of Southampton, Southampton, UK
fYear
2012
fDate
2-2 June 2012
Firstpage
56
Lastpage
57
Abstract
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.
Keywords
formal verification; wireless sensor networks; SoS; WSN; formal verification; software component; software development; software engineering process; systems of systems; wireless sensor network; Computational modeling; Educational institutions; Middleware; Programming; Reliability; Wireless sensor networks; complexity; formal; refinement; simulation; software engineering; wireless sensor network;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering for Sensor Network Applications (SESENA), 2012 Third International Workshop on
Conference_Location
Zurich
Print_ISBN
978-1-4673-1789-4
Type
conf
DOI
10.1109/SESENA.2012.6225760
Filename
6225760
Link To Document