The University of Southampton
University of Southampton Institutional Repository

Adding value to WSN simulation through formal modelling and analysis

Adding value to WSN simulation through formal modelling and analysis
Adding value to WSN simulation through formal modelling and analysis
Reliable verification and validation techniques are essential to the development of wireless sensor networks (WSNs) in safety-critical domains. This paper proposes a hybrid verification and validation approach integrating formal methods and simulation to increase the quality of WSN development. Simulation, like model checking, can demonstrate the presence of faults but not guarantee their absence. Some classes of faults such as safety property breaches and certain liveness breaches can be proved absent by the use of formal models and theorem provers. Our case study work which combines simulation with formal modelling and verification in Event-B demonstrates this in an environmental application from the SensorScope project. MintRoute, together with S-MAC protocol, is simulated with connectivity failure scenarios using the MiXiM simulation tool. The work indicates the iterative interworking between the formal and simulation methods that we seek.
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) Adding value to WSN simulation through formal modelling and analysis. Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, San Francisco, United States. 18 - 26 May 2013.

Record type: Conference or Workshop Item (Paper)

Abstract

Reliable verification and validation techniques are essential to the development of wireless sensor networks (WSNs) in safety-critical domains. This paper proposes a hybrid verification and validation approach integrating formal methods and simulation to increase the quality of WSN development. Simulation, like model checking, can demonstrate the presence of faults but not guarantee their absence. Some classes of faults such as safety property breaches and certain liveness breaches can be proved absent by the use of formal models and theorem provers. Our case study work which combines simulation with formal modelling and verification in Event-B demonstrates this in an environmental application from the SensorScope project. MintRoute, together with S-MAC protocol, is simulated with connectivity failure scenarios using the MiXiM simulation tool. The work indicates the iterative interworking between the formal and simulation methods that we seek.

Text
icsews13sesena-id15-p-16186-preprint.pdf - Author's Original
Restricted to Registered users only
Download (655kB)
Request a copy

More information

Published date: 2013
Venue - Dates: Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, San Francisco, United States, 2013-05-18 - 2013-05-26
Related URLs:
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 350601
URI: http://eprints.soton.ac.uk/id/eprint/350601
PURE UUID: dffbaef0-861f-4bd3-96da-b0bdf60704a7
ORCID for Geoff V. Merrett: ORCID iD orcid.org/0000-0003-4980-3894

Catalogue record

Date deposited: 08 Apr 2013 16:08
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.

×