In this paper, we introduce MOTION (MOdeling and simulaTIng mObile adhoc Networks), a Java application in which the behavior of MANETs is modeled by means of an Abstract State Machine representation, and then simulated with the simulation engine ASMETA. MOTION has the twofold ability to formally prove system’s properties as well as to simulate the system behavior.

A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version),

covino
Writing – Original Draft Preparation
;
pani;bianchi;pizzutilo
2021-01-01

Abstract

In this paper, we introduce MOTION (MOdeling and simulaTIng mObile adhoc Networks), a Java application in which the behavior of MANETs is modeled by means of an Abstract State Machine representation, and then simulated with the simulation engine ASMETA. MOTION has the twofold ability to formally prove system’s properties as well as to simulate the system behavior.
2021
978-3-030-71016-3
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11586/392705
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact