Name
Abstract | ||
|---|---|---|
Smart systems are today increasingly developed with the number of wireless sensor devices that drastically increases. They are implemented within several contexts through our environment. Thus, sensed data transported in ubiquitous systems are important and the way to carry them must be efficient and reliable. For that purpose, several routing protocols have been proposed to wireless sensor networks (WSN). However, one stage that is often neglected before their deployment, is the conformance testing process, a crucial and challenging step. Active testing techniques commonly used in wired networks are not suitable to WSN and passive approaches are needed. While some works propose to specify the protocol with state models or to analyze them with simulators and emulators, we here propose a logic based approach for formally specifying some functional requirements of a novel WSN routing protocol. We provide an algorithm to evaluate these properties on collected protocol execution traces. Further, we demonstrate the efficiency and suitability of our approach by its application into common WSN functional properties as well as specific ones designed from our own routing protocol. We provide relevant testing verdicts through a real indoor test bed and the implementation of our protocol. We show that our approach may model and passively test common and particular test objectives illustrating its flexibility, genericity and practicability. As far as we know, this is the first work on formal passive testing of routing protocols in wireless sensor networks. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.59 | 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom) |
Keywords | Field | DocType |
Wireless Sensor Networks,Protocol,Conformance Testing,Passive Testing | Link-state routing protocol,Dynamic Source Routing,Computer science,Enhanced Interior Gateway Routing Protocol,Computer network,Wireless Routing Protocol,Interior gateway protocol,Distance-vector routing protocol,Distributed computing,Zone Routing Protocol,Routing protocol | Conference |
ISBN | Citations | PageRank |
978-1-4673-7212-1 | 1 | 0.36 |
References | Authors | |
16 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xiaoping Che | 1 | 59 | 14.48 |
| Stephane Maag | 2 | 229 | 27.21 |
| Hwee Xian Tan | 3 | 112 | 11.26 |
| Hwee Pink Tan | 4 | 252 | 24.39 |