Contents Next

Introduction

Le présent document constitue le guide utilisateur du projet libre DEVSimPy. Il a été rédigé par les membres de l´équipe TIC suivants: L. Capocchi.


L´application est une interface permettant la modélisation et la simulation automatique des modèles à événements discrets décrits dans le formalisme DEVS (Discrete EVent System Specification). Ce formalisme a été introduit à la fin des années 70 par le professeur Zeigler qui avait pour objectif de donner un socle mathématique solide à la modélisation des systèmes à événements discrets. Un système à événements discrets est un système pouvant être décrit à partir d´un ensemble d´états et de règles de transition entre ces états. Le formalisme DEVS permet la représentation d´un système comme un modèle ou un ensemble de modèles possédant des états et des transitions.


L'engouement pour la programmation orienté objet au début des années 80 a conduit le professeur zeigler à utiliser une approche objet pour définir son formalisme. Il définit notamment deux types de modèles: les modèles atomiques pour l´aspect comportementale des systèmes et les modèles couplés pour l´aspect structurel. Par définition, un modèle couplé peut contenir plusieurs modèles atomiques et/ou plusieurs modèles couplés. Par contre un modèle atomique est indissociable et tout modèle couplé peut être représenté par un modèle atomique unique .Le modèle atomique est la pièce élémentaire de la modélisation DEVS et il est définit par un ensemble d´états et de fonctions de transition entre ces états.


L´un des avantages principale du formalisme DEVS est qu´il offre la simulation automatique de ses modèles. En effet, le simulateur DEVS va exécuter les fonctions de transition des modèles atomiques est gérer la communication entre les modèles de manière automatique à partir d´un arbre de simulation. Il associe un simulateur par modèle atomique et un coordinateur par modèle couplé. Cette représentation hiérarchique permet de contrôler la simulation grâce à une distribution réglementée des événements entre modèles.


Si avec DEVS la simulation est automatique, la modélisation reste une tâche incontournable pour le scientifique. Lorsque le comportement du système est déterminé et que les états sont définis, il faut dénombrer les modèles atomiques et couplés puis construire le modèle DEVS. Cette dernière opération est généralement programmée dans des applications qui ne dispose pas d´interface graphique ( CD ++ , pyDEVS , DEVS #, ....). DEVSimPy répond au besoin d´une interface conviviale et collaborative permettant la modélisation et la simulation de modèle DEVS implémenté en langage Python .


Des travaux de recherches ont montrés l´efficacité du langage python pour la modélisation et la simulation de système a événements discrets [ Gathmann ]. Python est dynamique, non typé, portable et repose sur une syntaxe simple et donc réduit considérablement le temps d´implémentation des concepts sur lesquels reposent les logiciels. DEVSimPy est entièrement codé en langage Python et utilise plus particulièrement la bibliothèque graphique wxPython. Avec le projet libre DEVSimPy l´équipe du laboratoire SPE voulait développer une interface graphique permettant de construire des modèles couplés à partir de modèles atomiques décrits dans des fichiers PyDEVS. Ceci constitue le point de départ du projet et a donné naissance à un logiciel complet dont nous allons décrire l´utilisation dans la suite du document.


Contents Next