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] Collaborative techniques for intrusion detection in mobile ad-hoc networks
    Marchang, Ningrinla
    Datta, Raja
    AD HOC NETWORKS, 2008, 6 (04) : 508 - 523
  • [32] Feature Analysis for Intrusion Detection in Mobile Ad-hoc Networks
    Vetrichelvi
    Rajaram
    Vanitha
    Mohankumar, G.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (09): : 215 - 219
  • [33] Increasing OLSR Protocol Security in Mobile Ad-Hoc Networks
    Defta, Luminita Costinela
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING, 2014, : 401 - 407
  • [34] PERFORMANCE EVALUATION OF ROUTING PROTOCOLS IN MOBILE AD-HOC NETWORKS
    Nigam, Pratiksha
    Tiwari, Ajay
    ADVANCES AND APPLICATIONS IN MATHEMATICAL SCIENCES, 2021, 20 (07): : 1305 - 1317
  • [35] A Misleading active Routing Attack in Mobile Ad-hoc Networks
    Kandah, F.
    Singh, Y.
    Zhang, W.
    Wang, T.
    International Journal of Security and Networks, 2012, 7 (01) : 17 - 29
  • [36] Dependability-based clustering in mobile ad-hoc networks
    Ergenc, Doganalp
    Eksert, Levent
    Onur, Ertan
    AD HOC NETWORKS, 2019, 93
  • [37] Distributed Secure Routing Protocol for Mobile Ad-Hoc Networks
    Khalil, Issa
    Bataineh, Sameer
    Qubajah, Liana
    Khreishah, Abdallah
    2013 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (CSIT), 2013, : 106 - 110
  • [38] Secure routing protocols for mobile ad-hoc wireless networks
    Pirzada, AA
    McDonald, C
    ADVANCED WIRED AND WIRELESS NETWORKS, 2005, 26 : 57 - 80
  • [39] An abstract model for supporting interoperability in Mobile Ad-Hoc Networks
    Safa, Haidar
    Artail, Hassan
    Shibli, Rami
    WIMOB 2006: 2ND IEEE INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS, PROCEEDINGS, 2006, : 45 - +
  • [40] Message stability and reliable broadcasts in mobile ad-hoc networks
    Singh, K
    Nedos, A
    Gärtner, G
    Clarke, S
    AD-HOC, MOBILE, AND WIRELESS NETWORKS, PROCEEDINGS, 2005, 3738 : 297 - 310
12345