Éditeur(s) : HAL CCSD ACM
Résumé : International audience
Applications over wireless sensor networks are growing quickly. Traditional software development tools are not well adapted to this technology. In particular, adequate testing methodologies are required. Many issues have not been formally addressed as energy-conservation, congestion control, reliability data dissemination, security. In this paper, we present a pragmatic approach to detect some kind of anomalies based on defined scenarios on wireless sensor networks. A scenario is considered as a set of events which should happen on the network in an ordered way. We discuss a formal architecture able to perform these scenarios over the wireless sensor networks and to raise alarms if necessary. This methodology has been implemented on a prototype and has been experimented with various examples. This contribution is a first attempt for a formal testing methodology for wireless sensor networks.
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks

Droits : info:eu-repo/semantics/OpenAccess
hal-00596118
https://hal.archives-ouvertes.fr/hal-00596118
https://hal.archives-ouvertes.fr/hal-00596118/document
https://hal.archives-ouvertes.fr/hal-00596118/file/Q2sWinet_10.pdf
DOI : 10.1145/1868630.1868641