NDLI: Global property violation detection and diagnosis for wireless sensor networks

Content Provider	IEEE Xplore Digital Library
Author	Man Wang Zhiyuan Li
Copyright Year	2013
Description	Author affiliation: Comput. Sci. Dept., Purdue Univ., West Lafayette, IN, USA (Man Wang; Zhiyuan Li)
Abstract	Run-time error detection and deterministic off-line error replay have received wide attention in recent years as a technique to enhance the programmer's ability to find software errors. To apply this technique to wireless sensor networks (WSN), one must be able to deal with the severe constraint on the memory, the communication bandwidth and the energy source on the sensor motes and the highly dynamic and unpredictable operating environment. All these make it difficult for the application programmer to manually insert operations required for error detection and replay. This paper makes three contributions towards making error detection and replay automatic for WSNs: (i) a domain-specific language, called SensorC, for specifying WSN global properties that must be satisfied when the system and its application software are deployed; (ii) a method to automatically decompose such global properties into a set of local operations to detect global property violations, with the goal to minimize the communication traffic for state information exchanges; and (iii) a new program analysis to identify program sub-traces that can be skipped for replay without losing the accuracy of diagnosis. The proposed techniques, which are implemented in a compiler, are shown by experiments to successfully catch real WSN software errors and to substantially reduce message exchanges for run time error detection.
Starting Page	1
Ending Page	10
File Size	950712
Page Count	10
File Format	PDF
ISBN	9781479914005
DOI	10.1109/CASES.2013.6662529
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-09-29
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Wireless sensor network Wireless sensor networks Base stations Invari Property decomposition Ants Message passing Program debugging Production Routing Routing protocols Software
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Global property violation detection and diagnosis for wireless sensor networks

Detection of Sinkhole Attack in Wireless Sensor Networks Using Message Digest Algorithms

Secure Routing Protocol for Mobile Wireless Sensor Network

A comprehensive survey of routing protocols in wireless sensor networks

An Empirical Analysis of Ad hoc Routing Protocols for Hybrid Wireless Sensor Networks

Wireless Sensor Networks and Its Routing Protocols: A Comparative Study

Routing Protocols with Power Saving and Data Salvation for Wireless Sensor Networks

An Intrusion Detection System for Critical Information Infrastructures using Wireless Sensor Network technologies

Message efficient termination detection in wireless sensor networks

Global property violation detection and diagnosis for wireless sensor networks

Similar Documents

Global property violation detection and diagnosis for wireless sensor networks

Detection of Sinkhole Attack in Wireless Sensor Networks Using Message Digest Algorithms

Secure Routing Protocol for Mobile Wireless Sensor Network

A comprehensive survey of routing protocols in wireless sensor networks

An Empirical Analysis of Ad hoc Routing Protocols for Hybrid Wireless Sensor Networks

Wireless Sensor Networks and Its Routing Protocols: A Comparative Study

Routing Protocols with Power Saving and Data Salvation for Wireless Sensor Networks

An Intrusion Detection System for Critical Information Infrastructures using Wireless Sensor Network technologies

Message efficient termination detection in wireless sensor networks

Global property violation detection and diagnosis for wireless sensor networks