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