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 条
  • [21] A PERCOLATION MODEL OF MOBILE AD-HOC NETWORKS
    Mohammadi, Hossein
    Oskoee, Ehsan Nedaaee
    Afsharchi, Mohsen
    Yazdani, Nasser
    Sahimi, Muhammad
    INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 2009, 20 (12): : 1871 - 1902
  • [22] Cluster Maintenance in Mobile Ad-hoc Networks
    Lan Wang
    Stephan Olariu
    Cluster Computing, 2005, 8 : 111 - 118
  • [23] SECURITY IN MULTICAST MOBILE AD-HOC NETWORKS
    Visu, P.
    Chembian, W. T.
    Koteeswaran, S.
    FIRST INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING 2009 (ICAC 2009), 2009, : 38 - 44
  • [24] Interference Criteria for Mobile Ad-Hoc Networks
    Boksiner, Jeffrey
    Posherstnik, Yuriy
    Yeager, Richard O.
    2015 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2015), 2015, : 1427 - 1432
  • [25] An Optimization Strategy for Mobile Ad-hoc Networks
    Luo, Jianlu
    Yang, Juan
    Cheng, Fang
    Fu, Dandan
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS RESEARCH AND MECHATRONICS ENGINEERING, 2015, 121 : 921 - 925
  • [26] On service prioritization in mobile Ad-hoc networks
    Xiao, H
    Chua, KC
    Seah, W
    Lo, A
    2001 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-10, CONFERENCE RECORD, 2001, : 1900 - 1904
  • [27] QoS support in mobile ad-hoc networks
    Gupta, A
    Sanghi, D
    2000 IEEE INTERNATIONAL CONFERENCE ON PERSONAL WIRELESS COMMUNICATIONS, 2000, : 340 - 344
  • [28] Mobile Advertisement in Vehicular Ad-Hoc Networks
    Dobre, Ciprian
    Tudor, George Cristian
    EUROMEDIA'2011, 2011, : 43 - 49
  • [29] Improved modelling for mobile Ad-hoc networks
    Zang, L. F.
    Rowe, G. B.
    ELECTRONICS LETTERS, 2007, 43 (21) : 1156 - 1157
  • [30] Routing protocols in mobile Ad-hoc networks
    Gilaberte, RL
    Herrero, LP
    Proceedings of the Fourth IASTED International Conference on Communication Systems and Networks, 2005, : 196 - 201
12345