Hybrid performance modelling of opportunistic networks

Luca Bortolussi, Vashti Galpin, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, Tallinn, Estonia, 31 March and 1 April 2012
EditorsHerbert Wiklicky, Mieke Massink
PublisherOpen Publishing Association
Number of pages16
Publication statusPublished - 2012

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association


Dive into the research topics of 'Hybrid performance modelling of opportunistic networks'. Together they form a unique fingerprint.

Cite this