The University of Southampton
University of Southampton Institutional Repository

Adding value to WSN simulation through formal modelling and analysis

Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Adding value to WSN simulation through formal modelling and analysis At Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, 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.

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

More information

Published date: 2013
Venue - Dates: Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, 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: 18 Jul 2017 04:32

Export record

Contributors

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

×