Mechanized Extraction of Topology Anti-patterns in Wireless Networks

  • Matthias Woehrle
  • Rena Bakhshi
  • Mohammad Reza Mousavi
Conference paper

DOI: 10.1007/978-3-642-30729-4_12

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)
Cite this paper as:
Woehrle M., Bakhshi R., Mousavi M.R. (2012) Mechanized Extraction of Topology Anti-patterns in Wireless Networks. In: Derrick J., Gnesi S., Latella D., Treharne H. (eds) Integrated Formal Methods. IFM 2012. Lecture Notes in Computer Science, vol 7321. Springer, Berlin, Heidelberg

Abstract

Exhaustive and mechanized formal verification of wireless networks is hampered by the huge number of possible topologies and the large size of the actual networks. However, the generic communication structure in such networks allows for reducing the root causes of faults to faulty (sub-)topologies, called anti-patterns, of small size. We propose techniques to find such anti-patterns using a combination of model-checking and automated debugging. We apply the proposed technique on two well-known protocols for wireless sensor networks and show that the techniques indeed find the root causes in terms of canonical topologies featuring the fault.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Matthias Woehrle
    • 1
  • Rena Bakhshi
    • 2
  • Mohammad Reza Mousavi
    • 1
    • 3
  1. 1.Embedded Software GroupDelft University of TechnologyThe Netherlands
  2. 2.Department of Computer ScienceVrije Universiteit AmsterdamThe Netherlands
  3. 3.Eindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations