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