Power-driven Image Compression in Wireless Sensor Networks

Abstract

In WSNs, wirelessly interconnected devices enable multimedia content such as video and audio streams to be ubiquitously retrieved, and still images along with scalar data from surroundings for a wide range of applications are constrained by the processing, memory, and power resources. Image compression through low-complexity and resource-efficient transforms has been addressed by several researchers to prolong the network lifetime where power conservation is achieved through sharing computational load among sensor nodes and by adjusting the transmission ranges of camera nodes. However, these schemes are not adaptive to the presence and changes in the power-level of computational sensor nodes or to the amount of computational load. We propose a resource and power efficient distributed image compression algorithm that dynamically configures the network according to the power levels, and a forwarding strategy that is based on the entropy of the image. The simulation results show that our adaptive distributed image compression scheme significantly prolongs the network lifetime and improves the network utilization efficiency, while maintaining an adequate image quality.

Formal Verification of Hardware Components in Critical Systems

“…e function returns the second argument m if the first argument is O; otherwise, it returns Succ (Add n′ m). A lemma Add_N_O, where Add n O � n holds for any value of n, is stated and proven in Listing 1 (lines [11][12][13][14][15][16][17][18]. e proof of this lemma has been carried out by applying induction on the construction of the first argument n. While carrying out the proof, the Coq tool was interactively guided by giving proof commands called tactics (lines 13-17).…”

“…As the security and reliability of UAVs depend upon the security and reliability of individual components, their correctness must be ensured in the design phase. In addition to UAVs, the formal framework presented in this paper is equally applicable to any other computer system such as sensor networks [15][16][17] and hardware components, such as flash memory, of such systems [18]. In this paper, we address the formal specification and verification of hardware (logic) components, such as memory units and adders, designed at the logic gates level using Boolean algebra.…”

Power Efficient Clustering for Wireless Multimedia Sensor Network

“…In case of mobile environment like wireless sensor networks, it is more critical to consider power consumption because of the limited battery usage. Also [3] is addressing distributed image compression in WSN for power efficiency.…”