Files in this item



application/pdfmain.pdf (988kB)
(no description provided)PDF


Title:Formal Modeling and Analysis of Leader Election in MANETs
Author(s):Liu, Si; Olveczky, Peter C.; Meseguer, José
Subject(s):Mobile ad hoc networks
Real-Time Maude
Leader Election
Model Checking
Abstract:The modeling and analysis of mobile ad hoc networks MANETs pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni- and bidirectionality can interact in unforeseen ways that are hard to model and analyze by automatic formal methods. In this work we use rewriting logic and Real-Time Maude to address this challenge. We propose a composable formal framework for MANET protocols and their mobility models that can take into account such complex interactions. We illustrate our framework by analyzing a well-studied leader election protocol for MANETs in the presence of both mobility and uni- and bidirectional links.
Issue Date:2015
Genre:Technical Report
Sponsor:NSF Grant CNS 13-19109
AFOSR Grant FA8750-11-2-0084
Date Available in IDEALS:2017-05-24

This item appears in the following Collection(s)

Item Statistics