Graphical modelling for simulation and formal analysis of wireless network protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5454 LNCS, Issue , 2009, Pages 1-24

  Fehnker, A ^a   Fruth, M ^b   McIver, A K ^c  

^a CSIRO   (Australia)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c MACQUARIE UNIVERSITY   (Australia)

Author keywords

Graphical modelling; Lossy communication channels; Probabilistic model checking; Simulation; Wireless networks

Indexed keywords

ANALYTIC MODELS; FORMAL ANALYSIS; FORMAL MODELS; GOSSIPING PROTOCOLS; GRAPHICAL MODELLING; GRAPHICAL REPRESENTATIONS; GRAPHICAL SPECIFICATION TOOLS; LOSSY COMMUNICATION CHANNELS; NETWORK LAYOUTS; NETWORK TOPOLOGIES; PRISM MODEL CHECKERS; PROBABILISTIC ABSTRACTIONS; PROBABILISTIC MODEL CHECKING; SIMULATION; UNIFORM DESIGNS; WIRELESS LINKS; WIRELESS PROTOCOLS;

COMMUNICATION CHANNELS (INFORMATION THEORY); ELECTRIC NETWORK TOPOLOGY; FAULT TOLERANCE; GRAPHIC METHODS; MODEL CHECKING; PATIENT MONITORING; QUALITY ASSURANCE; SPECIFICATIONS;

WIRELESS NETWORKS;

EID: 63449131941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00867-2_1     Document Type: Conference Paper

References (12)

1. Boulis, A.: Castalia: A simulator for wireless sensor networks, http://castalia.npc.nicta.com.au
2. Aziz, A., Singhal, V., Balarinand, F., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) CAV 1995. LNCS, vol. 939, pp. 155-165. Springer, Heidelberg (1995)
3. Cavin, D., Sasson, Y., Schiper, A.: On the accuracy of manet simulators. In: Proceedings of the second ACM international workshop on Principles of mobile computing, pp. 38-43. ACM Press, New York (2002)
4. Fehnker, A., Fruth, M., Mclver, A.K.: Cavi: A graphical specification tool for wireless network protocols. In: The Proceedings of Quantitative Evaluation of Systems, 2008 (to appear) (2008)
5. Fehnker, A., Gao, P.: Formal verification and simulation for performance analysis for probabilistic broadcast protocols. In: Kunz, T., Ravi, S.S. (eds.) ADHOC-NOW 2006. LNCS, vol. 4104, pp. 128-141. Springer, Heidelberg (2006)
6. Fehnker, A., Mclver, A.: Formal analysis of wireless protocols. In: Proc. 2nd International Symposium in Leveraging applications in formal methods, verification and validation, pp. 263-270. IEEE Computer society digital library, Los Alamitos (2007)
7. Kotz, K., Newport, C, Gray, R.S., Liu, J., Yuan, Y., Elliott, C: Experimental evaluation of wireless simulation assumptions. In: Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems, pp. 78-82. ACM Press, New York (2004)
8. The network simulator ns 2, http://www.isi.edu/nsnam/ns/
9. OPNET, http://www.opnet.com/
10. PRISM. Probabilistic symbolic model checker, http://www. prismmodelchecker.org/
11. Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. Statistical probabilistic model checking: An empirical study. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 46-60. Springer, Heidelberg (2004)
12. Zuniga, M., Krishnamachari, B.: Analyzing the transitional region in low power wireless links. In: First IEEE International Conference on Sensor and Ad hoc Communications and Networks (SECON), pp. 517-526. IEEE, Los Alamitos (2004)