Abstract

Several formalisms have been applied for addressing development issues in Mobile Ad-hoc NETworks (MANETs), however they usually lack of understandability, expressiveness and executability features. Instead, the Abstract State Machine (ASM) formalism does not suffer these limitations and can provide a useful conceptual tool for reasoning about MANET behavior. This paper shows the practical suitability of ASMs in capturing the specific MANET issues: concurrency, communications, and so on. To this end, the Ad-hoc On-demand Distance Vector (AODV) routing protocol for MANETs is modeled, and some properties of interest are proved.

Autore Pugliese

• Bianchi Alessandro , Pizzutilo Sebastiano

Tutti gli autori

• BIANCHI A.;VESSIO G.;PIZZUTILO S.

Titolo volume/Rivista

Non Disponibile

Anno di pubblicazione

2014

ISSN

Non Disponibile

ISBN

Non Disponibile

Numero di citazioni Wos

Nessuna citazione

Ultimo Aggiornamento Citazioni

Non Disponibile

Numero di citazioni Scopus

Non Disponibile

Ultimo Aggiornamento Citazioni

Non Disponibile

Settori ERC

Non Disponibile

Codici ASJC

Non Disponibile