Mechanized extraction of topology anti-patterns in wireless networks

M. Woehrle, R. Bakhshi, M.R. Mousavi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationIntegrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings)
EditorsJ. Derrick, S. Gnesi, D. Latella, H. Treharne
Place of PublicationBerlin
PublisherSpringer
Pages158-173
ISBN (Print)978-3-642-30728-7
DOIs
Publication statusPublished - 2012

Publication series

NameLecture Notes in Computer Science
Volume7321
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Mechanized extraction of topology anti-patterns in wireless networks'. Together they form a unique fingerprint.

  • Cite this

    Woehrle, M., Bakhshi, R., & Mousavi, M. R. (2012). Mechanized extraction of topology anti-patterns in wireless networks. In J. Derrick, S. Gnesi, D. Latella, & H. Treharne (Eds.), Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings) (pp. 158-173). (Lecture Notes in Computer Science; Vol. 7321). Berlin: Springer. https://doi.org/10.1007/978-3-642-30729-4_12