The University of Southampton
University of Southampton Institutional Repository

Proof-based formal methods for WSN development with Simulation Approach

Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Proof-based formal methods for WSN development with Simulation Approach At 2013 Rodin Workshop, Finland. 10 - 11 Jun 2013.

Record type: Conference or Workshop Item (Paper)


Software engineering (SE) plays a fundamental role in wireless sensor network (WSN) development due to the appearance of WSN adoption over wide range of the real-world physical applications. The WSN software development process focuses on “low phases” of development such as programming, testing and deployment. In current practice, programmers decompose the problem and then develop code for sensor nodes based on the functionality provided by the operating system platform of choice before integrating with low level hardware. The current WSN development process is performed under very limited OS or development resource available. Simulation testing, emulation testing and laboratory testbed techniques are the main approaches to analyse and evaluate the correctness and performance of network algorithms and protocols. However, since WSNs have been applied to safety-critical application domains from healthcare to military applications, the high-level abstraction and verification and validation techniques have become an important key for current WSN development. It is quite evident that they lack SE methods, techniques and tools which support “high phases" of current practices on WSN development such as requirements and architecture specification. This research proposes a hybrid verification and validation approach for the “high phases” of WSN development process by integrating formal methods with existing simulation technologies.

PDF RODIN13_ADISAK.pdf - Author's Original
Download (139kB)

More information

Published date: 11 June 2013
Venue - Dates: 2013 Rodin Workshop, Finland, 2013-06-10 - 2013-06-11
Organisations: Electronics & Computer Science


Local EPrints ID: 352397
PURE UUID: 297d37ef-d216-4075-a5da-064a3e6cf0dc
ORCID for Geoff V. Merrett: ORCID iD

Catalogue record

Date deposited: 13 May 2013 12:48
Last modified: 18 Jul 2017 04:14

Export record


Author: Adisak Intana
Author: Michael R. Poppleton
Author: Geoff V. Merrett ORCID iD

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.