Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption

Ahmed Hammad, Hassan Mountassir, Samir Chouali

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 properties. This approach is implemented inside Topcased platform and illustrated through a crossroads monitoring system which aims the verification of energy consumption.

Download


Paper Citation


in Harvard Style

Hammad A., Mountassir H. and Chouali S. (2013). Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption . In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-8565-42-6, pages 198-201. DOI: 10.5220/0004319601980201


in Bibtex Style

@conference{modelsward13,
author={Ahmed Hammad and Hassan Mountassir and Samir Chouali},
title={Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption},
booktitle={Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2013},
pages={198-201},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004319601980201},
isbn={978-989-8565-42-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption
SN - 978-989-8565-42-6
AU - Hammad A.
AU - Mountassir H.
AU - Chouali S.
PY - 2013
SP - 198
EP - 201
DO - 10.5220/0004319601980201