Modeling on Body Delay Tolerant Network Sink Locality of Wireless Body Area Networks for Different Body Postures

Due to the recent advancements in the field of wireless communication and Wireless Sensor Networks, the Wireless Body Area Networks (WBANs) have become an area of concern for researchers. In military operations, patient monitoring, sports field, among other wireless body area networks is used for real time monitoring and smart sensing for eHealth operations. In these WBAN, disconnections between the body sensors occur quite often and sometimes of significant duration due to the postural mobility nature of the human. These consequently affects the efficiency of the entire network hence the need for Delay Tolerant Network (DTN). The DTN minimizes delays and adapts itself to cope with long delays if they occur. One of the vital mechanisms that can be employed to enhance the efficiency of the network is to determine the optimal postural locality of the sink nod

Modeling on Body Delay Tolerant Network Sink Locality of Wireless Body Area Networks for Different Body Postures

Due to the recent advancements in the field of wireless communication and Wireless Sensor Networks, the Wireless Body Area Networks (WBANs) have become an area of concern for researchers. In military operations, patient monitoring, sports field, among other wireless body area networks is used for real time monitoring and smart sensing for eHealth operations. In these WBAN, disconnections between the body sensors occur quite often and sometimes of significant duration due to the postural mobility nature of the human. These consequently affects the efficiency of the entire network hence the need for Delay Tolerant Network (DTN). The DTN minimizes delays and adapts itself to cope with long delays if they occur. One of the vital mechanisms that can be employed to enhance the efficiency of the network is to determine the optimal postural locality of the sink nod

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks

Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements. However, a framework for the rigorous formal modeling and analysis of SOSANETs does not exist. In particular, there is currently no support for the verification of correct network behavior after node failure or loss/addition of communication links. To overcome this problem, we propose a formal framework for SOSANETs. The main idea is to base our framework on the \pi-calculus, a formally defined, compositional and well-established formalism. We choose KLAIM, an existing formal language based on the \pi-calculus as the foundation for our framework. With that, we are able to formally model SOSANETs with possible topology changes and network failures. This provides the basis for our future work on prediction, analysis and verification of the network behavior of these systems. Furthermore, we illustrate the real-life applicability of this approach by modeling and extending a use case scenario from the medical domain.Comment: In Proceedings FESCA 2013, arXiv:1302.478

Pioneers, subcultures and cooperatives: The grassroots augmentation of urban places

About the book: There have been numerous possible scenarios depicted on the impact of the internet on urban spaces. Considering ubiquitous/pervasive computing, mobile, wireless connectivity and the acceptance of the Internet as a non extraordinary part of our everyday lives mean that physical urban space is augmented, and digital in itself. This poses new problems as well as opportunities to those who have to deal with it. This book explores the intersection and articulation of physical and digital environments and the ways they can extend and reshape a spirit of place. It considers this from three main perspectives: the implications for the public sphere and urban public or semi-public spaces; the implications for community regeneration and empowerment; and the dilemmas and challenges which the augmentation of space implies for urbanists. Grounded with international real -life case studies, this is an up-to-date, interdisciplinary and holistic overview of the relationships between cities, communities and high technologies

Design techniques for low-power systems

Portable products are being used increasingly. Because these systems are battery powered, reducing power consumption is vital. In this report we give the properties of low-power design and techniques to exploit them on the architecture of the system. We focus on: minimizing capacitance, avoiding unnecessary and wasteful activity, and reducing voltage and frequency. We review energy reduction techniques in the architecture and design of a hand-held computer and the wireless communication system including error control, system decomposition, communication and MAC protocols, and low-power short range networks

Low Power system Design techniques for mobile computers

Portable products are being used increasingly. Because these systems are battery powered, reducing power consumption is vital. In this report we give the properties of low power design and techniques to exploit them on the architecture of the system. We focus on: min imizing capacitance, avoiding unnecessary and wasteful activity, and reducing voltage and frequency. We review energy reduction techniques in the architecture and design of a hand-held computer and the wireless communication system, including error control, sys tem decomposition, communication and MAC protocols, and low power short range net works

Node Repair for Distributed Storage Systems over Fading Channels

Distributed storage systems and associated storage codes can efficiently store a large amount of data while ensuring that data is retrievable in case of node failure. The study of such systems, particularly the design of storage codes over finite fields, assumes that the physical channel through which the nodes communicate is error-free. This is not always the case, for example, in a wireless storage system. We study the probability that a subpacket is repaired incorrectly during node repair in a distributed storage system, in which the nodes communicate over an AWGN or Rayleigh fading channels. The asymptotic probability (as SNR increases) that a node is repaired incorrectly is shown to be completely determined by the repair locality of the DSS and the symbol error rate of the wireless channel. Lastly, we propose some design criteria for physical layer coding in this scenario, and use it to compute optimally rotated QAM constellations for use in wireless distributed storage systems.Comment: To appear in ISITA 201