We look at software written for wireless sensor nodes, and specialize and develop on the state of the art in software verification techniques for standard C programs (CBMC and SatAbs from the CProver suite) in order to locate programming errors in sensor applications before the software’s deployment on motes. Ensuring the reliability of sensor applications is an exemplary difficult problem for ...

Wireless sensor networks consist of a network in which node are spatially distributed. These sensor nodes communicates with each other for transferring data from one node to another. These sensor nodes while transfer of data consumes energy. So the energy consumption is high in wireless sensor networks. To reduce the energy consumption the compressive sensing method is given known as compressiv...

Wireless Sensor Networks is important to node’s energy consumption for long activity of sensor nodes because nodes that compose sensor network are small size, and battery capacity is limited. For energy consumption decrease of sensor nodes, sensor network’s routing technique is divided by flat routing and hierarchical routing technique. Specially, hierarchical routing technique is energy-effici...

Wireless sensor nodes are applicable in a wide range of situations such as the medical, industrial or environmental domains, but the focus is on the biomedical domain. This paper presents the steps taken to develop a low power processor using Silicon Hive technology and mapping an electrocardiogram analysis algorithm on that processor. Today’s energyscavengers are able to deliver 100μW. This is...

In wireless sensor network, traditional security mechanisms such as cryptographic methods need a large consumption of resources such as memory, speed, and communication bandwidth. And by using such techniques it is not possible to detect malicious, faulty and selfish nodes that harm to network. Alternatively, trust methods calculate trust of sensor nodes and thereby help to detect malicious, se...

In wireless sensor networks (WSN), there are many nodes and they are unattended so an adversary can easily capture and compromise the sensor nodes and take secret key from the nodes then make many replicas (duplicate) of them. After getting the secret key from the sensor node the sensitive data which is present in the nodes get leaked so an adversary can quickly degrades the network communicati...

Mobile Ad Hoc Networks (MANET) can be considered as a class of unstructured networks created by a number of autonomous wireless and sensor nodes. The inherent characteristics of such networks have made specific applications, such as multimedia transfer and challenging. Basically, the functionality of a node and very few resources directly affect the delivery of packets which depends on the ...

A Wireless Sensor Network (WSN) is a wireless decentralized structure network consists of many nodes. Nodes can be fixed or mobile. WSN applications typically observe some physical phenomenon through sampling of the environment so determine the location of events is an important issue in WSN. Wireless Localization used to determine the position of nodes. The precise localization in WSNs is a co...

A wireless sensor network (WSN) is a collection of spatially distributed, resourceconstrained sensor nodes, deployed within an application area, to monitor a specific event or set of events. These sensor nodes are standalone devices without access to a continuous energy source and are located either within or close to the phenomena they are observing. The nodes communicate with one or more cent...

This work investigates into the design of sink location propagation in wireless sensor network with mobile sink. In our proposed work, few sensor nodes are assigning a role to propagate the sink location information to the remaining nodes. We refer such nodes as beacon nodes (BNs). We design a distributed algorithm to select BNs. The selection of BNs depends on their sensor node degree. To ensu...