|
|
|
Finite State Machines Toolkit
Galaxy:
automata and SyncCharts editor using the fltk graphical library: This editor has been created in a research project about the Finite State Machines (FSM) and the synchronous languages. It includes four independent models:
simple automata editing (« basic automaton » mode) parallel automata editing (« parallel automaton » mode)
hierarchical automata editing (« LightEsterel » mode)
SyncCharts editing (« SyncCharts » mode).
Download galaxy
Linux 64 bits:
Linux 32 bits:
Windows 10:
Windows XP:
Autom2circuit: Explicites Galaxy automata synthesis in Mealy or Moore machine. Written at the beginning for teaching needs, this software has evolved to research needs too. For instance, the new Csharp generation (-cs option) has been developed by Mr. Bergheul Mohammed Cherif during his Master Reseach training.
This software can be called by shell or a windows/linux script or used thanks to its fltk graphical interface. It loads a galaxy file (.gal extension) and generates several output formats (like human readable doc) according to the options:
options list:
-h : this help
-aide : this help (en Francais)
-v : software version
-Ox : optimisation level of generated code (x=0: no, x=2: better)
-awaited : export the awaited input signals as outputs
-bootstate : add a new initial state (implicit in -awaited mode)
-ne « neutral element » : name of the neutral element
-bac : generates a ba file of boolean equations for BAC
-sc : generates a sc causal file of boolean equations to include classical Esterel compilation chain
-lustre : generates a LUSTRE node with an equivalent behavior
-esterel : generates an ESTEREL module with an equivalent behavior
-blif : generates a blif file
-vhdl : generates a vhdl file
-altera : generates a vhdl file for ALTERA family softwares
-c : generates an c file with its include file
-cs : generates the automaton in Csharp language (C#)
-doc : generate a documentation file
-latex : generate a documentation file in the latex format
Download autom2circuit
Linux 64 bits:
Linux 32 bits:
Windows 10:
Windows XP:
Autom_expand: expander of hierarchical explicit Galaxy automata (LightEsterel or SyncCharts). Be careful this software doesn't handle the expansion of automata parallelism (cartesian product of graphs).
This software has to call by shell or a windows/linux script. First it loads the main galaxy file given as parameter. After it searchs all the tree files. In consequence, it generates an unique automaton.
Syntax:
autom_expand < filename > [-rename < filename > -basic]
autom_expand -h
autom_expand -v
Options list:
-h : this help
-v : software version
-rename < filename > : output file renaming (by default < filename >_expand.gal)
-basic : output file generation in « basic automaton » mode
Download autom_expand
Linux 64 bits:
Linux 32 bits:
Windows 10:
Windows XP:
How to install each tool ?
- Linux
Download the zip file (galaxy_x_x_x.gz for example), unzip and rename it by :
gzip -d galaxy_x_x_x.gz
mv galaxy_x_x_x galaxy
After, install the software in a shared bin dirertory like: /usr/local/bin, ~/bin ... Last, you may have to make this software runnable:
chmod 755 galaxy
- WINDOWS XP
Download the zip file (galaxy_x_x_x.zip for example), unzip and rename it.
After, install the softaware in a shared bin directory like: ``Program Files'' and update your PATH variable...
Last update : May 24 2022
