From Modeling with SysML To simulation with Contiki Cooja Simulator of Wireless Sensor Networks

被引:4
|
作者
Ammar, Nesrine [1 ]
Chaieb, Hela [1 ]
Bouallegue, Ridha [1 ]
机构
[1] Carthage Univ, SupCOM, InnovCOM Lab, Tunis, Tunisia
来源
IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA 2016) | 2016年
关键词
WSN; SysML; localization; mobility; CONTIKI;
D O I
10.1109/WAINA.2016.64
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The Wireless Sensor Networks (WSN) have distributed and embedded nature and they are characterized by strong interactions between their hardware and software parts, therefore, their specification is a complex task. Formal methods need strong skills in mathematics in order to model and analyze WSN applications. However, semi-formal methods are simple and easy to understand. Hence, most of approaches use semi-formal methods to design systems and generally simulation to validate their properties in order to produce models without errors and conform to the system specifications. In this paper we describe our contribution, based on a case study that models a WSN system used to measure the flow of people in town. We have used System Modeling Language (SysML) to design the complete system. Besides, we have verified and validated some wireless sensors properties of the studied system and the results are encouraging.
引用
收藏
页码:760 / 765
页数:6
相关论文
共 50 条
  • [41] Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator
    Rouainia, Hanene
    Grichi, Hanen
    Kahloul, Laid
    Khalgui, Mohamed
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 349 - 361
  • [42] Modeling and Simulation of Wireless Heterogeneous Networks
    Latkoski, Pero
    Rakovic, Valentin
    Ognenoski, Ognen
    Gavrilovska, Liljana
    2009 2ND INTERNATIONAL SYMPOSIUM ON APPLIED SCIENCES IN BIOMEDICAL AND COMMUNICATION TECHNOLOGIES (ISABEL 2009), 2009, : 285 - 290
  • [43] SensEH: From Simulation to Deployment of Energy Harvesting Wireless Sensor Networks
    Dall'Ora, Riccardo
    Raza, Usman
    Brunelli, Davide
    Picco, Gian Pietro
    2014 IEEE 39TH CONFERENCE ON LOCAL COMPUTER NETWORKS WORKSHOPS (LCN WORKSHOPS), 2014, : 566 - 573
  • [44] Clock Synchronization Simulation for Wireless Sensor Networks
    Ring, Felix
    Nagy, Anetta
    Gaderer, Georg
    Loschmidt, Patrick
    2010 IEEE SENSORS, 2010, : 2022 - 2026
  • [45] Simulation for Wireless Sensor Networks with Intelligent Nodes
    Zboril, Frantisek, Jr.
    Zboril, Frantisek
    2008 UKSIM TENTH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION, 2008, : 746 - 751
  • [46] An Integrated Simulation Environment for Wireless Sensor Networks
    Prist, Mariorosario
    Longhi, Sauro
    Monteriu, Andrea
    Giuggioloni, Federico
    Freddi, Alessandro
    2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), 2015,
  • [47] Simulation scalability issues in wireless sensor networks
    Egea-Lopez, Esteban
    Vales-Alonso, Javier
    Martinez-Sala, Alejandro
    Pavon-Marino, Pablo
    Garcia-Haro, Joan
    IEEE COMMUNICATIONS MAGAZINE, 2006, 44 (07) : 64 - 73
  • [48] Simulation Study of QoS in Wireless Sensor Networks
    Samara, Kamil
    Hosseini, Hossein
    PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 657 - 661
  • [49] Discrete event Modeling and simulation:: V-Lab® Application to wireless sensor networks
    Sridhar, P
    Jamshidi, M
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1711 - 1716
  • [50] SensGrid: modeling and simulation for wireless sensor grids
    Moreno, Raul
    Robles-Gomez, Antonio
    Bermudez, Aurelio
    Casado, Rafael
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2012, 88 (08): : 972 - 987