Home page > Teams > Synchrone > Tools
Tools
Tools
- aadl2sync
An AADL to synchronous programs translator
- aadl4ocaml
an ocaml library for parsing AADL code.
- Argos and Larissa
Argos is an automaton language, similar to StateCharts, but with synchronous semantics.
- Aspic Accelerated Symbolic Polyhedral Invariant Computation This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.
- BDDC v2
A Binary Decision Diagrams library, initially written for the Lustre compiler in the early 90s.
- Lurette An automatic testing tool for reactive systems.
Lurette is an Automatic Test Generator for Reactive Programs, e.g., written in Lustre, Scade, or C (provided that it follows some conventions as the C code generated from Lustre or Scade).
- Lutin
A (target) language for describing and simulating stochastic reactive systems.
- Pinapa A front-end for SystemC/TLM
Pinapa is a front-end for SystemC/TLM, that allows to combine the information on the architecture of a TLM platform, with the syntax trees of the threads.
- Reglo
A compiler which translates regular expressions into either a set of language equations, or into a Lustre program.
- SCRV Runtime verification for SystemC/TLM designs
SCRV allows to cover the non-determinism of the scheduling choices, when executing a SystemC/TLM model with the SystemC engine.
- ss2lus Simulink/Stateflow to Lustre
The main objective of this project is to allow the translation of Simulink/Stateflow (trademarks of The Mathworks Inc.) into the synchronous programming language Lustre allowing its associated compilers, model-checkers and abtract interpretation tools to be applied to Simulink designs.
- The Lustre V4 Toolbox
The Lustre Toolbox includes Lustre V4 and the model-checker Lesar.
- The Lustre V6 compiler
Lustre V6 is the last version of the academic Lustre compiler, featuring an ada-like package mechanism, structured data-types (enums, structures), array iterators, and static recursion.
The whole Verimag Tools page
Logged in visitors: 14 ; visits: 170459
|
|
|