This is to announce the 1.6.0 release of
Rfsm, a package dedicated to the description, simulation and synthesis of StateChart-like state diagrams.
Rfsm package includes both an OCaml library and a command-line compiler.
- a description of a system as a set of StateChart-like state diagrams
- a description of stimuli to be used as input for this system
and can generate
- graphical representations of the system
- execution traces as
Additionnaly, dedicated backends can generate system descriptions and testbenches in
CTask(a C dialect with primitives for describing tasks and event-based synchronisation)
More informations are available on the github page.
Rfsm is provided as a an opam package.
Graphical User interfaces to the command line compiler are provided separately.
Comments, feedback and bug reports welcome.