Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks
| Autor: | Marta Kwiatkowska, Andrea Marin, Tingting Han, Lucia Gallina, Alvise Spanò, Sabina Rossi |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Předmět: |
Vehicular ad hoc network
Computer science business.industry Process calculus Distributed computing MANETS Markov process 020207 software engineering 02 engineering and technology Mobile ad hoc network Energy consumption model checking energy consumption network throughput process algebra symbols.namesake Optimized Link State Routing Protocol 0202 electrical engineering electronic engineering information engineering symbols 020201 artificial intelligence & image processing Network performance Markov decision process business Computer network |
| Zdroj: | Wireless Days |
| DOI: | 10.1109/WD.2012.6402864 |
| Popis: | 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 when pursuing different power control strategies. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|