The document provides an overview of the Gaspard2 modeling language and framework for modeling dataflow-oriented applications, with an emphasis on signal processing systems. It describes the key concepts in Gaspard2 including its component-based design, support for parallelism, use of UML profiles, and ability to model applications and hardware. The document also outlines the MARTE standards used in Gaspard2 and provides examples of modeling constructs for tasks, dataflow and allocation.

2. Gaspard2 Tutorial
Rabie Ben Atitalah, Jean-Luc Dekeyser and
Pierre Boulet
24 September 2008

3. Overview

4. Overview

5. High Performance Application
Development: MPSoC
Verification
Simulation
Synthesis
Multiple languages
Multiple abst. levels

6. Application Domain of Gaspard2:
intensive signal processing
"Gaspard" stands for
Graphical array specification for parallel and
distributed computing

7. Hypotheses
component-based
massive
parallelism
regular
applications and
hardware
no complex flow of
control
static scheduling,
no RTOS

8. 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

9. !
#$%'$()*#+*,+-
$./$0,12345$)1$+565410$75*4893:5$*#+$;:5++5+$(=()5:(

10. !
!! ! # $
% %''(
) !! *
) ++
C!C
D))0-EEFFFGH*,,1448,5(5*,HDG1,IE
AB
,
J;$/KL9$M$H1#)*H)-$(5*()35#GI5,*,+NH5*G2,O
PQ*(H*,$;(03#1R*S$LT*()35#$'T,*,+S$L*21Q*#$9*D*$*#+$V,T+T,3H$9D1:*(G$$
KW7K$MH1#)*H)-$715,)GX5Y(3:1#5N(10D3*G3#,3*G2,O
A
JD*,45($#+,TS$715,)$+5$L3:1#5S$Z35,,5$[1Q45)
9D*45($979$MH1#)*H)-$/*Q,5#)G,31QN)D*45(I,1Q0GH1:O
@
*+5453#5$V*QI],5S$/*Q,5#)$731QS$L5*()35#$X5:*)D35Q
?

11. -
!
. $ ,
. ,
V1,$X1:*3#$`35F$45654
C!C
AB
V1,$./$Z,12345$`35F$/5654
A
V1,$.(5,$1+54$`35F$/5654
@
?
_

12. !
/
K#),1+QH)31#$)1$XX$21,$79E;$(=()5:($}$79;$3#$*$#Q)(D544
%
W1#82Q#H)31#*4$0,105,)35($:1+543#I
%Q)43#5$12$)D5$`*4Q5$L05H323H*)31#$/*#IQ*I5$M`L/O$
3
9D5$)3:3#I$:1+54
C!C
4
1
AB
5
Z4*)21,:$:1+543#I$
6
7505)3)365$(),QH)Q,5$:1+543#I
(
A
1+548*(5+$*#*4=(3($21,$79E;$
79;$*#+$X/$
@
7
J1#H4Q(31#(
?
ga

13. ) 8
!
)
W55+$21,$:*#*I5*45$*#+$,5Q(*45$035H5($12$(12)F*,5
w5=$5*:045(-$/3ID)F53ID)8JJS$LJS$Q)1(*,
C!C
) ! 1!
AB
;#)3)35($Q#+5,$*#*4=(3(E+5(3I#$,1n5#$+1F#$3#)1$*$(5,35($12$H1:01#5#)(
0043H*45$*)$+3225,5#)$()*I5($12$)D5$0,1H5((
X3225,5#)$n3#+-$*H)365$6(G$0*((365$M5GIGS$./$*H)365$H4*((5(O
A
;*:045($12$,54*)5+$4*#IQ*I5(-$L=(/S$X/
9D5,5$3($*$#55+$)1$0,163+5$:1+543#I$H1#(),QH)($)1$(Q001,)$)D5(5$H1#H50)($*)$
@
+3225,5#)$45654($12$*(),*H)31#
?
gb

14. . ? +:
!
? +
9D5$n5,#54$12$)D5$4*#IQ*I5$+523#5($ $
*#+$
! $+523#5($ $*#+$
C!C
$*#+$0,163+5$)D5$*343)=$)1$
+5(H,35$*$ $*($*#$*((5:4=$12$0*,)(
AB
# *#+$ $ % % $+523#5$
)D5$#1)31#$12$H1:01#5#)$,5*43R*)31#$*#+$
*++($0*Hn*I3#I$H*0*343)35(
A
@
K#$*#=$H*(5S$#1$(Q001,)$21,$241F81,35#)5+$H1::Q#3H*)31#(
?
gc

15. )
!
0 , 8
L=(/S$L03,3)S$X/S$/3ID)F53ID)8JJS$;L98X/S$Q)1(*,
#
C!C
? + $
AB
! +
)1:3H$*#+$#1#8*)1:3H$241F$01,)(
V41F$0,105,)35($*#+$241F$(05H323H*)31#(
A
@ , + 8)) $ #+ ! 8
#+%$ !
@
?
gd

