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] Improved modelling for mobile Ad-hoc networks
    Zang, L. F.
    Rowe, G. B.
    ELECTRONICS LETTERS, 2007, 43 (21) : 1156 - 1157
  • [32] 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
  • [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] 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 - +
  • [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] Routing protocols in Mobile Ad-hoc Networks
    Mikaric, Bratislav
    Rancic, Dejan
    Ilic, Slavisa
    PRZEGLAD ELEKTROTECHNICZNY, 2020, 96 (08): : 106 - 111
  • [39] 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
  • [40] Reliable routing in mobile Ad-Hoc Networks
    Tragoudas, Spyros
    Stewart, Khadija
    Recent Advances in Computers, Computing and Communications, 2002, : 456 - 458
12345