Gaspard2: - from MARTE to SystemC Simulation - LIFL
Gaspard2: - from MARTE to SystemC Simulation - LIFL
Gaspard2: - from MARTE to SystemC Simulation - LIFL
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
<strong>Gaspard2</strong>:<strong>from</strong> <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> <strong>Simulation</strong>Éric Peil, Rabie Ben Atitalah, Philippe Marquet,Samy Meftali, Smaïl Niar, Anne Étien,Jean-Luc Dekeyser and Pierre Boulet14 March 2008
Overview
Overview
Application Domain of <strong>Gaspard2</strong>:intensive signal processing"Gaspard" stands forGraphical array specification for parallel anddistributed computing
Hypotheses◮◮◮◮◮component-basedmassiveparallelismregularapplications andhardwareno complex flow ofcontrolstatic scheduling,no RTOS
<strong>MARTE</strong> packages used in <strong>Gaspard2</strong>◮◮◮Foundations◮ Non Functional Properties◮ Generic Component Model◮ Flow ports◮ AllocationDetailed Resource Modeling◮ Hardware Resource Modeling::HwLogicalRepetitive Structure Modeling
<strong>Gaspard2</strong> defines 2 extensions<strong>to</strong> <strong>MARTE</strong>◮◮Semantics based on the Array-OL specificationlanguage◮ data dependence expression◮ single assignment◮ multidimensional arraysDeployment◮ AbstractImplementation◮ Implementation◮ CodeFile
Example: H.263 Video EncoderMain application components
H.263 Hardware and Allocation
MIPS Processor Deployment
Overview
Technology bases of <strong>Gaspard2</strong>Model driven engineering◮◮metamodelsmodel transformationsEclipse platform◮◮◮metamodeling language: Ecoreintegration framework based on pluginstransformation chains
<strong>Gaspard2</strong> model transformationsUML/<strong>MARTE</strong>GaspardSynchronousEquationalPolyhedronRTLSynchronousLoopVHDLOpenMP<strong>SystemC</strong>TLM-PVTOpenMPFortran
<strong>Gaspard2</strong> Tool
Overview
Abstraction levelof the generated codeTLM◮◮◮high abstraction levelcommunications = read/write transcationsincreased simulation speedTLM-PVT◮◮◮◮Programmer’s View with Timing annotationsArchitecture defined for processing andcommunicationSome communication arbitrationApplication components compiled for the hostcomputer◮ no ISS
Performance comparisonwith hand coded CABA simulation6000000050000000Execution time (cycles)40000000300000002000000010000000PVCABA04 8 12 16Number of processors
Conclusion◮◮◮Au<strong>to</strong>matic code generation◮ From a subset of <strong>MARTE</strong> <strong>to</strong> <strong>SystemC</strong> TLM-PVT◮ Application domain = intensive signalprocessingInput models at a very high abstraction levelFlexibility of the platform◮ a full compilation framework◮ other available targetsAvailabilityhttp://www.lifl.fr/west/gaspard/Tu<strong>to</strong>rial at next FDL (Stuttgart, September 2008)