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