Recently, network coding has been applied to the loss recovery of reliable broadcast transmission in wireless networks. Since it was proved that fi nding the optimal set of lost packets for XOR-ing is a complex NP-com...
详细信息
Recently, network coding has been applied to the loss recovery of reliable broadcast transmission in wireless networks. Since it was proved that fi nding the optimal set of lost packets for XOR-ing is a complex NP-complete problem, the available time-based retransmission scheme and its enhanced retransmission scheme have exponential computational complexity and thus are not scalable to large networks. In this paper, we present an efficient heuristic scheme based on hypergraph coloring and also its enhanced heuristic scheme to improve the transmission efficiency. Basically, our proposed schemes fi rst create a hypergraph according to the packet-loss matrix. Then our schemes solve the problem of generating XORed packets by coloring the edges of hypergraph. Extensive simulation results demonstrate that, the heuristic scheme based on hypergraph coloring and its enhanced scheme can achieve almost the same transmission efficiency as the available ones, but have much lower computational complexity, which is very important for the wireless devices without high computation capacity.
Embedded control systems in automobiles are typically implemented by a set of tasks deployed on multiple Electronic Control Units (ECUs) communicating via one or more buses like CAN or FlexRay. In the case of safety-c...
详细信息
ISBN:
(纸本)9781605589046
Embedded control systems in automobiles are typically implemented by a set of tasks deployed on multiple Electronic Control Units (ECUs) communicating via one or more buses like CAN or FlexRay. In the case of safety-critical systems, there are hard real-time bounds on the (i) response times of tasks/messages, and (ii) end-to-end latencies of certain task/message chains. These depend on various factors like the number of tasks (and messages) involved in the processing (and communication) sequence, parameters of these tasks/messages, scheduling policies, communication protocols, clock drifts, etc. Moreover, since the data transfer among tasks/messages is typically via asynchronous buffers that are overwritable and sticky, multiple semantics are possible for end-to-end latency. Hence, precise estimation of response times and end-to-end latencies in embedded systems is a non-trivial problem. In this paper, we propose a model-checking based technique to compute worst-case response times and end-to-end latencies. We consider a distributed system made of preemptively scheduled tasks and non-preemptively scheduled messages. Given a chain in the system, we estimate two different end-to-end latencies -LIFO and LILO- which are important in automotive domain. From a system description, we automatically synthesize a formal model based on a discrete event simulation formalism called Calendar Automata. It is then model-checked to compute response times and end-to-end latencies. Our technique is more scalable than the existing formal methods based techniques. We have illustrated this technique on reasonably large case-studies from the automotive domain.
In order to solve the problems in wireless sensor networks, such as node failure and losing of master key, a secure communication model based on secret sharing in wireless sensor networks is presented in this paper. I...
详细信息
In-network data aggregation is one of the most important issues for achieving energy-efficiency in wireless sensor networks since sensor nodes in the surrounding region of an event may generate redundant sensed data. ...
详细信息
Recognition of wobbling and nutating cone-shaped targets is a major challenge in space target recognition area. In this paper, we develop a signal model of multiple scattering centers on the wobbling and nutating cone...
详细信息
Anomaly detection methods typically operate on preprocessed traffic traces. Firstly, most traffic capturing devices today employ random packet sampling, where each packet is selected with a certain probability, to cop...
详细信息
Camera calibration using patterns is widely used in computer vision and industry. The accuracy of calibration depends on the accuracy of the pattern. A high accuracy pattern is usually difficult to manufacture in labs...
详细信息
We propose a new intruder deduction system with XOR named IDX. By introducing the concept of abstract XOR term and its operation rules, IDX is able to eliminate complex equational reasoning of XOR. Moreover, it reduce...
详细信息
Practical distributed video coding is enthralling problem to solve for the research community. In this work, we present a distributed video codec to reduce energy consumption at the sensor node. Video compression is c...
详细信息
Practical distributed video coding is enthralling problem to solve for the research community. In this work, we present a distributed video codec to reduce energy consumption at the sensor node. Video compression is computationally intensive task, which makes computational energy a dominant factor in overall energy consumption. Specifically, we propose distributed video codec with low computational energy blocks of DCT, quantization and Huffman coding ensuring maximal compression. Our contribution in this paper is to provide analytical method for computing energy consumption at the sender node. An analytical performance evaluation in terms of expected energy dissipation is provided while using Imote2 platform. Furthermore, due to high processing capability of Imote2 platform, it is suitable for data-rich environments.
Magnetic molecular-level interrogation, manipulation, and diagnosis are emerging as lab-on-chip platforms. These platforms entail low-cost, low-power, portable, and high efficiency integrated implementations. We intro...
详细信息
Magnetic molecular-level interrogation, manipulation, and diagnosis are emerging as lab-on-chip platforms. These platforms entail low-cost, low-power, portable, and high efficiency integrated implementations. We introduce an all-integrated programmable 16 × 16 magnetic coil array chip for sensing and actuating small single bio-objects or collaboratively manipulating larger ones. The die-size is 1.5 × 1.5 mm 2 designed in bulk 0.5 μm CMOS technology. The integrated design does not require any external magnetic source. It relies on the Hall effect generated by the smallest permissible vertical coil inductors (in this reported technology, the smallest inductor's planar area is 6 μm × 6 μm). The coil array is selectively and dynamically controlled. Each cell, composed of the coil and its logical control circuitry, can detect small objects in the order of 1μm diameter as well as emit eight programmable magnetic field levels for manipulation. All array sensing and driving components are shared to reduce the overall imprint. Also, they are tuned to work at 900 MHz incorporating high-speed serial row/column switching for seamless pseudoparallel operation.
暂无评论