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
Important!
powerpoint before the 31st minute, demo after-
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 :
-
SCiPX 2.0: SystemC to IP-XACT converter (latest version).
-
Ipxact2Marte: IP-XACT to MARTE converter.
-
Marte2Ipxact: MARTE to IP-XACT converter