Finite State Machines Toolkit

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:
- galaxy (V 3.5.3)
- galaxy (V 3.4.2)
Link about other tools using galaxy

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:

autom2circuit (version 1.4.1 needs galaxy 3.6.0 or higher)

Windows XP:

autom2circuit (version 1.4.0 needs galaxy 3.5.3)

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