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 条
  • [1] Recent Developments on Mobile Ad-Hoc Networks and Vehicular Ad-Hoc Networks
    Kanellopoulos, Dimitris
    Cuomo, Francesca
    [J]. ELECTRONICS, 2021, 10 (04)
  • [2] The Effects of Motion on Applications in Mobile Ad-Hoc Sensor Networks
    Sun, Xusheng
    Coyle, Edward J.
    [J]. 2010 IEEE 71ST VEHICULAR TECHNOLOGY CONFERENCE, 2010,
  • [3] Virtual Mobile Ad-hoc Networks
    Lahav, Jonathan
    Stulman, Ariel
    [J]. 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON MOBILE AD-HOC AND SENSOR SYSTEMS (MASS 2013), 2013, : 433 - 434
  • [4] Ad-hoc, mobile, and wireless networks
    Palattella, Maria Rita
    Scanzio, Stefano
    [J]. INTERNET TECHNOLOGY LETTERS, 2021, 4 (04)
  • [5] Security in Mobile Ad-Hoc Networks
    Athulya, M. S.
    Sheeba, V. S.
    [J]. 2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
  • [6] Mobile and ad-hoc local networks
    Hassanein, H
    Nikolaidis, I
    [J]. COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2003, 41 (03): : 285 - 287
  • [7] Actors for mobile ad-hoc networks
    Dedecker, J
    Van Belle, W
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 482 - 494
  • [8] QoS in Mobile Ad-Hoc Networks
    Pushp Sra
    Satish Chand
    [J]. Wireless Personal Communications, 2019, 105 : 1599 - 1616
  • [9] QoS in Mobile Ad-Hoc Networks
    Sra, Pushp
    Chand, Satish
    [J]. WIRELESS PERSONAL COMMUNICATIONS, 2019, 105 (04) : 1599 - 1616
  • [10] Motion-Aware Clock Synchronization for Mobile Ad-Hoc Networks
    Cai, Peixiang
    Zhang, Yu
    Wang, Xuesi
    Pan, Changyong
    [J]. 2018 IEEE 88TH VEHICULAR TECHNOLOGY CONFERENCE (VTC-FALL), 2018,
12345