Validation of a SysML based design for wireless sensor networks-Reference-Cited by-同舟云学术

Validation of a SysML based design for wireless sensor networks

Published:2017 Issue: Volume: Page:
ISSN:0094-243X
Container-title:AIP Conference Proceedings
language:
Short-container-title:

Author:

Berrachedi Amel,Rahim Messaoud,Ioualalen Malika,Hammad Ahmed

Publisher

Author(s)

Link

http://aip.scitation.org/doi/pdf/10.1063/1.4992500

Reference11 articles.

1. B. Yahya, J. Ben-Othman, L. Mokdad, and S. Diagne, “Performance evaluation of a medium access control protocol for wireless sensor networks using Petri nets,” in HET-NETs’2010 (2010), pp. 335–354.

2. Petri Nets

3. M. A. Marsan, “Stochastic Petri nets: An elementary introduction,” in Advances in Petri Nets (Springer, 1989), pp. 1–29.

4. N. Belloir, J. Bruel, N. Hoang, and C. Pham, “Utilisation de SysML pour la modelisation des reseaux de capteurs,” in Actes de la conference Langages et Modeles a Objets (LMO’08) (Canada, 2008), pp. 171–186.

5. S. Berrani, A. Hammad, and H. Mountassir, “Mapping SysML to modelica to validate wireless sensor networks non-functional requirements,” in IEEE 11th International Symposium on Programming and Systems -ISPS’2013 (2013), pp. 191–200.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SysML and Petri Nets Based Methodology for Analysis and Performance Evaluation in WSNs;Lecture Notes in Networks and Systems;2023

2. Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs;Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications;2021