Authors:
Amel Berrachedi
1
;
Malika Ioualalen
2
and
Ahmed Hammad
3
Affiliations:
1
Faculty of Exact Sciences and Informatics, Hassiba Benbouali University of Chlef, Chlef, Algeria
;
2
Department of Computing Science, MOVEP Laboratory, USTHB University, Algiers, Algeria
;
3
DISC/Femto-ST Department, Franche Comté University, Besançon, France
Keyword(s):
Model-based Systems Engineering, Mapping, SysML, Activity Diagram, Deterministic Stochastic Petri Nets.
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 hi
erarchical WSN is used.
(More)