Current and previous software made in aoste
Team members have developed several tools dedicated to embedded system:
- Esterel: The academic compiler developed by the Tick team.
- K-PASSA: A tool to create, analyze, and schedule dataflow process networks.
- 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.
- TimeSquare: Eclipse plugin for using MARTE profile (Time model and CCSL) and clock visualization (VCD viewer).
- IPXACT Tools :
- SCiPX 2.0: SystemC to IP-XACT converter (latest version).
- Ipxact2Marte: IP-XACT to MARTE converter.
- Marte2Ipxact: MARTE to IP-XACT converter.