Software

Team members have developed several tools dedicated to embedded system:

  • 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

powerpoint before the 31st minute, demo after
double clic 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