Infrastructure:
Translators: UML, ECL, PtolemyII
The
representation mechanism:
meta-model, underlying mathematics
The
meta-model compiler: parsing,
checking, hook to
backend tools
Meta-model
simulators: Java-based, SystemC
Meta-model GUI
Architecture models and Behavior models:
PARADES platform modeling
more architecture models
Methodology: Nokia,
Philips, BWRC, BMW, Intel, ST
Backend point tools:
Synthesis
tools
Analysis
tools