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...