White Papers

Model-Based Validation of QoS Properties of Biomedical Sensor Networks

Overview A Biomedical Sensor Network (BSN) is a small-size sensor network for medical applications, that may contain tens of sensor nodes. This paper presents a formal model for BSNs using timed automata, where the sensor nodes communicate using the Chipcon CC2420 transceiver (developed by Texas Instruments) according to the IEEE 802.15.4 standard. Based on the model, the paper has used UPPAAL to validate and tune the temporal configuration parameters of a BSN in order to meet desired QoS requirements on network connectivity, packet delivery ratio and end-to-end delay. The network studied allows dynamic reconfigurations of the network topology due to the temporally switching of sensor nodes to power-down mode for energy-saving or their physical movements.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Uppsala University
File Format: PDF
Date Published: Aug 4, 2008
Format: White Papers
Topics: Monitoring Systems, Quality of Service, Mobile - Wireless Communications

Similiar White Papers

Application Performance Management Survey Report

How do your application performance practices compare to your peers? Download this survey report to see how other organ

Publisher: Compuware | Tags: applications, bluetooth, crm

Fuzzy Logic Control Based QoS Management in Wireless Sensor/Actuator Networks

Wireless Sensor/Actuator Networks (WSANs) are emerging rapidly as a new generation of sensor networks. Despite intensive

Publisher: Molecular Diversity Preservation International (MDPI) | Tags: management, qos

Evaluation of Energy-Aware QoS Routing Protocol for Ad Hoc Wireless Sensor Networks

Many advanced Routing protocols for wireless sensor networks have been implemented for the effective routing of data. En

Publisher: World Academy of Science, Engineering and Technology | Tags: data, network, qos

A Mobile Agent Approach to Opportunistic Harvesting in Wireless Sensor Networks

This paper illustrates the feasibility of harvesting data from a WSN by interested parties, either in the WSN coverage a

Publisher: International Foundation for Autonomous Agents and Multiagent Systems | Tags: data

How a Spanning Tree Works

The way a switch learns Ethernet (MAC) addresses is by inspecting the Ethernet frame and recording the source MAC addres

Publisher: Global Knowledge | Tags: ethernet

Uppsala University White Papers

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »