Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks
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.
Poppleton, Michael R.
4c60e63f-188c-4636-98b9-de8a42789b1b
Merrett, Geoff V.
89b3a696-41de-44c3-89aa-b0aa29f54020
2 June 2012
Poppleton, Michael R.
4c60e63f-188c-4636-98b9-de8a42789b1b
Merrett, Geoff V.
89b3a696-41de-44c3-89aa-b0aa29f54020
Poppleton, Michael R. and Merrett, Geoff V.
(2012)
Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks.
Third International Workshop on Software Engineering for Sensor Network Applications, Zurich, Switzerland.
2 pp
.
Record type:
Conference or Workshop Item
(Paper)
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.
More information
Published date: 2 June 2012
Additional Information:
Copyright IEEE
Venue - Dates:
Third International Workshop on Software Engineering for Sensor Network Applications, Zurich, Switzerland, 2012-06-02
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 336611
URI: http://eprints.soton.ac.uk/id/eprint/336611
PURE UUID: f05fb864-c05f-4232-bfe2-7870ab057140
Catalogue record
Date deposited: 30 Mar 2012 14:33
Last modified: 15 Mar 2024 03:23
Export record
Contributors
Author:
Michael R. Poppleton
Author:
Geoff V. Merrett
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics