Efficient computation of min and max sensor values in multihop networks

Consider a wireless sensor network (WSN) where a broadcast from a sensor node does not reach all sensor nodes in the network; such networks are often called multihop networks. Sensor nodes take sensor readings but individual sensor readings are not very important. It is important however to compute aggregated quantities of these sensor readings. The minimum and maximum of all sensor readings at an instant are often interesting because they indicate abnormal behavior, for example if the maximum temperature is very high then it may be that a fire has broken out. We propose an algorithm for computing the min or max of sensor readings in a multihop network. This algorithm has the particularly interesting property of having a time complexity that does not depend on the number of sensor nodes; only the network diameter and the range of the value domain of sensor readings matter

HopScotch - a low-power renewable energy base station network for rural broadband access

The provision of adequate broadband access to communities in sparsely populated rural areas has in the past been severely restricted. In this paper, we present a wireless broadband access test bed running in the Scottish Highlands and Islands which is based on a relay network of low-power base stations. Base stations are powered by a combination of renewable sources creating a low cost and scalable solution suitable for community ownership. The use of the 5~GHz bands allows the network to offer large data rates and the testing of ultra high frequency ``white space'' bands allow expansive coverage whilst reducing the number of base stations or required transmission power. We argue that the reliance on renewable power and the intelligent use of frequency bands makes this approach an economic green radio technology which can address the problem of rural broadband access

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM

Optimizing transmission and shutdown for energy-efficient packet scheduling in sensor networks

Energy-efficiency is imperative to enable the deployment of sensor networks with satisfactory lifetime. Conventional power management in radio communication primarily focuses independently on the physical layer, medium access control (MAC) or routing and approaches differ depending on the levels of abstraction. At the physical layer, the fundamental trade-off that exists between transmission rate and energy is exploited. This leads to the lazy scheduling approach, which consists of transmitting with the lowest power over the longest feasible duration. At MAC level, power reduction techniques tend to keep the transmission as short as possible to maximize the radio's power-off interval. Those two approaches seem conflicting and it is not clear which one is the most appropriate for a given network scenario. In this paper, we propose a transmission strategy that combines both techniques optimally. We present a cross-layer solution to determine the best transmission strategy taking into account the transceiver power consumption characteristics, the system load and the scenario constraints. Based on this approach, we derive a low complexity, on-line scheduling algorithm that can be used to optimally organize the forwarding of the sensed information from cluster heads to the data sink (uplink) in a hierarchical sensor network. Results, considering Coded Frequency Shift Keying (FSK) modulation, show that depending on the scenario, a 50% extra power reduction is achieved in a realistic uplink data gathering context, compared to the case where only transmission rate scaling or shutdown is considered

MEERA: cross-layer methodology for energy efficient resource allocation in wireless networks

In many portable devices, wireless network interfaces consume upwards of 30% of scarce system energy. Reducing the transceiver's power consumption to extend the system lifetime has therefore become a design goal. Our work is targated at this goal and is based on the following two observations. First, conventional energy management approaches have focused independently on minimizing the fixed energy cost (by shutdown) and on scalable energy costs (by leveraging, for example, the modulation, code-rate and transmission power). These two energy management approaches present a tradeoff. For example, lower modulation rates and transmission power minimize the variable energy component, but this shortens the sleep duration thereby increasing fixed energy consumption. Second, in order to meet the Quality of Service (QoS) timeliness requirements for multiple users, we need to determine to what extent each system in the network may sleep and scale. Therefore, we propose a two-phase methodology that resolves the sleep-scaling tradeoff across the physical, communications and link layers at design time and schedules nodes at runtime with near optimal energy-efficient configurations in the solution space. As a result, we are able to achieve very low run-time overheads. Our methodology is applied to a case study on delivering a guaranteed QoS for multiple users with MPEG-4 video over a slow-fading channel. By exploiting runtime controllable parameters of actual RF components and a modified 802.11 Medium Access Controller, system lifetime is increased by a factor of 3-to-10 in comparison with conventional techniques. © 2008 IEEE.status: publishe