{'fraction_non_alphanumeric': 0.02371364653243848, 'fraction_numerical': 0.013870246085011185, 'mean_word_length': 5.261904761904762, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption

Wireless Sensor Networks (WSN) have large industrial applications. However, the modelisation 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 Architecture (MDA) approach for modeling and checking of properties like energy consumption. This approach combines the advantages of SysMLandModelica 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 SysMLin 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 crossroads monitoring system which aims the verification of energy consumption. 1 CONTEXT AND MOTIVATION During the last decade, WSN have been a major success in the scientific and the industrial communities for their broad application fields. However, this kind of networks is mainly used in the observation of physical phenomena in a restricted environment. They are characterized by a simple deployment and a low production cost. Furthermore, the WSN industry actors should develop the modeling methods of these networks in order to maintain the competitiveness of their products. In addition, modeling WSN is equivalent to modeling distributed and embedded system at the same time. Moreover, the formal methods are generally used in the modeling of critical systems that require rigorous verifications. These methods require good skills in mathematics. As a result, industrials have widely adopted semi-formal methods to design WSN applications. These methods are based mainly on semi-formal language (text or graphic) for which is defined a precise syntax and a relatively weak semantics. Besides, semi-formal languages are easy to understand and provide a rich structuring mechanism allowing the reduction of the design time and cost. However, in order to improve the checking of the WSN properties which is done generally by simulation, we propose an MDA approach to design and to check the WSN properties. Our approach is based on the SysML language which will be extended to an executable language namely Modelica(Modelica, 2009). Considering the Modelicacharacteristics, we propose a virtual verification of properties which are deduced from theSysMLrequirement diagram. This approach includes the benefits of the SysMLmodeling and the possibility to simulate and to verify the modeled system with Modelica. SysMLandModelica are two complementary languages, their joint use offers the very expressive, formal language for differential algebraic equations and discrete events of M delica with the very expressive SysMLconstructs for requirements, structural decomposition, logical behavior and traceabilty of requirements. We focused our work on the study the WSN energy consumption which is heavily dependent on the type of node. These nodes are designed in the aim to maximize their life expectancy. In (Halgamuge et al., 2009), the authors proposed an energy consumption model for WSN. The major feature of this model is the accuracy in estimating the energy consumption. Therefore, this model aims to estimate the overall lifetime of the WSN accurately. For these reasons, we adopted this energy consumption model in our study. This paper is structured as follows: first we provide the existing works relating to the WSN modeling. 198 Hammad A., Mountassir H. and Chouali S.. Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. DOI: 10.5220/0004319601980201 In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2013), pages 198-201 ISBN: 978-989-8565-42-6 Copyright c 2013 SCITEPRESS (Science and Technology Publications, Lda.) Then, we give brief introductions to WSN, SysML andModelica languages. After that, we explain our approach to design and to verify the WSN energy consumption property. Finally, we conclude and give some future works.