[GHK+12] Lucia Gallina, Tingting Han, Marta Kwiatkowska, Andrea Marin, Sabina Rossi and Alvise Spanò. Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks. In Proc. 2012 IFIP Wireless Days conference (WD'12). 2012. [pdf] [Presents a framework for analysing the performance of Mobile Ad-hoc Networks (MANETs) using probabilistic process calculi and PRISM.]
Downloads:  pdf pdf (835 KB)
Links: [Google] [Google Scholar]
Abstract. We present a framework to automatically evaluate the performance of Mobile Ad-hoc Networks (MANETs) in terms of different kinds of metrics, such as throughput and energy consumption. We use a probabilistic process calculus to model MANETs; we translate process terms into Markov Decision Processes (MDPs) and use the probabilistic model checker PRISM to automatically evaluate the network performance. We present a case study consisting of a network which uses flooding for communicating, and we analyse how time and energy costs vary