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 条
  • [41] Control based mobile ad-hoc networks for video communications
    Gharavi, Hamid
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2006, 52 (02) : 383 - 391
  • [42] A Multidimensional Trust Inference Model for the Mobile Ad-Hoc Networks
    Riaz, Muhammad Khalid
    Fan Yangyu
    Akhtar, Imran
    2019 28TH WIRELESS AND OPTICAL COMMUNICATIONS CONFERENCE (WOCC), 2019, : 496 - 500
  • [43] Design and development of a JXTA middleware for mobile ad-hoc networks
    Bisignano, M
    Calvagna, A
    Di Modica, G
    Tomarchio, O
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, 2004, : 177 - 182
  • [44] A Remote Testbed System for Mobile Ad-hoc/Sensor Networks
    Yin, Jun
    Yang, Yuwang
    Hu, Xiayun
    Yin, Yanxiang
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2015, 11 (09) : 22 - 28
  • [45] Energy-Aware Routing In Mobile Ad-Hoc Networks
    Murali, P.
    Rakesh, K.
    Hota, Chittaranjan
    Antti, Yla-Jaaski
    2008 1ST IFIP WIRELESS DAYS (WD), 2008, : 300 - +
  • [46] A trust change detection mechanism in mobile ad-hoc networks
    Chatzidakis, Michail
    Hadjiefthymiades, Stathes
    COMPUTER COMMUNICATIONS, 2022, 187 : 155 - 163
  • [47] aMAC: Advanced MAC scheme for mobile Ad-hoc Networks
    Lau, Tze Hieng
    Chan, King Sun
    2006 ASIA-PACIFIC CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2006, : 263 - +
  • [48] Mobile-autoconf: Mobility Management with Autoconfiguration in Mobile Ad-Hoc Networks
    Saha, Sourav
    Mukherjee, Mainak
    Neogy, Sarmistha
    2008 IEEE REGION 10 CONFERENCE: TENCON 2008, VOLS 1-4, 2008, : 2512 - +
  • [49] Investigating on Mobile Ad-Hoc Network to Transfer FTP Application
    Abdullah, Ako Muhammad
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2015, 6 (07) : 172 - 183
  • [50] Connectivity and energy-aware preorders for mobile ad-hoc networks
    Gallina, Lucia
    Marin, Andrea
    Rossi, Sabina
    TELECOMMUNICATION SYSTEMS, 2016, 63 (02) : 307 - 333
12345