Suite logicielle autour des machines d'états finis

• Galaxy: éditeur d'automates d'états finis et de SyncCharts utilisant la librairie graphique fltk : Cet éditeur, a été créé dans un projet de recherche autour des machines d'états finis (FSM) et des langages synchrones. Galaxy intègre quatre modèles indépendants:

  • automates simples (mode « basic automaton  »)

  • automates parallèles (mode « parallel automaton  »)

  • automates hiérarchiques (mode « LightEsterel  »)

  • SyncCharts (mode « SyncCharts  »).

  

  Téléchargement de galaxy

  Linux 64 bits:

  • galaxy (V 3.8.1)
  • galaxy (V 3.7.1)
  • galaxy (V 3.6.1)
  • galaxy (V 3.6.0)
  • galaxy (V 3.5.3)
  • galaxy (V 3.4.2)

  Linux 32 bits:

  • galaxy (V 3.6.0)
  • galaxy (V 3.5.3)
  • galaxy (V 3.4.2)

  Windows 10:

  • galaxy (V 3.8.1)
  • galaxy (V 3.7.1)
  • galaxy (V 3.6.1)

  Windows XP:

  • galaxy (V 3.5.3)
  • galaxy (V 3.4.2)

  Lien vers d'autres outils utilisant galaxy

• Autom2circuit: synthétiseur d'automates explicites Galaxy en machine de Mealy ou Moore booléenne. Ecrit à l'origine pour des besoins d'enseignement, ce logiciel a évolué également vers des besoins recherche. Par exemple la nouvelle génération Csharp (option -cs) a été développée par M. Bergheul Mohammed Cherif durant son stage de Master Recherche.

  

  Ce logiciel s'utilise en « invite de commande  » ou par un script windows/linux ou directement via son interface graphique fltk. Il charge un fichier galaxy (extension .gal) et peux générer de multiples format de sortie (dont le mode « doc ») suivant les options choisis:

  • liste des options:

    -aide : cette aide

    -h : cette aide (in English)

    -v : version du synthétiseur

    -Ox : niveau d'optimisation du code généré (x=0: sans, x=2: meilleur)

    -awaited : exporte les signaux d'entrées attendus en tant que sorties

    -bootstate : ajoute un nouvel état initial (implicite dans le mode -awaited)

    -ne « element-neutre » : nom de l'élément neutre

    -bac : génère un fichier ba d'équations booléennes pour l'analyseur BAC

    -sc : génère un fichier sc causal d'équations booléennes pour réintégrer la chaine de compilation Esterel

    -lustre : génère un noeud LUSTRE de comportement équivalent

    -esterel : génère un module ESTEREL de comportement équivalent

    -blif : génère un fichier au format blif

    -vhdl : génère un fichier d'équations booléennes au format vhdl

    -altera : génère un fichier d'équations booléennes au format vhdl pour la famille ALTERA

    -c : génère l'automate en langage c ainsi qu'un fichier d'entête .h

    -cs : génère l'automate en langage Csharp (C#)

    -doc : génère un fichier de documentation

    -latex : génère un fichier de documentation au format latex

Téléchargement de autom2circuit

Linux 64 bits:

• autom2circuit (version 1.4.1 nécessite galaxy 3.6.0 ou plus)
• autom2circuit (version 1.4.0 nécessite galaxy 3.5.3)

Linux 32 bits:

• autom2circuit (version 1.4.1 nécessite galaxy 3.6.0 ou plus)
• autom2circuit (version 1.4.0 nécessite galaxy 3.5.3)

Windows 10:

• autom2circuit (version 1.4.1 nécessite galaxy 3.6.0 ou plus)

Windows XP:

• autom2circuit (version 1.4.0 nécessite galaxy 3.5.3)

• Autom_expand: mise à plat d'automates explicites hierarchiques Galaxy (LightEsterel ou SyncCharts). Attention ce logiciel ne gère pas l'expansion du parallelisme d'automates (produit cartesien des graphes).

  Ce logiciel s'utilise uniquement en « invite de commande  » ou par un script windows/linux. Il charge d'abors le fichier galaxy principal donné en paramètre, puis va chercher tous les fichiers de son arborence. Il génére en conséquence un unique automate.

  • Syntaxe:

    autom_expand < filename > [-rename < filename > -basic]

    autom_expand -h

    autom_expand -v

  • Liste des options:

    -h : cette aide (in English)

    -v : version du logiciel

    -rename < filename > : renommage du fichier de sortie (par défaut < filename >_expand.gal)

    -basic : génération du fichier de sortie en mode « basic automaton  »

Téléchargement de autom_expand

Linux 64 bits:

• autom_expand (version 1.1.1 nécessite galaxy 3.6.0 ou plus)
• autom_expand (version 1.1.0 nécessite galaxy 3.5.3)

Linux 32 bits:

• autom_expand (version 1.1.1 nécessite galaxy 3.6.0 ou plus)
• autom_expand (version 1.1.0 nécessite galaxy 3.5.3)

Windows 10:

• autom_expand (version 1.1.1 nécessite galaxy 3.6.0 ou plus)

Windows XP:

• autom_expand (version 1.1.0 nécessite galaxy 3.5.3)

Autres outils:
autom_abstract, autom_check, autom2test et bingbang

Téléchargement de autom_abstract

Linux 64 bits:

• autom_abstract (version 0.0.2 nécessite galaxy 3.6.0 ou plus)

Windows 10:

• autom_abstract (version 0.0.2 nécessite galaxy 3.6.0 ou plus)

Téléchargement de autom_check

Linux 64 bits:

• autom_check (version 0.0.1 nécessite galaxy 3.6.0 ou plus)

Windows 10:

• autom_check (version 0.0.1 nécessite galaxy 3.6.0 ou plus)

Téléchargement de autom2test

Linux 64 bits:

• autom2test (version 0.2.1 nécessite galaxy 3.6.0 ou plus)

Windows 10:

• autom2test (version 0.2.1 nécessite galaxy 3.6.0 ou plus)

Téléchargement de bingbang

Linux 64 bits:

• bingbang (version 0.2.0 nécessite galaxy 3.6.0 ou plus)

Windows 10:

• bingbang (version 0.2.0 nécessite galaxy 3.6.0 ou plus)

Comment installer chaque outil ?

- Linux

Téléchargez le fichier (galaxy_x_x_x.gz par exemple), décompressez ce programme et renommez-le par :

gzip -d galaxy.gz