The University of Southampton
University of Southampton Institutional Repository

Proof-based formal methods for WSN development with Simulation Approach

Proof-based formal methods for WSN development with Simulation Approach
Proof-based formal methods for WSN development with Simulation Approach
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.
Intana, Adisak
2fe6c75f-74c5-4d5d-a97e-adc1623654bb
Poppleton, Michael R.
4c60e63f-188c-4636-98b9-de8a42789b1b
Merrett, Geoff V.
89b3a696-41de-44c3-89aa-b0aa29f54020
Intana, Adisak
2fe6c75f-74c5-4d5d-a97e-adc1623654bb
Poppleton, Michael R.
4c60e63f-188c-4636-98b9-de8a42789b1b
Merrett, Geoff V.
89b3a696-41de-44c3-89aa-b0aa29f54020

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

Record type: Conference or Workshop Item (Paper)

Abstract

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.

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

More information

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

Identifiers

Local EPrints ID: 352397
URI: http://eprints.soton.ac.uk/id/eprint/352397
PURE UUID: 297d37ef-d216-4075-a5da-064a3e6cf0dc
ORCID for Geoff V. Merrett: ORCID iD orcid.org/0000-0003-4980-3894

Catalogue record

Date deposited: 13 May 2013 12:48
Last modified: 15 Mar 2024 03:23

Export record

Contributors

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

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.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×