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 条
  • [1] Detailed simulation of the physical level in a simulator of wireless sensor networks
    V. G. Gavrilenko
    A. Yu. El’tsov
    A. A. Kiryushin
    S. V. Lobanov
    A. N. Sadkov
    Journal of Communications Technology and Electronics, 2009, 54 : 446 - 455
  • [2] Detailed simulation of the physical level in a simulator of wireless sensor networks
    Gavrilenko, V. G.
    El'tsov, A. Yu.
    Kiryushin, A. A.
    Lobanov, S. V.
    Sadkov, A. N.
    JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS, 2009, 54 (04) : 446 - 455
  • [3] Validation of a SysML Based Design for Wireless Sensor Networks
    Berrachedi, Amel
    Rahim, Messaoud
    Ioualalen, Malika
    Hammad, Ahmed
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [4] Middleware Model for TinyOS and Contiki-Based Wireless Sensor Networks
    Alkazemi, Basem Y.
    2016 5TH INTERNATIONAL CONFERENCE ON ELECTRONIC DEVICES, SYSTEMS AND APPLICATIONS (ICEDSA), 2016,
  • [5] COOJA Testbed for Assessment of Broadcast Mechanism Efficiency in Clustered Wireless Sensor Networks
    Bednarczyk, Wojciech
    Wojtun, Jaroslaw
    Michalak, Jaroslaw
    Nowosielski, Leszek
    2016 PROGRESS IN ELECTROMAGNETICS RESEARCH SYMPOSIUM (PIERS), 2016, : 1065 - 1069
  • [6] Integrated Modeling and Simulation Framework for Wireless Sensor Networks
    Wang, Baobing
    Baras, John S.
    2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2012, : 268 - 273
  • [7] A Random Priority based Scheduling Strategy for Wireless Sensor Networks using Contiki
    Sheikh, Sajid M.
    Wolhuter, Riaan
    Engelbrecht, Herman A.
    WINSYS: PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS - VOL. 6, 2016, : 121 - 128
  • [8] Modeling and simulation of mobile gateways interacting with wireless sensor networks
    Fummi, F.
    Quaglia, D.
    Ricciato, F.
    Turolla, M.
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1441 - +
  • [9] Modeling and Simulation of Multihop Routing Protocols in Wireless Sensor Networks
    Kacso, Adrian Fr.
    Wismueller, Roland
    ICWMC: 2009 FIFTH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMMUNICATIONS, 2009, : 296 - 302
  • [10] Barrier synchronization simulator for wireless sensor networks
    Salustiano, Rogerio Esteves
    dos Reis Filho, Carlos Alberto
    2008 7TH INTERNATIONAL CARIBBEAN CONFERENCE ON DEVICES, CIRCUITS AND SYSTEMS, 2008, : 303 - 307
12345