Authors:
Ahmed Hammad
;
Hassan Mountassir
and
Samir Chouali
Affiliation:
University of Franche-Comté, France
Keyword(s):
Specification, SysML, Modelica, Design, Virtual Verification, Model Transformation, MDA, WSN.
Related
Ontology
Subjects/Areas/Topics:
Domain-Specific Modeling and Domain-Specific Languages
;
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model Transformation
;
Model Transformations and Generative Approaches
;
Model-Driven Architecture
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
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 SysML and
Modelica languages and promotes the reusability and improves the development process. It is described
mainly by two steps. In 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 pro
perties. This approach is implemented inside Topcased platform
and illustrated through a crossroads monitoring system which aims the verification of energy consumption.
(More)