Logiciels, Prototypes et Démonstrateurs

Project DEVS

Project DEVS est un écosystème d'outils, rassemblés autour de l'interface graphique ProDEVS, destinés à la modélisation et la simulation de systèmes à évènements discrets exprimés dans le formalisme DEVS (Discrete Event System Specification). Toutes les informations sont disponibles sur le site dédié à l'outil.

Outil ESA/PN

Basé sur l’algorithme de recherche de scénarios critiques que nous avons élaboré, l’outil ESA/PN permet de modéliser un système hybride grâce aux RdP temporels ou prédicats/transitions différentiels. Il est interfacé à l’outil d’analyse de RdP TINA, développé au LAAS. Pour un état redouté donné, ESA/PN fournit l’ensemble des scénarios critiques minimaux sous formes de graphes d’ordres partiel. Voir le site de l'outil.

Outil de traduction de Réseaux de Petri en VHDL-AMS

Cet outil de traduction permet la génération automatique de RdP prédicat-transitions différentiels en une description VHDL-AMS. À partir de la description textuelle du RdP, l’exécution de l’outil de traduction génère automatiquement le code VHDL-AMS correspondant. Le code VHDL-AMS produit peut être directement compilé et simulé à l’aide d’un outil de simulation.