Software

Team members have developed several tools dedicated to embedded systems:

  • Gemoc studio: A language workbench to automatically generate IDE and debugger for your Domain Specific Language. The GEMOC studio supports the definition of concurrent and timed operational semantics.

An example of its use through the Arduino Modeling Language example. More details about the example here

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

More on http://timesquare.inria.fr

Includes a 30-minute slide-based presentation followed by a demonstration of the main tool features

double click for full screen

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



  • SCiPX 2.0: SystemC to IP-XACT converter (latest version).

Comments are closed