Hybrid performance modelling of opportunistic networks

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.Comment: In Proceedings QAPL 2012, arXiv:1207.055

Delay analysis and time-critical protocol design for in-vehicle power line communication systems

With the emerging automated tasks in vehicle domain, the development of in-vehicle communications is increasingly important and subjected to new applications. The use of vehicular power lines has been a promising alternative to invehicle communications because of elimination of extra data cables. In this paper, we focus on the latest HomePlug Green PHY (HPGP) and explore its opportunity to support timecritical in-vehicle applications. Specifically, we apply Network Calculus to evaluate the worst access and queuing delay of various priority flows in vehicle bus networks. In order to maximize the bandwidth utility and satisfy the end-to-end hard delay requirements, we further propose a bandwidth efficient fair rate scheduling and delay sensitive traffic shaper. Performance evaluation supplemented by numerical and simulation results is also provided to show the advantage of HPGP and the proposed traffic shaper over the existing industry solutions

End-to-End Delay Distribution Analysis for Stochastic Admission Control in Multi-hop Wireless Networks

published_or_final_versio