The Synchrone Reactive Toolbox

  • Software distribution and licensing: Open-source distribution
  • Software maturity: Well-tested software, good documentation
  • Software Maintenance and Evolution: Active maintenance, plans for future evolution

This Toolbox consists of development tools targeting the design of reactive programs (typically, for critical embedded systems) made available by the synchronous team.

The Toolbox features:

  • The Lustre V6 language compiler and interpreter
  • The Lutin reactive system environment modeling language interpreter
  • The Lurette automated testing tool
  • The Lesar model-checker
  • The RDBG (Reactive Programs) debugger
  • The gnuplot-rif and sim2chro data visualizers

The gitlab projects hosting the different tools are accessible from: https://gricad-gitlab.univ-grenoble...