Department of Information Technology


We present a formal model of a BiomedicalSensor Network whose sensor nodes are constructed basedon the IEEE 802.15.4 / ZigBee standard for wireless com-munication. We have used the UPPAAL tool to tune andvalidate the temporal configuration parameters of the net-work in order to guarantee the desired QoS properties fora medical application scenario. The case study shows thateven though the main feature of UPPAAL is model check-ing, it is also a promising and competitive tool for efficientsimulation.

Updated  2007-10-19 09:12:18 by Lisa Kaati.