Model-based validation of QoS properties of Biomedical Sensor networks

Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08

Volumn , Issue , 2008, Pages 69-78

  Tschirner, Simon ^a   Liang, Xuedong ^b   Wang, Yi ^a  

^a UPPSALA UNIVERSITY   (Sweden)

^b OSLO UNIVERSITY HOSPITAL   (Norway)

Author keywords

Modelling and verification; Wireless sensor networks

Indexed keywords

AUTOMATA THEORY; BIOSENSORS; DYNAMIC MODELS; EMBEDDED SOFTWARE; ENERGY CONSERVATION; IEEE STANDARDS; MEDICAL APPLICATIONS; MODEL CHECKING; QUALITY OF SERVICE; RADIO TRANSCEIVERS; SIMULATORS; TELLURIUM COMPOUNDS; WIRELESS SENSOR NETWORKS;

CONFIGURATION PARAMETERS; DYNAMIC RE-CONFIGURATION; IEEE 802.15.4 STANDARDS; MODEL-BASED VALIDATION; NETWORK CONNECTIVITY; PACKET DELIVERY RATIO; WIRELESS CHANNEL MODEL; WORST-CASE BEHAVIORS;

SENSOR NODES;

EID: 70349240607     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1450058.1450069     Document Type: Conference Paper

References (19)

1. I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci. Wireless sensor networks: a survey. Computer Networks, 38(4):393-422, 2002.
2. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200-236. Springer-Verlag, September 2004.
3. J. Bengtsson and W. Yi. Timed Automata: Semantics, Algorithms and Tools. Lecture Notes on Concurrency and Petri Nets, LNCS 3098:87-124, 2004.
4. D. Chen and P. K. Varshney. QoS support in wireless sensor networks: A survey. In Proc. of the 2004 International Conference on Wireless Networks (ICWN'04), pages 227-233, Las Vegas, Nevada, USA, June 2004. CSREA Press.
5. A. Fehnker, L. F. W. van Hoesel, and A. H. Mader. Modelling and verification of the lmac protocol for wireless sensor networks. Technical Report TR-CTIT-07-09, Centre for Telematics and Information Technology, University of Twente, Enschede, February 2007.
6. M. Fruth. Probabilistic model checking of contention resolution in the ieee 802.15.4 low-rate wireless personal area network protocol. In T. Margaria, A. Philippou, and B. Steffen, editors, Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus, November 2006.
7. Y. Guang-Zhong, editor. Body Sensor Networks. Springer, New York, 2006.
8. IEEE Standard 802.15.4. Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (LR-WPANs), 2003.
9. O. Landsiedel, K. Wehrle, B. Titzer, and J. Palsberg. Enabling detailed modeling and analysis of sensor networks. Praxis der Informationsverarbeitung und Kommunikation, 28(2):101-106, April 2005.
10. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
11. X. Liang, B. Østvold, W. Leister, and I. Balasingham. Credo: Modeling and analysis of evolutionary structures for distributed services - user driven requirements, March 2007. Diliverable D6.1, EU IST project, number 33826.
12. F. Osterlind, A. Dunkels, J. Eriksson, N. Finneand, and T. Voigt. Cross-level sensor network simulation with COOJA. In Proc. of the 31st IEEE Conference on Local Computer Networks, pages 641-648, Tampa, Florida, USA, November 2006.
13. S. Park, A. Savvides, and M. B. Srivastava. SensorSim: a simulation framework for sensor networks. In Proc. of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems (ACM MSWiM 2000), pages 104-111, Boston, Massachusetts, USA, August 2000.
14. H. N. Pham, D. Pediaditakis, and A. Boulis. From simulation to real deployments in WSN and back. In Proc. of the 8th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM'07), pages 1-6, Helsinki, Finland, June 2007.
15. J. Polley, D. Blazakis, J. McGee, D. Rusk, and J. Baras. ATEMU: a fine-grained sensor network simulator. In Proc. of the 1st IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks (SECON'04), pages 145-152, Los Angeles, California, USA, October 2004. IEEE Press.
16. Texas Instruments Inc. 2.4 GHz IEEE 802.15.4/ZigBee-Ready RF Transceiver (Rev. B), CC2420 data sheet, March 2007.
17. B. L. Titzer, D. K. Lee, and J. Palsberg. Avrora: scalable sensor network simulation with precise timing. In Proc. of the 4th International Symposium on Information Processing in Sensor Networks (IPSN'05), pages 477-482, Los Angeles, California, USA, April 2005. IEEE Press.
18. S. Tschirner, L. Xuedong, and W. Yi. Model-based validation of qos properties of biomedical sensor networks. Technical report, Department of Information Technology, University of Uppsala, 2008.
19. A. Varga. The OMNeT++ discrete event simulation system. In Proc. of the 15th European Simulation Multiconference (ESM'01), pages 319-324, Prague, Czech Republic, June 2001. SCS.