Browsing by Author "Sofiane, BOUKELKOUL"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Formalismes et environnements pour la modélisation et la simulation des systèmes à évènements discrets
    (Université 20 Août 1955-Skikda, 2014-10-01) Sofiane, BOUKELKOUL; Redjimi ,Mohammed
    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.