Using DEVS for Full Life Cycle Model-Based System Engineering in Complex Network Design

Autor: Abdurrahman Alshareef, Maria Julia Blas, Matias Bonaventura, Thomas Paris, Aznam Yacoub, Bernard P. Zeigler

Publikováno v: Advances in Computing, Informatics, Networking and Cybersecurity ISBN: 9783030870485

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6cc3c83e4e2e2777ee17f8cc9cfb1e83
https://doi.org/10.1007/978-3-030-87049-2_8

Integrated Simulator of Mobile Ad-hoc Network-based Infrastructure : A Case Study

Autor: Aznam Yacoub

Publikováno v: SpringSim

Mobile Adhoc Network-based (MANET-based) infrastructures have been proposed as communication support in case of disastrous events and emergency situations. Indeed, standard communication systems like cellular networks might become unavailable or enti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::47d45d367d995c6d32386ed3082d1571
https://doi.org/10.22360/springsim.2020.cns.006

Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms

Autor: Aznam YACOUB, Hamri, M. E. A., Frydman, C.

Publikováno v: Symposium on Theory of Modeling and Simulation (TMS/DEVS '17)
Symposium on Theory of Modeling and Simulation (TMS/DEVS '17), Apr 2017, San Diego, United States
Scopus-Elsevier

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33e3fe650e7ef2a33dbeceff21bad8a6
https://hal-amu.archives-ouvertes.fr/hal-01786109

Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems

Autor: Aznam YACOUB, Hamri, M., Frydman, C., Seo, C., Zeigler, B. P.

Publikováno v: Proceedings of the 27th European Modelling and Simulation Symposium
Proceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy
Scopus-Elsevier
27th European Modeling and Simulation Symposium, EMSS 2015
27th European Modeling and Simulation Symposium, EMSS 2015, Sep 2015, Bergeggi, Italy

International audience; PROMELA is a well-known formalism for the modeling and the verification of concurrent systems. PROMELA deals with high-level specifications. As a result, PROMELA models are expressed in a high-level abstraction which not consi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5cfc66b70a63e9a1eb5cebb64f24c6f3
https://hal-amu.archives-ouvertes.fr/hal-03643254

A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods

Autor: Aznam Yacoub, Claudia Frydman, Maamar Hamri

Publikováno v: DS-RT
2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Oct 2014, Toulouse, France. pp.155-162, ⟨10.1109/DS-RT.2014.27⟩

Verification and Validation (V&V) of Systems is an important process in the development of systems, in order to ensure that they are reliable and operational. Among methods of V&V, there are two that seem to be opposite to each other: simulation, whi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::061e1abd5a00f0c5531cca2dd46bf0a1
https://doi.org/10.1109/ds-rt.2014.27