Mapping SysML to modelica to validate wireless sensor networks non-functional requirements

Abstract

Wireless Sensor Networks (WSN) have registered a large success in the scientific and industrial communities for their broad application domains. Furthermore, the WSN specification is a complex task considering to their distributed and embedded nature and the strong interactions between their hardware and software parts. Moreover, 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 context, we propose a Model Driven Architecture (MDA) approach to improve the verification of the WSN properties. This approach combines the advantages of the System Modeling Language (SysML) and the Modelica language which promote the reusability and improve the development process. In this work, we specify a model transformation from SysML static, dynamic and requirement diagrams to their corresponding elements in Modelica. Thanks to the SysML requirement diagram which is transformed into Modelica properties (constraints), we propose a technique using dynamic tests to verify WSN properties. We have used the Topcased platform to implement our approach 1 and chosen a crossroads monitoring system which is based on wireless sensors to illustrate it. Besides, we have verified and validated some wireless sensors properties of the studied system.

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

“…For example, all selected researches have been thoroughly studied and analyzed in order to assign them to corresponding category. Similarly, each selected research is intensively studied and Di et al, 2013, Berrani et al, 2013, Stancescu et al, 2010, Ouchani et al, 2013, Bouquet et al, 2012, DeTommasi et al, 2013, Andrade et al, 2009, Bazydlo et al, 2014, Doligalski and Adamski, 2013, Mueller et al, 2010, Durand and Bonato, 2012, Moreira et al, 2010, Vidal et al, 2009, Linehan and Clarke, 2012, Herrera et al, 2014, Lecomte et al, 2011, Rafiq Quadri et al, 2012, Chen et al, 2013, Vanderperren et al, 2008, Elhaji et al, 2012, Riccobene and Scandurra, 2012Zohaib Iqbal et al, 2013, Chouali and Hammad, 2011, Doering, 2014, Ouchani et al, 2014, Telinski Wiedermann anger et al, 2013, Knorreck and Apvrille, 2011, Ge et al, 2012, Baresi et al, 2013, Huang et al, 2012, Nguyen et al, 2014, Bousse et al, 2012 Modeling 5 Gomez et al, 2012, Penil et al, 2010, Espinoza et al, 2009, Rota Sena Marques et al, 2014, Behjati et al, 2011 Property specification 2 Yin et al, 2013…”

“…The model transformation activity has been Berrani et al, 2013, Bouquet et al, 2012, Doligalski and Adamski, 2013, Mueller et al, 2010, Greenyer and Kindler, 2010, Ko et al, 2013, Gronmo et al, 2009, Feher and Lengyel, 2012, de Lara and Guerra, 2014, Kolahdouz-Rahimi et al, 2014, Rutle et al, 2012, Huang et al, 2012 Model to Text (M2T) 9 DeTommasi et al, 2013, Moreira et al, 2010, Linehan and Clarke, 2012, Herrera et al, 2014, Zohaib Iqbal et al, 2013, Rose et al, 2012, Ledo et al, 2012, Ouchani et al, 2014 M2M and M2T 12 Giuseppe Di et al, 2013, Vidal et al, 2009, Lecomte et al, 2011, Rafiq Quadri et al, 2012, Elhaji et al, 2012, Riccobene and Scandurra, 2012, Doering, 2014, Andrea Bollati et al, 2013, Baresi et al, 2013, Bousse et al, 2012 performed in overall 35 researches. We classified these researches into three transformation types i.e.…”

“…For example, in our 61 selected researches, Modelica is used in MADES project (Baresi et al, 2013) and Berrani et al (2013) to perform early design verification through simulation. However, these researches (Berrani et al, 2013;Baresi et al, 2013) do not provide the details of Modelica tools that have been used in their research works. That's why we have not included any Modelica related tool in our preliminary tool identification (Table 6).…”

“…UML (unified modeling language) and its SYSML (systems modeling language)/MARTE (modeling and analysis of real-time embedded systems) profiles are frequently used in contemporary research practices (Giuseppe Di et al, 2013;George-Dimitrios et al, 2014;Berrani et al, 2013;Sakairi et al, 2012;Stancescu et al, 2010;Anargyros et al, 2014;Ouchani et al, 2013;Bouquet et al, 2012;DeTommasi et al, 2013;Gomez et al, 2012;Andrade et al, 2009;Quadri et al, 2012;Bazydlo et al, 2014;Doligalski and Adamski, 2013;Mueller et al, 2010;Durand and Bonato, 2012;Moreira et al, 2010;Vidal et al, 2009;Linehan and Clarke, 2012) to specify embedded systems requirements. Furthermore, different properties specification techniques/languages have been proposed by researchers (Yin et al, 2013;Mallet, 2012;Knorreck and Apvrille, 2011;Ge et al, 2012;Behjati et al, 2011) to model behavioral/temporal aspects.…”

“…Two types of transformations are commonly used i.e. model-to-model (M2M) transformation Berrani et al, 2013) and model-to-text (M2T) transformation Moreira et al, 2010). The verification is performed to ensure the correctness of the model/system and it is tightly coupled with the modeling technique used to specify behavioral/temporal aspects.…”