MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis

  • Fatemeh Kazemeyni
  • Einar Broch Johnsen
  • Olaf Owe
  • Ilangko Balasingham
Conference paper

DOI: 10.1007/978-3-642-30729-4_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7321)
Cite this paper as:
Kazemeyni F., Johnsen E.B., Owe O., Balasingham I. (2012) MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. In: Derrick J., Gnesi S., Latella D., Treharne H. (eds) Integrated Formal Methods. IFM 2012. Lecture Notes in Computer Science, vol 7321. Springer, Berlin, Heidelberg

Abstract

Wireless sensor networks (WSNs) consist of resource-constrained nodes; especially with respect to power. In most cases, the replacement of a dead node is difficult and costly. It is therefore crucial to minimize the total energy consumption of the network. Since the major consumer of power in WSNs is the data transmission process, we consider nodes which cooperate for data transmission in terms of groups. A group has a leader which collects data from the members and communicates with the outside of the group. We propose and formalize a model for data collection in which mobile entities, called data MULEs, are used to move between group leaders and collect data messages using short-range and low-power data transmission. We combine declarative and operational modeling. The declarative model abstractly captures behavior without committing to specific transitions by means of probability distributions, whereas the operational model is given as a concrete transition system in rewriting logic. The probabilistic, declarative model is not used to select transition rules, but to stochastically capture the result of applying rules. Technically, we use probabilistic rewriting logic and embed our models into PMaude, which gives us a simulation engine for the combined models. We perform statistical quantitative analysis based on repeated discrete-event simulations in Maude.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Fatemeh Kazemeyni
    • 1
    • 2
  • Einar Broch Johnsen
    • 1
  • Olaf Owe
    • 1
  • Ilangko Balasingham
    • 2
  1. 1.Department of InformaticsUniversity of OsloNorway
  2. 2.The Intervention CenterOslo University HospitalOsloNorway

Personalised recommendations