Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Gaspard2:from MARTE to SystemC Simulation

Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet

14 March 2008

Overview

Overview

Application Domain of Gaspard2:intensive signal processing

"Gaspard" stands for

Graphical array specification for parallel anddistributed computing

Hypotheses

É component-basedÉ massive

parallelismÉ regular

applications andhardware

É no complex flow ofcontrol

É static scheduling,no RTOS

MARTE packages used in Gaspard2É Foundations

É Non Functional PropertiesÉ Generic Component Model

É Flow portsÉ Allocation

É Detailed Resource ModelingÉ Hardware Resource Modeling::HwLogical

É Repetitive Structure Modeling

Gaspard2 defines 2 extensionsto MARTE

É Semantics based on the Array-OL specificationlanguageÉ data dependence expressionÉ single assignmentÉ multidimensional arrays

É DeploymentÉ AbstractImplementationÉ ImplementationÉ CodeFile

Example: H.263 Video EncoderMain application components

H.263 Hardware and Allocation

MIPS Processor Deployment

Overview

Technology bases of Gaspard2

Model driven engineeringÉ metamodelsÉ model transformations

Eclipse platformÉ metamodeling language: EcoreÉ integration framework based on pluginsÉ transformation chains

Gaspard2 model transformations

OpenMP

OpenMPFortran

SystemCTLM-PVT

Polyhedron

LoopSynchronous

SynchronousEquational

Gaspard

VHDL

RTL

UML/MARTE

Gaspard2 Tool

Overview

Abstraction levelof the generated code

TLMÉ high abstraction levelÉ communications = read/write transcationsÉ increased simulation speed

TLM-PVTÉ Programmer’s View with Timing annotationsÉ Architecture defined for processing and

communicationÉ Some communication arbitrationÉ Application components compiled for the host

computerÉ no ISS

Performance comparisonwith hand coded CABA simulation

4 8 12 16

0

10000000

20000000

30000000

40000000

50000000

60000000

PV

CABA

Number of processors

Ex

ecut

ion

tim

e (c

ycle

s)

Conclusion

É Automatic code generationÉ From a subset of MARTE to SystemC TLM-PVTÉ Application domain = intensive signal

processingÉ Input models at a very high abstraction levelÉ Flexibility of the platform

É a full compilation frameworkÉ other available targets

Availability

http://www.lifl.fr/west/gaspard/Tutorial at next FDL (Stuttgart, September 2008)