A formal co-simulation approach for wireless sensor network development

Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2014) A formal co-simulation approach for wireless sensor network development Electronic Communications of the EASST, 70, pp. 1-15.


[img] PDF Adisak_AVoCS2014_postprint_201114.pdf - Accepted Manuscript
Restricted to Registered users only
Available under License Other.

Download (639kB)


This paper proposes a Formal Co-simulation (FoCoSim-WSN) framework to provide a good software engineering practice for wireless sensor networks (WSNs) including high-level abstraction, separation of concerns, strong verification and validation (V&V) techniques. This provides an iterative interworking framework which combines the benefits of existing simulation and proof-based formal verification approaches. The complexity of software development for the sensor node controller is reduced by separating the controller model from the simulation environment. Controller Algorithms from application through network and MAC layers can be formally developed and verified in a layered manner using the refinement method of the Event-B language and its RODIN toolkit. The absence of certain classes of faults in controller models which cannot be guaranteed by simulation testing techniques, can be proved by formal methods. On the other hand, the MiXiM simulation of physical environment provides full confidence about reliability and performance analysis through long running simulation via wireless channels. Our prototype development confirms the flexibility of the framework for interworking between formal, simulation and co-simulation modelling.

Item Type: Article
ISSNs: 1863-2122 (print)
Venue - Dates: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVocS 2014), 2014-01-01
Related URLs:
Keywords: formal modelling and analysis, Event-B, proof, simulation, wireless sensor network, co-simulation
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 369791
Date :
Date Event
Date Deposited: 12 Nov 2014 11:27
Last Modified: 17 Apr 2017 07:14
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/369791

Actions (login required)

View Item View Item