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
相关论文
共 14 条
[1]  
[Anonymous], P NSDI 04 MARCH
[2]  
[Anonymous], 2011, T201113 SWED I COMP
[3]  
Belloir N., 2008, C LANG MOD OBJ LMO M
[4]  
Cheong E., 2006, TECHNICAL REPORT
[5]  
DUNKELS A., 2007, P 4 IEEE WORKSH EMB
[6]  
Dunkels A, 2007, SENSYS'07: PROCEEDINGS OF THE 5TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, P335
[7]  
Hammad Ahmed, 2013, MODELSWARD 2013. 1st International Conference on Model-Driven Engineering and Software Development. Proceedings, P198
[8]  
Hammad Ahmed, 2013, MAPPING SYSML MODELI
[9]  
Helmy A., 1999, 99702B USC COMP SCI
[10]  
Khemapech A. M. I., 2005, TECHNICAL REPORT
12