| Full record
|Final report on CPD System component and model implementation
|Report, Study or Opinion by order
|Deliverable DT2.3.2 of the Artemis Scalopes project
Design and verification of HW/SW embedded systems
|In this report the contribution of the UC addresses system composability by the automatic generation of the system model from the IP-XACT description of the components. Accurate performance analysis including data cache modeling supports predictability. The resulting simulation framework is valid to analyse dependability.
In this report, a preeliminary version of the high-level modelling framework is described. This infrastructure will allow generating automatically SystemC models for system simulation, using as input the system descriptions that result of the application of the
methodology that has been proposed in the current document.
By using the resulting infrastructure, the following aspects will be improved:
o Composability: The system performance could be characterized in the first stages of the design flow integrating IP-XACT models for native
o Predictability: By using SCoPE with the CPD models that are being implemented, modeling the execution of software applications on a concrete hardware platform will be possible. Thus, software can be designed, tested and validated in close interaction with the hardware.
o Dependability: By using SCoPE, potential system failures can be early detected, ruling out implementations or design alternatives that may involve re-designing the complete system.