Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs

Amel Berrachedi, Malika Ioualalen, Ahmed Hammad

2021

Abstract

When developing critical and complex systems, the requirement of the systems design verification is paramount. We address the problem of how to design these ones in order to satisfy their requirements. Wireless Sensor Networks (WSNs) are examples of such systems, which consist of a large amount of distributed and autonomous nodes. We aim to propose a Model-Based Systems Engineering specification and verification methodology for designing WSNs. The proposed approach uses SysML language to describe the WSNs requirements, behaviors and performance parameters. Then, it translates the SysML elements to a Deterministic Stochastic Petri Net (DSPNs) and integrates them into an analytic model. This allows designing WSNs and studying their behaviors and their performances, namely energy consumption. The current paper refines the first part of this project by transforming the activity diagram of SysML to a DSPN. To show the applicability of the mapping technique, a case study that presents a hierarchical WSN is used.

Paper Citation

in Harvard Style

Berrachedi A., Ioualalen M. and Hammad A. (2021). Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. In Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-528-9, pages 83-91. DOI: 10.5220/0010549200830091

in Bibtex Style

@conference{simultech21,
author={Amel Berrachedi and Malika Ioualalen and Ahmed Hammad},
title={Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs},
booktitle={Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2021},
pages={83-91},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010549200830091},
isbn={978-989-758-528-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs
SN - 978-989-758-528-9
AU - Berrachedi A.
AU - Ioualalen M.
AU - Hammad A.
PY - 2021
SP - 83
EP - 91
DO - 10.5220/0010549200830091