Name
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-30729-4_12 | IFM |
Keywords | Field | DocType |
canonical topology,actual network,root cause,wireless network,small size,mechanized extraction,automated debugging,wireless sensor network,huge number,large size,topology anti-patterns,generic communication structure,computer and information science | Wireless network,Computer science,Theoretical computer science,Network topology,Wireless sensor network,Distributed computing,Formal verification,Debugging | Conference |
Citations | PageRank | References |
2 | 0.38 | 28 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Matthias Woehrle | 1 | 194 | 21.93 |
| Rena Bakhshi | 2 | 137 | 12.25 |
| Mohammad Reza Mousavi | 3 | 358 | 32.34 |