We present KleeNet, a Klee based bug hunting tool for sensor network applications before deployment. KleeNet automatically tests code for all possible inputs, ensures memory safety, and integrates well into TinyOS bas...
详细信息
this poster introduces all application-specific trace log compression mechanism targeted for execution on wireless sensor network nodes. Trace logs capture sequences of significant events executed oil a node to provid...
详细信息
ISBN:
(纸本)9781595939906
this poster introduces all application-specific trace log compression mechanism targeted for execution on wireless sensor network nodes. Trace logs capture sequences of significant events executed oil a node to provide visibility into the system. the application-specific compression mechanism exploits static program control flow knowledge to automate insertion of trace statements that capture trace data in a concise form. Initial evaluation reveals that these compressed trace logs, when generated, consume just over a fifth of the space required by standard trace logging techniques.
We demonstrate MacroLab, which is a macroprogramming framework that offers a vector programming abstraction Similar to Matlab for cyber-physical systems (CPSs). the user writes a single program for an entire network u...
详细信息
ISBN:
(纸本)9781595939906
We demonstrate MacroLab, which is a macroprogramming framework that offers a vector programming abstraction Similar to Matlab for cyber-physical systems (CPSs). the user writes a single program for an entire network using Matlab-like operations such as addition, find, and max. the framework executes these operations across the network in a distributed fashion, a centralized fashion, or something between the two - whichever is most efficient for the target deployment. We call this approach deployment-specific code decomposition (DSCD). the MacroLab programming framework will facilitate the easy development of applications for CPSs by domain experts such as scientists and engineers with almost no additional overhead to the nodes in terms of message cost, power consumption, memory footprint, or CPU cycles over TinyOS programs.
the Java programming language has potentially significant advantages for wireless sensor nodes but there is currently no feature-rich, open source virtual machine available. In this paper we present Darjeeling, a syst...
详细信息
ISBN:
(纸本)9781595939906
the Java programming language has potentially significant advantages for wireless sensor nodes but there is currently no feature-rich, open source virtual machine available. In this paper we present Darjeeling, a system comprising offline tools and a memory efficient run-time. the offline post-compiler tool analyzes, links and consolidates Java class files into loadable modules. the runtime implements a modified Java VM that supports multithreading and is designed specifically to operate in constrained execution environments such as wireless sensor network nodes and supports inheritance, threads, garbage collection, and loadable modules. We have demonstrated Java running oil AVR128 and MSP430 microcontrollers at speeds of up to 70,000 JVM instructions per second.
this paper will describe current and ongoing developments of wire less-connected RFID reader systems for evaluation of a passive user localization system. A two-tier architecture of different wireless-connected RFID r...
详细信息
ISBN:
(纸本)9781595939906
this paper will describe current and ongoing developments of wire less-connected RFID reader systems for evaluation of a passive user localization system. A two-tier architecture of different wireless-connected RFID readers will be introduced. On the lower level, i.e. the first tier, several wireless technologies can co-exist using different kinds of communication technologies to connect different RFID readers. these technologies are connected through a fully meshed WiFi/WLAN network to bring them into the IP world. this IP infrastructure is the second tier, built up on IEEE 802.11.
We present a macroprogramming framework called MacroLab that offers a vector programming abstraction similar to Matlab for Cyber-Physical systems (CPSs). the user writes a single program for the entire network using M...
详细信息
ISBN:
(纸本)9781595939906
We present a macroprogramming framework called MacroLab that offers a vector programming abstraction similar to Matlab for Cyber-Physical systems (CPSs). the user writes a single program for the entire network using Matlab-like operations such as addition, find, and max. the framework executes these operations across the network in a distributed fashion, a centralized fashion, or something between the two - whichever is most efficient for the target deployment. We call this approach deployment-specific code decomposition (DSCD). MacroLab programs can be executed on mote-class hardware such as the Telos [24] motes. Our results indicate that MacroLab introduces almost no additional overhead in terms of message cost, power consumption, memory footprint, or CPU cycles over TinyOS programs.
the successful deployment of a wireless sensor network is a difficult task, littered with traps and pitfalls. Even a functional network does not guarantee gathering meaningful data. In sensorScope, with its multiple c...
详细信息
ISBN:
(纸本)9781595939906
the successful deployment of a wireless sensor network is a difficult task, littered with traps and pitfalls. Even a functional network does not guarantee gathering meaningful data. In sensorScope, with its multiple campaigns in various environments (e.g., urban, high-mountain), we have acquired much knowledge in planning, conducting, and managing real-world sensor network deployments. In this paper, we share our experience by stepping through the entire process, from the preparatory hard- and software development to the actual field deployment. Illustrated by numerous real-life examples, excerpted from our own experience, we point out many potential problems along this way and their possible solutions. We also indicate the importance of a close interaction withthe end-user community in planning and running the network, and finally exploiting the data.
With emerging IPv6-based standards such as 6LowPAN and ISA-100a, full IPv6 sensor networks are the next major step. With millions of deployed embedded IPv6 devices, interoperability is of major importance, both within...
详细信息
ISBN:
(纸本)9781595939906
With emerging IPv6-based standards such as 6LowPAN and ISA-100a, full IPv6 sensor networks are the next major step. With millions of deployed embedded IPv6 devices, interoperability is of major importance, both within the sensor networks and between the sensors and the Internet hosts. We present uIPv6, the first IPv6 stack for memory-constrained devices that passes all Phase-1 IPv6 Ready certification tests. this is an important step for end-to-end interoperability between IPv6 sensors and any IPv6 capable device. To allow widespread community adoption, we release uIPv6 under a permissive open source license that allows both commercial and non-commercial use.
We present the design and deployment results for PosNet - a large-scale, long-duration sensor network that gathers summary position and status information from mobile nodes. the mobile nodes have a fixed-sized memory ...
详细信息
ISBN:
(纸本)9781595939906
We present the design and deployment results for PosNet - a large-scale, long-duration sensor network that gathers summary position and status information from mobile nodes. the mobile nodes have a fixed-sized memory buffer to which position data is added at a constant rate, and from which data is downloaded at a non-constant rate. We have developed a novel algorithm that performs online summarization of position data within the buffer, where the algorithm naturally accommodates data input and output rate mismatch, and also provides a delay-tolerant approach to data transport. the algorithm has been extensively tested in a large-scale long-duration cattle monitoring and control application.
the scale of weather monitoring is limited by the cost of the automatic weather stations (AWS), which is mainly the cost of high precision instruments and long-distance wireless telecommunication equipments. We propos...
详细信息
ISBN:
(纸本)9781595939906
the scale of weather monitoring is limited by the cost of the automatic weather stations (AWS), which is mainly the cost of high precision instruments and long-distance wireless telecommunication equipments. We propose a wireless sensor network (WSN) based AWS, which takes advantage of the low-cost, real-time and infrastructure-free characteristics of WSN [1]. We can therefore extend the scale of weather monitoring without increasing the number of telecommunication equipments. this WSN-based AWS is able to cover a plane and gather multiple sets of weather measurements in real-time at a better data resolution.
暂无评论