The Lustre V6 Toolbox

  • Software distribution and licensing: Public binary 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

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1127292