Abstract—Debugging wireless sensor network (WSN) applica-tions has been complicated for multiple reasons, among which the lack of visibility is one of the most challenging. To address this issue, in this paper, we present a systematic approach to record and replay WSN applications at the granularity of instructions. This approach differs from previous ones in that it is purely software based, therefore, no additional hardware component is needed. Our key idea is to combine the static, structural information of the assembly-level code with their dynamic, run-time traces as measured by timestamps and basic block counters, so that we can faithfully infer and replay the actual execution paths of applications at instruction level in a post-morte...
Wireless Sensor Network (WSN) applications are prone to bugs and failures due to their typical chara...
Wireless sensor network research usually focuses on the reliable and efficient collection of data. H...
Recent embedded real-time software tends to be multithreaded and constrained by stringent timing req...
Wireless Sensor Networks (WSNs) are used in a wide variety of applications including environmental m...
Wireless sensor networks (WSNs) are plagued by the possibility of bugs manifesting only at deploymen...
Wireless sensor networks (WSNs) are plagued by the possibility of bugs manifesting only at deploymen...
Error detection and diagnosis for networked embedded systems remain challenging and tedious due to i...
Abstract — Sensing events from dynamic environments are normally asynchronous and non-repeatable. Th...
Error detection and diagnosis for networked embedded systems remain challenging and tedious due to i...
Abstract Bug hunting in sensor networks is challenging: Bugs are often prompted by a particular, com...
Abstract. Due to their safety critical nature, Cyber-Physical Systems such as collaborative cars or ...
Due to their safety critical nature, Cyber-Physical Systems such as collaborative cars or smart grid...
Journal ArticleWireless sensor networks are widely used to detect environment information that is no...
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment ...
We consider software written for networked, wireless sensor nodes, and specialize software verificat...
Wireless Sensor Network (WSN) applications are prone to bugs and failures due to their typical chara...
Wireless sensor network research usually focuses on the reliable and efficient collection of data. H...
Recent embedded real-time software tends to be multithreaded and constrained by stringent timing req...
Wireless Sensor Networks (WSNs) are used in a wide variety of applications including environmental m...
Wireless sensor networks (WSNs) are plagued by the possibility of bugs manifesting only at deploymen...
Wireless sensor networks (WSNs) are plagued by the possibility of bugs manifesting only at deploymen...
Error detection and diagnosis for networked embedded systems remain challenging and tedious due to i...
Abstract — Sensing events from dynamic environments are normally asynchronous and non-repeatable. Th...
Error detection and diagnosis for networked embedded systems remain challenging and tedious due to i...
Abstract Bug hunting in sensor networks is challenging: Bugs are often prompted by a particular, com...
Abstract. Due to their safety critical nature, Cyber-Physical Systems such as collaborative cars or ...
Due to their safety critical nature, Cyber-Physical Systems such as collaborative cars or smart grid...
Journal ArticleWireless sensor networks are widely used to detect environment information that is no...
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment ...
We consider software written for networked, wireless sensor nodes, and specialize software verificat...
Wireless Sensor Network (WSN) applications are prone to bugs and failures due to their typical chara...
Wireless sensor network research usually focuses on the reliable and efficient collection of data. H...
Recent embedded real-time software tends to be multithreaded and constrained by stringent timing req...