Software

Team members have developed several tools dedicated to embedded system:

  • TimeSquare : Eclipse plugin for using MARTE profile (Time model and CCSL) and clock visualization (VCD viewer).

More on http://timesquare.inria.fr

double clic for full screen

    • Esterel : The academic compiler developed by the Tick team.

    • K-PASSA v1.1: A simple tool to create and use formal models, and run algorithms. Features equalization and balanced scheduling.

    • K-PASSA v2 : written in C++. Supports LID, SDF, KRGs. No longer supported.

    • SyncCharts : a graphical formalism dedicated to reactive system modeling.

    • SynDEx : a system level CAD software based on the “Algorithm-Architecture Adequation” (AAA) methodology, for rapid prototyping and optimizing the implementation of distributed real-time embedded applications.

IPXACT Tools :

Permanent link to this article: https://team.inria.fr/aoste/software/