Adding value to WSN simulation through formal modelling and analysis

International Workshop on Software Engineering for Sensor Network Applications, SESENA

Volumn , Issue , 2013, Pages 24-29

  Intana, Adisak ^a   Poppleton, Michael R ^a   Merrett, Geoff V ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Event B; formal modelling and analysis; model animation; proof; simulation; wireless sensor network

Indexed keywords

EVENT-B; FORMAL MODELLING; MODEL ANIMATIONS; PROOF; SIMULATION;

ANIMATION; COMPUTER SIMULATION; FORMAL METHODS; ITERATIVE METHODS; MEDIUM ACCESS CONTROL; MODEL CHECKING; THEOREM PROVING;

WIRELESS SENSOR NETWORKS;

EID: 84891550717     PISSN: 23271620     EISSN: 23271647     Source Type: Conference Proceeding    
DOI: 10.1109/SESENA.2013.6612261     Document Type: Conference Paper

References (18)

1. S. Nair and R. Cardell-Oliver, "Formal specification and analysis of performance variation in sensor network diffusion protocols, " in Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems, MSWiM '04, (New York, NY, USA), pp. 170-173, ACM, 2004.
2. P. C. Ö lveczky and S. Thorvaldsen, "Formal modeling and analysis of the ogdc wireless sensor network algorithm in real-time maude, " in Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems, FMOODS'07, (Berlin, Heidelberg), pp. 122-140, Springer-Verlag, 2007.
3. K. Saghar, W. Henderson, D. Kendall, and A. Bouridane, "Formal modelling of a robust wireless sensor network routing protocol, " in AHS, pp. 281-288, 2010.
4. C. Killian, J. W. Anderson, R. Jhala, and A. Vahdat, "Life, death, and the critical transition: finding liveness bugs in systems code, " in Proceedings of the 4th USENIX conference on Networked systems design and implementation, NSDI'07, (Berkeley, CA, USA), pp. 18-18, USENIX Association, 2007.
5. C. Bernardeschi and P. Masci, "Early prototyping of wireless sensor network algorithms in pvs, " in Proceedings of the 27th international conference on Computer Safety, Reliability, and Security, (Newcastle upon Tyne, UK), pp. 346-359, Springer-Verlag, 2008.
6. P. Matouek, O. Ryav, G. S. De, and M. Danko, "Combination of simulation and formal methods to analyse network survivability, " in Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques, p. 6, International Communication Sciences and Technology Association, 2010.
7. A. Wang, P. Basu, B. T. Loo, and O. Sokolsky, "Declarative network verification, " in Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL '09, (Berlin, Heidelberg), pp. 61-75, Springer-Verlag, 2009.
8. M. Poppleton and G. Merrett, "Towards a principled and evolvable approach to software development for future wireless sensor networks, " in In Third International Workshop on Software Engineering for Sensor Network Applications, SESENA '12, 2012.
9. D. Ḿery and N. K. Singh, "Analysis of DSR Protocol in Event-B, " in 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011) (X. D́efago, F. Petit, and V. Villain, eds.), vol. 6976, (Grenoble, France), pp. 401-415, Oct. 2011.
10. D. Cansell, D. Ḿery, and J. Rehm, "Time constraint patterns for event b development, " in B, pp. 140-154, 2007.
11. J. Beutel, K. Roemer, M. Woehrle, and M. Ringwald, "Deployment techniques for sensor networks, " in Sensor Networks-Where Theory Meets Practice, pp. 219-248, Springer, 2010.
12. G. Barrenetxea, F. Ingelrest, G. Schaefer, M. Vetterli, O. Couach, and M. Parlange, "Sensorscope: Out-of-The-box environmental monitoring, " in Proceedings of the 7th international conference on Information processing in sensor networks, IPSN '08, (Washington, DC, USA), pp. 332-343, IEEE Computer Society, 2008.
13. A. Woo, T. Tong, and D. Culler, "Taming the underlying challenges of reliable multihop routing in sensor networks, " in Proceedings of the 1st international conference on Embedded networked sensor systems, SenSys '03, (New York, NY, USA), pp. 14-27, ACM, 2003.
14. W. Ye, J. Heidemann, and D. Estrin, "An energy-efficient mac protocol for wireless sensor networks, " in Proceedings of the IEEE Infocom, (New York, NY, USA), pp. 1567-1576, USC/Information Sciences Institute, IEEE, June 2002.
15. J.-R. Abrial, "Formal Methods : Theory Becoming Practice, " Journal of Universal Computer Science, vol. 13, no. 5, pp. 619-628, 2007.
16. J.-R. Abrial, M. J. Butler, S. Hallerstede, and L. Voisin, "An open extensible tool environment for event-b, " in ICFEM, pp. 588-605, 2006.
17. J.-R. Abrial, Modeling in Event-B: System and Software Engineering. New York, USA: Cambridge University Press, 1st ed., 2010.
18. K. Damchoom, M. J. Butler, and J.-R. Abrial, "Modelling and proof of a tree-structured file system in event-b and rodin, " in ICFEM, pp. 25-44, 2008.