Formalismes et environnements pour la modélisation et la simulation des systèmes à évènements discrets
Loading...
Date
2014-10-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université 20 Août 1955-Skikda
Abstract
La modélisation et la simulation nous permettent de représenter la structure et les
comportements des systèmes. Plusieurs méthodes existent pour la modélisation et la
simulation des systèmes. Nous pouvons considérer les approches mathématiques, mécaniques
et informatiques. Les approches formelles telles que les réseaux de Pétri ou les machines à
états finis présentent un ensemble d'outils permettant la représentation des systèmes et leur
évolution dans le temps. Nous nous intéressons particulièrement au formalisme DEVS «
Discret EVent System Spécification » qui est un formalisme de modélisation et de simulation
initié par B. P. Zeigler dans les années 1970. DEVS est introduit comme formalisme abstrait
pour la modélisation à événements discrets et est devenu un formalisme universel, grâce à sa
force de joindre plusieurs modèles hétérogènes dans le but de modéliser les systèmes
complexes. Le travail que nous présentons consiste, dans un premier temps, à faire un état de
l'art très poussé de différentes approches, formalismes, méthodes et environnements touchant
à la modélisation. Nous nous intéresserons ensuite plus particulièrement à la modélisation des
systèmes à événements discrets. Aussi, les réseaux de Pétri représentent des outils formels très
puissants et assez utilisés pour la représentation des systèmes et leurs évolutions dans le
temps. Nous nous intéressons ainsi à la mise en œuvre de mécanismes de transformation de
ces outils vers le formalisme DEVS. L'outil final de développement d'application évoluera
dans un environnement de multi-modélisation que nous définirons en fin de ce travail de
recherche et qui sera validé par une mise en œuvre robuste utilisant les composants JAVA et
XML.