MOTION: An Application of ASMETA to Mobile Ad-hoc NETworks Domain

被引：0
|
作者：
Bevilacqua, Gianluca Gennaro [1 ]
Bianchi, Alessandro [1 ]
机构：
[1] Univ Bari, Dept Informat, Bari, Italy
来源：
ECSA 2018: PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE: COMPANION PROCEEDINGS | 2018年
关键词：
MANET; Simulation; ASMETA;
D O I：
10.1145/3241403.3241444
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper introduces MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a Java application for both formally modeling and simulating Mobile Ad-hoc NETworks (MANETs). The behavior under study is firstly modeled as an Abstract State Machine, then the model is translated within the ASMETA framework for executing the simulation.
引用
下载
收藏
页数：4
相关论文
共 50 条
  • [31] Wormhole Attack in Mobile Ad-hoc Networks
    Sharma, Madhu
    Jain, Ashish
    Shah, Shweta
    2016 SYMPOSIUM ON COLOSSAL DATA ANALYSIS AND NETWORKING (CDAN), 2016,
  • [32] Path efficiency in mobile ad-hoc networks
    Caamano, Antonio J.
    Vinagre, Juan J.
    Mora, Inmaculada
    Figuera, Carlos
    Ramos, Javier
    2006 3RD INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATION SYSTEMS, VOLS 1-2, 2006, : 223 - +
  • [33] Broadcasting Methods in Mobile Ad-hoc Networks
    Sharma, Vishnu
    Vij, Akansha
    2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND AUTOMATION (ICCCA), 2017, : 582 - 587
  • [34] Routing with Dijkstra in Mobile Ad-Hoc Networks
    Mahmoodi, Khudaydad
    Balcilar, Muhammet
    Amasyali, M. Fatih
    Yavuz, Sirma
    Uzun, Yuecel
    Davletov, Feruz
    RoboCup 2013: Robot World Cup XVII, 2014, 8371 : 316 - 325
  • [35] MANIPSEC - IPSEC In Mobile Ad-Hoc Networks
    Ali, K. A. Nusrath
    Basheeruddin, Mohammed
    Moinuddin, Shaik Khaja
    Lakkars, Raju
    PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 635 - 639
  • [36] Solvability of Geocasting in Mobile Ad-Hoc Networks
    Baldoni, Roberto
    Ioannidou, Kleoni
    Milani, Alessia
    PODC'07: PROCEEDINGS OF THE 26TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2007, : 386 - 387
  • [37] Routing system in mobile ad-hoc networks
    Minochkin, A., I
    Romanjuk, V. A.
    2006 16TH INTERNATIONAL CRIMEAN CONFERENCE MICROWAVE & TELECOMMUNICATION TECHNOLOGY, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2006, : 359 - +
  • [38] Secure and anonymous mobile ad-hoc networks
    Mu, Y
    Zhang, FG
    Susilo, W
    2005 13TH IEEE INTERNATIONAL CONFERENCE ON NETWORKS JOINTLY HELD WITH THE 2005 7TH IEEE MALAYSIA INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS 1 AND 2, 2005, : 1132 - 1136
  • [39] Cryptographic techniques for mobile ad-hoc networks
    Daza, Vanesa
    Herranz, Javier
    Morillo, Paz
    Rafols, Carla
    COMPUTER NETWORKS, 2007, 51 (18) : 4938 - 4950
  • [40] Connectivity Model for Mobile Ad-Hoc Networks
    Bruun, Rasmus Liborius
    Voulgaris, Konstantinos
    Pedersen, Troels
    2022 16TH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION (EUCAP), 2022,
12345