16. ? @ A AB C!C
)
gf
!

17. !
)1:3H$241F$01,)$)=05+$=$*$
J4*((3235,
C!C
AB
A
J1:045$241F$01,)$)=05+$=$*$
@
L)*#+*,+$./$01,)$)=05+$=$*$H4*(($)D*)$ 241F$(05H323H*)31#
Q(5($)D5$/1H*)31#HH5(($3#)5,2*H5
?
gg

18. !
%Q)I13#I$*)1:3H$
241F$01,)
K#H1:3#I$*)1:3H$
241F$01,)
C!C
AB
./$+545I*)31#$H1##5H)1,$Q(5+$
A
F3)D$*$#1#8*)1:3H$241F$01,)
@
./$+545I*)31#$H1##5H)1,$Q(5+$
F3)D$*#$*)1:3H$241F$01,)
?
hii

19. !
/
K#),1+QH)31#$)1$XX$21,$79E;$(=()5:($}$79;$3#$*$#Q)(D544
%
W1#82Q#H)31#*4$0,105,)35($:1+543#I
%Q)43#5$12$)D5$`*4Q5$L05H323H*)31#$/*#IQ*I5$M`L/O$
3
9D5$)3:3#I$:1+54
C!C
4
$H1:01#5#)$:1+54$21,$79E;
AB
5
$
6
7505)3)365$(),QH)Q,5$:1+543#I
(
A
1+548*(5+$*#*4=(3($21,$79E;$
79;$*#+$X/$
@
7
J1#H4Q(31#(
?
hig

20. 2
!
@
441H*)5$*#$*0043H*)31#$545:5#)$)1$*#$0,1H5((3#I$04*)21,:$
545:5#)
7523#5$*$I5#5,*4$545:5#)$3#)1$1#5$1,$(565,*4$:1,5$(05H323H$
545:5#)($
C!C
AB
0 ! +
J*#$1#4=$*441H*)5$*0043H*)31#$)1$55HQ)31#$04*)21,:
J*#$*))*HD$WVZ$H1#(),*3#)($)1$)D5$*441H*)31#
A
@
?
hhb

21. !
0
xD*)$H*#$5$*441H*)5+S$
)D5$41I3H*4$635F-
$(),QH)Q,5$1,$5D*631, xD*)$H*#$(5,65$*($*$
)*,I5)$12$*#$*441H*)31#S$
)D5$0D=(3H*4$635F-
C!C
$*$,5(1Q,H5$1,$*$
(5,63H5G
AB
#
A
@
?
hhc

22. -
!
79;
P7
r 3#H4Q+5 s
!
- , -.
r 5)5#+ s
r 3#H4Q+5 s
C!C
! ; -.
! ,
AB
-.
r 3#H4Q+5 s r 3#H4Q+5 s
# -.
A
;
@
_$Q(5$H*(5($v$_$45654($12$+5)*34(
?
had

23. - 88 - ,
!
- :
P3ID$45654$12$
$635F$12$)D5$Px$04*)21,:
x3)D$n5=$0,105,)35(-
C!C
;GIGS$3#(),QH)31#$(5)$*#+$:5:1,=$(3R5G
$21,:*4$635F$12$Q(Q*4$ $
AB
P3ID$45654$+5(H,30)31#$12$53()3#I$*#+$)*,I5)5+$Px$04*)21,:
V3,()$()50($12$+5(3I#$12$#5F$Px$*,HD3)5H)Q,5
A
@
L=()5:$*,HD3)5H)(
@
L12)F*,5$+5654105,(
?
haf

24. - 88 ! ;
!
- :
L05H3*43R5+$Px$ $:1+54
W*)Q,5$12$+5)*34($+505#+($1#$)D5$ ,
;h$-$*Q)1#1:=$*#*4=(3($,5mQ3,5($01F5,$H1#(Q:0)31#$:1+543#I
C!C
;$-$xJ;9$*#*4=(3($#55+$+5)*34($1#$0,1H5((1,$(055+S$H1::Q#3H*)31#$
*#+F3+)D$*#+$:5:1,=$1,I*#3R*)31#o
AB
@ ;
A
@
?
hag

25. - 88 #
!
- :
P7$3($*$+5)*345+$Px$*,HD3)5H)Q,5$+5(3I#$4*#IQ*I5
/5654$12$+5)*34($+505#+($1#$)D5$+5(H,30)31#$
;h-$VQ#H)31#*4$(3:Q4*)1,$12$*$0,1H5((1,$1#4=$,5mQ3,5($3)($3#(),QH)31#$(5)$2*:34=
C!C
;-$Z5,21,:*#H5$(3:Q4*)31#$#55+$*$23#5$+5(H,30)31#$12$0,1H5((1,($:3H,18
*,HD3)5H)Q,5G
AB
1+548*(5+$+*)*(D55)($+5(H,30)31#
L3:Q4*)31#
A
I5#5,*)31#$12$H1#23IQ,*)31#($21,$(3:Q4*)31#$)114(
@
@
Px$+5(3I#5,(
?
hbi

26. -
!
-
LQHH5((365$ $4*=5,(
$I5#5,3H$H1#H50)($M'7843n5O
,) % - ,)' *- ,) .
$(05H323H$*#+$+5)*345+$,5(1Q,H5(
C!C
,) - ,)# - ,) - ,)''/- ,)# - ,)# % - ,) ' .
AB
44$P7$H1#H50)($*,5$,) 0 1
iGGh 0,163+5+L5,63H5(
F G hGGy F G
iGGy - ,5mQ3,5+L5,63H5( - ! ,
A
1F#5+75(1Q,H5( iGGy
9F1 635F(
+ 1
@
?
hbh

27. - 88 +
!
, 2Q#H)31#*4
@ =
G$$$$$$PFJ1:0Q)3#I$$$$$$ G$$$$$ G$$$$$$PFL)1,*I5$$$$$$ G$$$$$
C!C
r PFZ,1H5((1, sS$r PFZ/X sS r PFJ*HD5 sS$r PF7 sS$ r PF. sS
r PFLKJ s r PF7% sS$r PFX,365 s r PFX s
AB
G$$$$$$ PFX563H5$$$$$$ G$$$$$ G$$$$$$PF93:3#I$$$$$$ G$$$$$
G$$$$$$ PFJ1::Q#3H*)31#$$$$$$ G$$$$$
A
r PFX563H5 sS r PFKE% s r PF[,3+I5 s r PFJ41Hn sS
r PFLQ001,) s
r PF93:5, s
r PF,3)5, s
@
r PF5+3* sS$r PF[Q( s
?
hb

28. - 88
!
, 0D=(3H*4
@
PF/*=1Q)
V1,:(-$JD30S$J*,+S$JD*##54o
X3:5#(31#(S$*,5*$*#+$*,,*#I5:5#)$:5HD*#3(:$F3)D3#$,5H)343#5*,$I,3+(
C!C
;#63,1#:5#)*4$H1#+3)31#(-$5GIG$)5:05,*)Q,5S$63,*)31#S$DQ:3+3)=o
PFZ1F5,
AB
Z1F5,$H1#(Q:0)31#$*#+$D5*)$+3((30*)31#
G$$$$$$ PF/*=1Q)$$$$$$ G$$$$$ G$$$$$$PFZ1F5,$$$$$$ G$$$$$
A
r PFZ1F5,LQ004= s r PFJ1143#ILQ004=s
r PFJ1:01#5#) s
n3#+$-$zJ*,+S$JD*##54S$JD30S$Z1,){
@
?
hb_

29. - , ,
!
F G F + G
== ==+ ==@ 9 K
r 3:01,) s r 3:01,) s
F G
-
F G F G
- + -
C!C
- -
AB
- !
- )
- +
-
A
- )
- ! -
@
- - # ,
?
hba

30. - 88 -
!
F G F + G
== ==+ ==@ 9 K
r 3:01,) s r 3:01,) s
F G
-
F G F G
- + -
C!C
- -
AB
- !
- )
- +
-
A
- )
- ! -
@
- - # ,
?
hbb

31. - 88 -
!
-
F G F G
== ==! -
r +*)*9=05 s
F G
-
:5:1,=L3R5$-$WVZYX*)*L3R5 #1)*)31#$-$WVZYL),3#I
*++,5((L3R5$-$WVZYX*)*L3R5 +5(H,30)31#$-$WVZYL),3#I
)3:3#I($-$93:3#I$tyu 6*4Q5$-$WVZYXQ,*)31#
C!C
AB
F G F G F G F G
- ) - - - # ,
45654$-$WVZYW*)Q,*4$v$h 1,I*#3R*)31#$-$5:1,=%,I*#3R*)31# )=05$-$7%Y9=05 (5H)1,L3R5$-$WVZYX*)*L3R5
)=05$-$J*HD59=05 3(L=#HD,1#1Q($-$WVZY[1145*# 1,I*#3R*)31#$-$5:1,=%,I*#3R*)31#
(),QH)Q,5$-$J*HD5L),QH)Q,5 3(L)*)3H$ -WVZY[1145*#
,504YZ143H=$-$7504YZ143H= 3(W1#`14*)345$ -$WVZY[1145*# iGGh
F,3)5Z143H=$-$x,3)5Z143H= ,504YZ143H=$ -$7504YZ143H=
Q225,
F,3)5Z143H=$-$x,3)5Z143H=
z(Q(5)($1F#5+Px{
A
r 5#Q:5,*)31# s r 5#Q:5,*)31# s r 5#Q:5,*)31# s r +*)*9=05 s r +*)*9=05 s r 5#Q:5,*)31# s
K . ) ) ! ; K
/7. x,3)5[*Hn X*)* #L5)($-$WVZYW*)Q,*4 #71F($-$WVZYW*)Q,*4 *(n5+7%
WV. x,3)59D,1QID K#(),QH)31# 41HL3R5$-$WVZYX*)*L3R5 #J14Q:#($-$WVZYW*)Q,*4 ;Z7%
VKV% %)D5, .#3235+ *((1H3*)363)=$ -$WVZYW*)Q,*4 #[*#n($-$WVZYW*)Q,*4 %9ZY;Z7%
7*#+1: .#+523#5+ %)D5, F1,+L3R5$-$WVZYX*)*L3R5 ;;Z7%
@
%)D5, .#+523#5+ V4*(D
.#+523#5+ %)D5,
.#+523#5+
?
hbc

32. - 88 - 88 - )
!
F G PFJ*HD5$3($*$0,1H5((3#I$:5:1,=$FD5,5$
- )
2,5mQ5#)4=$Q(5+$+*)*$H*#$5$()1,5+$21,$,*03+$
*HH5((
45654$-$WVZYW*)Q,*4$v$h
)=05$-$J*HD59=05
(),QH)Q,5$-$J*HD5L),QH)Q,5
,504YZ143H=$-$7504YZ143H= X5)*345+$+5(H,30)31#$12$)D5$PFJ*HD5$3($
C!C
F,3)5Z143H=$-$x,3)5Z143H= #5H5((*,=$21,$05,21,:*#H5$*#*4=(3($*#+$
(3:Q4*)31#$
AB
r 5#Q:5,*)31# s r 5#Q:5,*)31# s r 5#Q:5,*)31# s r +*)*9=05 s
K . ) ) !
/7. x,3)5[*Hn X*)* #L5)($-$WVZYW*)Q,*4
A
WV. x,3)59D,1QID K#(),QH)31# 41HL3R5$ -$WVZYX*)*L3R5
VKV% %)D5, .#3235+ *((1H3*)363)=$ -$WVZYW*)Q,*4
7*#+1: .#+523#5+ %)D5,
%)D5, .#+523#5+
.#+523#5+
@
?
hbd

33. - 88 - 88 - )
!
F G
- )
45654$-$WVZYW*)Q,*4$v$h
)=05$-$J*HD59=05 L05H3235($)D5$H*HD5$45654G
(),QH)Q,5$-$J*HD5L),QH)Q,5
,504YZ143H=$-$7504YZ143H= X52*Q4)$6*4Q5$3($h
C!C
F,3)5Z143H=$-$x,3)5Z143H=
AB
r 5#Q:5,*)31# s r 5#Q:5,*)31# s r 5#Q:5,*)31# s r +*)*9=05 s
K . ) ) !
/7. x,3)5[*Hn X*)* #L5)($-$WVZYW*)Q,*4
A
WV. x,3)59D,1QID K#(),QH)31# 41HL3R5$-$WVZYX*)*L3R5
VKV% %)D5, .#3235+ *((1H3*)363)=$ -$WVZYW*)Q,*4
7*#+1: .#+523#5+ %)D5,
%)D5, .#+523#5+
.#+523#5+
@
?
hbf

34. - 88 - 88 - )
!
F G L05H3235($)D5$PFJ*HD5$(),QH)Q,5
- ) PFJ*HD5$3($1,I*#3R5+$Q#+5,$(5)($12$41Hn(G
((1H3*)363)=$3($)D5$#Q:5,$12$41Hn($F3)D3#$5*HD$(5)G
45654$-$WVZYW*)Q,*4$v$h
K2$*((1H3*)363)=$v$hS$H*HD5$3($+3,5H)$:*005+
)=05$-$J*HD59=05
(),QH)Q,5$-$J*HD5L),QH)Q,5 K2$#L5)($v$hS$H*HD5$3($2Q44=$*((1H3*)365G
,504YZ143H=$-$7504YZ143H= %J/$,Q45
C!C
F,3)5Z143H=$-$x,3)5Z143H= *! + 2 ! !+ *
AB
r 5#Q:5,*)31# s r 5#Q:5,*)31# s r 5#Q:5,*)31# s r +*)*9=05 s
K . ) ) !
/7. x,3)5[*Hn X*)* #L5)($-$WVZYW*)Q,*4
A
WV. x,3)59D,1QID K#(),QH)31# 41HL3R5$ -$WVZYX*)*L3R5
VKV% %)D5, .#3235+ *((1H3*)363)=$ -$WVZYW*)Q,*4
7*#+1: .#+523#5+ %)D5,
%)D5, .#+523#5+
.#+523#5+
@
?
hbg

35. - 88 - 88 - )
!
F G L05H3235($)D5$H*HD5$F,3)5$0143H=$
- ) x,3)5[*Hn-$J*HD5$F,3)5$3($#1)$3::5+3*)54=$
,5245H)5+$)1$)D5$*Hn3#I$:5:1,=G
45654$-$WVZYW*)Q,*4$v$h
)=05$-$J*HD59=05 x,3)59D,1QID-$x,3)5($*,5$3::5+3*)54=$
(),QH)Q,5$-$J*HD5L),QH)Q,5 :3,,1,5+G
,504YZ143H=$-$7504YZ143H=
C!C
F,3)5Z143H=$-$x,3)5Z143H=
AB
r 5#Q:5,*)31# s r 5#Q:5,*)31# s r 5#Q:5,*)31# s r +*)*9=05 s
K . ) ) !
/7. x,3)5[*Hn X*)* #L5)($-$WVZYW*)Q,*4
A
WV. x,3)59D,1QID K#(),QH)31# 41HL3R5$ -$WVZYX*)*L3R5
VKV% %)D5, .#3235+ *((1H3*)363)=$ -$WVZYW*)Q,*4
7*#+1: .#+523#5+ %)D5,
%)D5, .#+523#5+
.#+523#5+
@
?
hci

36. !
/
K#),1+QH)31#$)1$XX$21,$79E;$(=()5:($}$79;$3#$*$#Q)(D544
%
W1#82Q#H)31#*4$0,105,)35($:1+543#I
%Q)43#5$12$)D5$`*4Q5$L05H323H*)31#$/*#IQ*I5$M`L/O$
3
9D5$)3:3#I$:1+54
C!C
4
$H1:01#5#)$:1+54$21,$79E;
AB
5
Z4*)21,:$:1+543#I$
6
,
(
A
1+548*(5+$*#*4=(3($21,$79E;$
79;$*#+$X/$
@
7
J1#H4Q(31#(
?
hd_

37. , !
!
,
%
W5()5+$4110(
Q4)30,1H5((1,$L=()5:(
C!C
AB
0043H*)31#
P*,+F*,5$04*)21,:
((1H3*)31#
A
@
W5F$#1)*)31#$E$()5,51)=05(
?
hdc

38. ) , !
!
J1#H50)(
! $M5)5#(31#$12$ *O
91$:1+54$:Q4)3+3:5#(31#*4$*,,*=(
+ $M5)5#(31#$12$ $*#+$ O
91$:1+54$)D5$)10141I=$12$)D5$43#n($5)F55#$:Q4)3+3:5#(31#*4$*,,*=(
Z*))5,#8*(5+$,5IQ4*,$)10141I35(
C!C
AB
@ =
8
75IQ4*,$(0*H3#I$12$013#)($3#(3+5$*$
A
)345
75IQ4*,$(0*H3#I$12$)345(
K#D5,3)($2,1:$)D5$,,*=8%/$4*#IQ*I5
@
?
hdd

39. !
!
9
F G
! 7523#5:5#)$12$)D5$:Q4)3043H3)=$
#1)*)31#
`5H)1,$12$.#43:3)5+W*)Q,*4(
F G
C!C
? +==
hc$‘$zaSa{
AB
y$‘$zbhShfSy{
F G
! F G
F G
A
(D*05$-$LD*05L05H323H*)31#$thu zH1445H)31#)),3$v$(3R5{
! !
(3R5$-$.#43:3)5+W*)Q,*4$tiGGyu
@
?
hdf

40. +
!
F G
!
F G F G
? +==) ? +==)
F G
# +
F G
C!C
* !
AB
F G
0
,505)3)31#L0*H5X505#+5#H5$-$K#)5I5,`5H)1,$thu
3(1+Q41$-$[1145*#$v$2*4(5
A
F G
F G
1,3I3#$-$K#)5I5,`5H)1,
@
0*))5,#LD*05$-$LD*05L05H323H*)31#$thu 0*63#I$-$K#)5I5,*),3
,505)3)31#L0*H5$-$LD*05L05H323H*)31#$thu 23))3#I$-$K#)5I5,*),3
)345,$-$9345,L05H323H*)31#
?
hdg

41. -
!0 #
!
r$PFKL$s$z)=05$v$LKX{ hc$0,1H5((1,(
!0 #?
r$3#)5,7505)3)31#$s
z,505)3)31#L0*H5X505#+5#H5$vzhSi{S 91,13+*4$a’a$I,3+
:1+Q41$v$),Q5{
[3+3,5H)31#*4$H1##5H)31#(
# W1,)D8L1Q)D
C!C
;*()8x5()
AB
r$PFJ1:0Q)3#I75(1Q,H5$s
0$-$;45:5#)*,=Z,1H$tzaSa{u 5
F 0i 0h 0 0_
A
( 0a 0b 0c 0d
r$3#)5,7505)3)31#$s
z,505)3)31#L0*H5X505#+5#H5$vziSh{S 0f 0g 0hi 0hh
:1+Q41v),Q5{
@
0h 0h_ 0ha 0hb
?
hfi

42. !
F G
9
,,*=$(D*05
1,3I3#$-$K#)5I5,`5H)1,
Z*))5,#$(D*05
0*63#I$-$K#)5I5,*),3 7505)3)31#$(0*H5$(D*05
23))3#I$-$K#)5I5,*),3
)345,$-$9345,L05H323H*)31#
C!C
3 %-$,5IQ4*,$(0*H3#I$12$)D5$013#)($12$
F G )D5$)345(
AB
F G K#+5$
!
LH*##3#I$)D5$0*))5,#
1,3I3#$-$K#)5I5,`5H)1,
%-$,5IQ4*,$(0*H3#I$12$)D5$)345(
0*63#I$-$K#)5I5,*),3$thu
A
23))3#I$-$K#)5I5,*),3 K#+5$
LH*##3#I$)D5$,505)3)31#$(0*H5
@
1,3I3#M0*63#I$23))3#IOG M$O $*,,*=G(D*05
?
hfh

43. 0 B/1%C
!
J14Q:#$65H)1,(
[*(3($12$)D5$)345
Z*))5,#$(D*05
[1Q#+($12$)D5$23))3#I
,
C!C
J14Q:#$65H)1,(
AB
[*(3($12$)D5$04*H5:5#)$12$
)D5$)345(
7505)3)31#$(0*H5
[1Q#+($12$)D5$0*63#I
A
%,3I3#
J11,+3#*)5($12$)D5$
@
,525,5#H5$013#)$12$)D5$
,525,5#H5$)345
?
hf

44. 0 B%1%C
!
J14Q:#$65H)1,(
[*(3($12$)D5$)345
Z*))5,#$(D*05
[1Q#+($12$)D5$23))3#I
,
C!C
J14Q:#$65H)1,(
AB
[*(3($12$)D5$04*H5:5#)$12$
)D5$)345(
7505)3)31#$(0*H5
[1Q#+($12$)D5$0*63#I
A
%,3I3#
J11,+3#*)5($12$)D5$
@
,525,5#H5$013#)$12$)D5$
,525,5#H5$)345
?
hf_

45. !
!
r$)345,$s
z1,3I3#vziSi{S
23))3#IvzziSh{{S
C!C
0*63#IvzzhSi{SziS_{{ tzhf{u tzbhShfSy{u
2$-$VV9$tzbhSy{u
tzbhSy{u tzhf{u r$)345,$s
AB
z1,3I3#vziSiSi{S
23))3#IvzziShSi{{S
0*63#IvzzhSiSi{SziSiSh{{{
! 5/%
A
LD*05$12$)D5$3#0Q)$+*)*$v$bh’“
@
V1,$5*HD$D=+,10D1#5
L43+3#I$F3#+1F$12$hf$(*:045($565,=$_$)3:5$()50(
?
hfa

46. #
!
F G
!
!
F G
==
C!C
9343#I$1)D$5#+(
AB
F G 9F1$)345,(
#
x3)D$)D5$(*:5$)345(
0*))5,#LD*05$-$LD*05L05H323H*)31#$thu
%#5$0*))5,#$(D*05
,505)3)31#L0*H5$-$LD*05L05H323H*)31#$thu
%#5$,505)3)31#$(0*H5
A
2,1:9345,$-$9345,L05H323H*)31#$thu
)19345,$-$9345,L05H323H*)31#$ thu
)$45*()$*44$PZV$+*)*$
@
+3(),3Q)31#(
?
hfb

47. #
!
C!C
AB
# !0 #
W1$(0*)3*4$+3(),3Q)31#$12$)D5$3#23#3)5$+3:5#(31#$M)3:5$()50(O
A
[41H$+3(),3Q)31#$12$)D5$bh$VV9($21,$5*HD$)3:5$()50
L3R5$12$)D5$41H$v$_
@
%#$)D5$hc$545:5#)*,=$0,1H5((1,(
?
hfc

48. #
!
r$+3(),3Q)5$s
z0*))5,#LD*05$v$z_{S
$,505)3)31#L0*H5$v$zaSaSy{S
$2,1:9345,$v$z1,3I3#$v$ziSi{S
$23))3#I$v$zzhSi{{S
$0*63#Ivzz_Si{SzhfSi{SziSh{{{S
$)19345,$v$z1,3I3#$v$ziSi{S
$$$$$$$$$$$$$$$$23))3#I$v$zziSi{{S
C!C
$$$$$$$$$$$$$$$$0*63#I$v$zzhSi{SziSh{SziSi{{{{
V2)L)*I5--2$-$VV9$ L3:+.#3)--0$-$
tzbhSy{u ;45:5#)*,=Z,1H$tzaSa{u
AB
# !0 #
W1$(0*)3*4$+3(),3Q)31#$12$)D5$3#23#3)5$+3:5#(31#$M)3:5$()50(O
A
[41H$+3(),3Q)31#$12$)D5$bh$VV9($21,$5*HD$)3:5$()50
L3R5$12$)D5$41H$v$_
@
%#$)D5$hc$545:5#)*,=$0,1H5((1,(
?
hfd

49. ) !
!
Q4)3+3:5#(31#*4$(),QH)Q,5($M*,,*=(O
9343#I$=$(Q8(),QH)Q,5($M#1#$1,)D1I1#*4$1,$(0*,(5$)345($01((345O
/3#n($5)F55#$(QHD$(),QH)Q,5($MH=H43H$1,$#1#$H=H43H$H1##5H)31#$0*))5,#($01((345O
9 ,
J1:0*H)#5(($12$)D5$:1+54
C!C
;223H35#H=S$:*3#)*3#*343)=S$,5*+*343)=
AB
.(5($`L/
[5#523)($2,1:$)D5$H1:01#5#)$:1+54$M241F$01,)(O
00435($)1$1)D$*0043H*)31#$*#+$D*,+F*,5$H1:01#5#)(
;)5#+($*441H*)31#
+
A
P*#+45($1#4=$*,,*=($M#1$2*#H35,$(D*05(O
x1Q4+$5#523)$2,1:$*$HQ()1:$M63(Q*4O$)345,$5+3)1,
.#+5,$+565410:5#)
@
?
hgh

50. Detailed Example
(∞)
Downscaler
(352, 288, ∞) (132, 288) Vert. Filter
(132, 128)
Horiz. Filter
(352, 288) (132, 288) (132, 128, ∞)

51. Horizontal Filter
Horizontal filter
(44, 288)
(352, 288)
Hfilter
(132, 288)
(11) (3)

52. Horizontal Filter
Horizontal filter
(44, 288)
(352, 288)
Hfilter
(132, 288)
(11) (3)
1 1
F= F=
0 0
0 0
o= o=
0 0
8 0 3 0
P= P=
0 1 0 1

53. Horizontal Filter: Input Tiler
1
F= spattern = 11
0
0 32
o= sarray =
0 18
8 0 4
P= srepetition =
0 1 18
17
0
0 0 31
r= 0

54. Horizontal Filter: Input Tiler
1
F= spattern = 11
0
0 32
o= sarray =
0 18
8 0 4
P= srepetition =
0 1 18
17
0
0 1 31
r= 0

55. Horizontal Filter: Input Tiler
1
F= spattern = 11
0
0 32
o= sarray =
0 18
8 0 4
P= srepetition =
0 1 18
17
0
0 2 31
r= 5

56. Horizontal Filter
Horizontal filter
(44, 288)
(352, 288)
Hfilter
(132, 288)
(11) (3)
1 1
F= F=
0 0
0 0
o= o=
0 0
8 0 3 0
P= P=
0 1 0 1

57. Horizontal Filter: Output Tiler
17
1
F= spattern = 3
0
0 12
o= sarray =
0 18
0 3 0 4
0 11 P= srepetition =
r= 0 0 1 18
0

58. Horizontal Filter: Output Tiler
17
1
F= spattern = 3
0
0 12
o= sarray =
0 18
0 3 0 4
0 11 P= srepetition =
r= 1 0 1 18
0

59. Horizontal Filter: Output Tiler
17
1
F= spattern = 3
0
0 12
o= sarray =
0 18
0 3 0 4
0 11 P= srepetition =
r= 2 0 1 18
5

60. Vertical Filter
Vertical filter
(132, 32)
(132, 288) (132, 128)
Vfilter
(14) (4)
0 0
F= F=
1 1
0 0
o= o=
0 0
1 0 1 0
P= P=
0 9 0 4

61. Vertical Filter: Input Tiler
17
0
F= spattern = 14
1
0 12
o= sarray =
0 18
0 1 0 12
0 11 P= srepetition =
r= 0 0 9 2
0

62. Vertical Filter: Input Tiler
17
0
F= spattern = 14
1
0 12
o= sarray =
0 18
0 1 0 12
0 11 P= srepetition =
r= 1 0 9 2
0

63. Vertical Filter: Input Tiler
17
0
F= spattern = 14
1
0 12
o= sarray =
0 18
0 1 0 12
0 11 P= srepetition =
r= 5 0 9 2
1

64. RSM Semantics Summary
DSL for systematic signal processing
First order pure functional language
Multidimensional toroidal arrays
Pattern based data acess
Data parallel repetition
∀r, 0 ≤ r srepetition
∀i, 0 ≤ i spattern
r
t(r, i) = o + (P F) · mod sarray
i

65. Overview

66. Software and hardware co-model
for
data-intensive embedded system
co-design

67. 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

68. Gaspard2
UML2.0 MM
Marte MM
Gaspard2 MM

69. Co-model for co-design
Marte and Gaspard Metamodels
 High level data parallel constructions
 Hierarchical
 Repetitive
 Application, architecture and association models
 Iterative dependency expression
 Data flow and control flow mixing
 Gaspard2 UML profile available
 With MagicDraw and Papyrus

70. Optimization and compilation techniques
•Data parallel code transformations
•Mapping and multi-objective hierarchical scheduling
heuristics
•Compilation from high-level models down to simulation,
execution and synthesis
•Eclipse integration
•Model transformation techniques
•ModTransf, Momote, Mocode, QVTO

71. HP-SoC simulation and synthesis
•Simulation for architecture/application/association exploration
•SystemC simulation framework at PVT and CABA level
•Performance and power consumption evaluation
•Synthesis for large and reconfigurable FPGA
•VHDL code generation
•Network on Chip and SIMD design for MppSoC
•MppSoC implementation in FPGA (16-64 PE “à la Maspar”)
•OpenMP execution on SMP
•Synchronous code generation

72. Downscaler application
Horizontal filter:
8/3
CIF video frame:
352x288
Vertical filter:
9/4
Resized video
frame

73. CIF Frame structure
352 176 176
GOB1 GOB1 GOB1
GOB2 GOB2
GOB2
144 GOB3 144 GOB3
GOB3
+ GOB4 + GOB4
GOB4 GOBn/2 GOBn/2
288
GOB5
U component V component
GOB6
GOB.
GOB.
GOBn
Y component

74. Example: Downscaler
data
FG HF VF FC
Hard Accto 16 MIPS
4 MIPS
Sensor
processors
processor
Bus
Crossbar
Task allocation
Logical Data allocation
Memory
CIF: 352x288
• First solution: Heterogeneous mono-processor architecture
• Second solution: Multi-processor architecture

75. Downscaler: main application

76. Downscaler: main application
• Horizontal filter task

77. Downscaler: main application
• Vertical filter task

78. Downscaler: main application
• Downscaler task

79. Downscaler: main application
• Main application

80. Downscaler: main architecture
• Hardware elementary components

81. Example of MPSoC architecture
 Shared Memory MPSoC architecture

82. Downscaler mapping

83. Downscaler: Deployment
 Hardware and software deployment
 Intellectual Property block (IP) reuse from libraries
 A deployment extension is introduced
 The most important concepts
 VirtualIP
 SoftwareIP, HardwareIP
 implements
 CodeFile
 Specialization
 Characteristic
 PowerModel

84. GaspardLib
GaspardLib
Software Hardware
FFT, DCT, Processor,
Convolution, cache, DMAC
FIR crossbar
Energy
Processor,
cache, DMAC
crossbar

85. Downscaler: Deployment

86. Downscaler: Deployment

87. Papyrus modeling editor
 Open source
 UML2 specification compliant
 Afull Eclipse project such as EMF, etc.
 Support all UML2 diagrams and profile
 MARTE, SysML, CCM
 OCL verification
 Java and C++ code generation
 Developed and supported by CEA and LIFL (DaRT)
 www.papyrusuml.org

88. Technology bases of Gaspard2
 Model driven engineering
 metamodels
 model transformations
 Eclipse platform
 metamodeling language: Ecore
 integration framework based on plugins
 transformation chains

89. Gaspard2 model transformations

90. Polyhedron model
 Information given by the distribution in the high MPSoC model
 A polyhedron is generated for each task repetition
 Parameterized by a processor number (p0) and the task indexes

91. Loop model
 Scanning the polyhedron
 Corresponding loop generation
 Task repetition space
 Using the CLoog tool

92. Pattern accurate (PA) TLM level
Allocation
Processor 1
Instruction memory TA
Task A
Not used
Task B TB
Processor 0
NoC
Task C Task D TC TD
Data memory Allocation
Task E TE
Array0 Array1
Application execution graph
 Fast simulation
 Data transfer observation
 Hardware/Software simulation before the processor
component is available

93. Gaspard2 Démo…
UML Gaspard Polyhedron
Loop SystemC PA
 https://gforge.inria.fr/projects/gaspard2/

94. Overview