Accueil > Axes > Ressources partagées > Outils > Outils


  • Lustre V6

    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 Lustre V6 toolbox (lus2lic, lurette, rdbg)

  • Multi-core interference Analysis

    A timing analysis tool for multi-core : From a description of data-flow application and initial schedule and mapping, it produces an updated schedule (release dates) that takes into account the inter-task interference. The focus is on the interference due to shared bus.

  • RDBG a Reactive programs DeBuGger

    rdbg is now part of the Lustre V6 toolbox (lus2lic, lurette, rdbg)

  • SASA a SimulAtor of Self-stabilizing Algorithms

    SASA is a Self-stabilizing Algorithms SimulAtor, based on the so-called Atomic State model (ASM) introduced by Dijkstra in its seminal article on Self-stabilizing distributed algorithms.

  • the Chamois CompCert Compiler

    A version of the CompCert certified compiler with added optimizations and a backend for the Kalray KVX processor.

La page de tous les outils de Verimag

Contact | Plan du site | Site réalisé avec SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4006268