RFSM

RFSM is an application for describing and simulating StateChart-like state diagrams. It takes

• 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 generate

• a graphical representation of the system (to be viewed with Graphviz for example)

• execution traces as .vcd files (to be viewed with Gtkwave for example)

Additionnaly, dedicated backends can generate system descriptions in

• CTask (a C dialect with primitives for describing tasks and event-based synchronisation)

• SystemC

• VHDL

RFSM is actually a graphical front-end to the rfsmc compiler.

Documentation

The project web page is here.

The user manual can be found here.

Detailed information on the RFSM language can be found on the rfsmc compiler github page.

Installation

Using binary versions

Prebuilt Windows and MacOS versions can be downloaded here (check the Assets tab) or from the project webpage.

Building from source

Pre-requisites

• ocaml (version>=4.08) with latest version of the following opam packages installed:
  • lascar
  • rfsm
• Qt (version>=5.8)
• For building the documentation from source: a working LaTeX installation (with the pdftex command)

How to build

• Get the source code: git clone https://github.com/jserot/rfsm-gui
• cd rfsm-gui
• ./configure [options] (./configure --help for the list of options)
• make
• make install

If you can't or don't want to build the documentation from source, pass the --no-doc option to configure. A pre-built pdf version is available here.

Building on Windows requires Cygwin or MinGW which gcc, ocaml and opam installed.