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.

Download

[img] PDF icsews13sesena-id15-p-16186-preprint.pdf - Author's Original
Restricted to Registered users only

Download (655kB)

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

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, United States, 2013-05-18 - 2013-05-26
Related URLs:
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 350601
Date :
Date Event
2013Published
Date Deposited: 08 Apr 2013 16:08
Last Modified: 23 Feb 2017 04:08
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/350601

Actions (login required)

View Item View Item