An approach combining SysML and modelica for modelling and validate wireless sensor networks

Wireless Sensor Networks (WSN) have large industrial applications, however the modelling is still a very complex task in view of the nature of these networks, namely because they are distributed, embedded and have strong interactions between the hardware and software parts. In addition, industrials use semi-formal methods to design their systems and validate behaviours by simulation. In this context, in order to improve the checking of the WSN properties, we propose a Model Driven Engineering (MDE) approach for modeling and checking properties like energy consumption. This approach combines the advantages of SysML and Modelica languages. It is described mainly by two steps. At first, we offer a model transformation by taking into account static, dynamic and requirement diagrams of SysML in order to specify their corresponding Modelica model. In the second step, we carried out the virtual verification of WSN energy consumption. This approach is implemented inside Topcased platform and illustrated through a cross-roads monitoring system.