Formal Modeling Routing Protocols in Mobile Ad Hoc Networks

Formal Modeling Routing Protocols in Mobile Ad Hoc Networks

Fatemeh Ghassemi, Ali Movaghar

Abstract

In this paper we provide a process algebra to formally analyze ad hoc protocols above network layer. Mainly our focus in this paper is on formal modeling and analysis of routing protocols. We explain the semantics of our algebra using labeled transition systems and then define an equivalence relation between them. Finally we illustrate application of our algebra by a case study on cluster formation process of cluster based ad hoc routing protocol.

Keywords

Ad hoc Network Algebra, Restricted Broadcast, Topology Changes