Francisco Ortiz, Francisco Snchez, Diego Alonso, Francisca Rosique, - - PowerPoint PPT Presentation

Francisco Ortiz, Francisco Sánchez, Diego Alonso, Francisca Rosique, Carlos Insaurralde

Implementation platforms

• Pio ne e r P3-AT
• Auto no mo us Go lf Ve hic le
• Auto no mo us Unde rwa te r Ve hic le s
• UPCT

L VS (www.upc t.e s/ lvs) - Re g io na l c o o rdina te d pro je c t

• Oc e a n Syste ms L

a b (http:/ / o sl.e ps.hw.a c .uk/ ) - He rio t-Wa tt Unive rsity (Sc o tla nd)

What’s C‐Forge

• WCOMM: me ta mo de l fo r

c o mpo ne nt-b a se d a pplic a tio ns.

• c o mpo ne nt b e ha vio ur is e xpre sse d

a s time d-a uto ma ta

• T

he c o de e xe c ute d b y the T A sta te s is mo de le d b y a c tivitie s she lls.

• F

r aCC: fra me wo rk tha t pro vide s

the runtime suppo rt fo r e xe c uting WCOMM a pplic a tio ns.

• I

t pro vide s c o ntro l o ve r the de plo yme nt

• f the a pplic a tio n (no de s, pro c e sse s

a nd thre a ds)

Overview of C‐Forge

Interfaces, datatypes, protocols, activities

Simple Componenents (plus timed‐automata)

Complex Components and Application

What is a Component in WCOMM?

• Are white -b o x so ftwa re units tha t e nc a psula te the ir b e ha vio ur,

e xpre sse d a s a time d-a uto ma ta

• Co mmunic a te b y se nding me ssa g e s to e a c h o the r o nly thro ug h

the ir c o mpa tib le po rts

• Me ssa g e s c a n ha ve pa ra me te rs, a re g ro upe d into inte rfa c e s,

a nd fo llo w the “async hro no us witho ut re spo nse ” sc he me

Co mpa re d to OMG’ s MART E , WCOMM po rts a re flow por

ts:

• non-atomic (me ssa g e s c a n ha ve

pa ra me te rs o f a ny type )

• bi-dir

ectional (tha nks to pro to c o ls),

• behaviour

al (me ssa g e s c a n fire e ve nts in

time d a uto ma ta )

Main WCOMM characteristics

• Suppo rts mo de lling fo r re use a nd mo de lling by re use b y

se pa ra ting de finitio ns (da ta -type s, inte rfa c e s, a c tivitie s a nd c o mpo ne nts) fro m the ir insta nc e s

• De fine s thre e hig hly c o he sive b ut lo o se ly c o uple d vie ws:
• Shar

ed definitions: da ta -type s, inte rfa c e s, pro to c o ls a nd a c tivitie s.

Hig hly re usa b le b e twe e n a pplic a tio ns

• Simple component definition: o nly c o mpo ne nt with b e ha vio ur o n

the ir o wn, mo de lle d b y a time d-a uto ma ta

• Complex component definition: e nc a psula te o the r c o mpo ne nts

(e ithe r simple o r c o mple x), witho ut b e ha vio ur

• Co mprise s a to ta l o f 64 E

Cla sse s

Linking behaviour with code: activities

• Ac tivitie s e nc a psula te c o de a nd a re a sso c ia te d to

time d-a uto ma ta sta te s

• L

ike inte rfa c e s, the y a re g lo b a l to a pplic a tio ns

• Use rs o nly mo de l the “ac tivity she ll”:
• the me ssa g e s the y r

eceive (fro m o the r a c tivitie s o r thro ug h inpo rts),

• a nd the me ssa g e s / e ve nts the y gener

ate (to o the r a c tivitie s o r to

• utpo rts / inte rna l to the time d a uto ma ta )
• No te : the c o de itse lf (dyna mic lib ra ry) will b e linke d la te r in F

ra CC

• Co nc urre nc y & fle xib le de plo yme nt

(c) - “fine tune d” b y the use r

• M2M tra nsf. (e) fo r RT
• Ana lysis (g)
• A model loader

(d) pe rfo rms the

mo de l inte rpre ta tio n a t “e xe c utio n time ”.

FraCC: framework for Concurrent Components

FraCC keypoints

• Pro vide s the runtime suppo rt ne e de d fo r e xe c uting

WCOMM a pplic a tio ns

• F

ra CC ma in fe a ture s:

• F

a c ilita te s a pplic a tio n deployment (numb e r o f no de s, pro c e sse s, a nd thre a ds), c le a rly separ

ating it fro m a pplic a tio n mo de lling

• Co ntro l o ve r the concur

r ency c ha ra c te ristic s o f the a pplic a tio n

• Allo ws dynamic c o mpo ne nt c re a tio n a nd a c tivity (c o de ) linking
• Avo ids hidde n, fra me wo rk ma na g e me nt c o de

User ACT I O User‐defined region(s) In Out Port management region(s) In Out buffers Outmsgs buffers buffers In msgs buffers FraCC ACT buffers In msgs buffers buffers Out msgs buffers FraCC ACT

T=100ms T=50ms

Code templates for activities

Sample Fracc Execution

Cheddar analysis of FraCC applications

• F

ra CC thre a ds a re c o nve rte d to Che dda r thre a ds

• Sha re d re so urc e s a re de rive d fro m the a ssig nme nt o f c o mpo ne nts

to pro c e sse s a nd re g io ns to thre a ds in a syste ma tic wa y

• Ac tivitie s sho uld b e pre vio usly c ha ra c te rise d: wc e t, pe rio dic ity,

de a dline , e tc .

Additional information

• De mo vide o s a va ila b le in C-F
• rg e site :
• http:/ / www.dsie .upc t.e s/ c fo rg e / tuto ria ls/