Hybrid performance modelling of opportunistic networks

Abstract

We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled as discrete events. Our model describes a network of stationary video sensors with a mobile ferry which collects data from the sensors and delivers it to the base station. We consider different mobility models and different buffer sizes for the ferries. This case study illustrates the flexibility and expressive power of stochastic HYPE. We also discuss the software that enables us to describe stochastic HYPE models and simulate them.

In Proceedings QAPL 2012, arXiv:1207.0559

References in corpus (2)

• Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
• HYPE with stochastic events

Cited by in corpus (5)

• Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
• Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example
• Efficient Checking of Individual Rewards Properties in Markov Population Models
• Stochastic HYPE: Flow-based modelling of stochastic hybrid systems
• Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond