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 o 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) o

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 o 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 o is mo de le d b y a c tivitie s she lls. aCC: fra me wo rk tha t pro vide s F r • 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 o o 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: • ed definitions : da ta -type s, inte rfa c e s, pro to c o ls a nd a c tivitie s. o Shar Hig hly re usa b le b e twe e n a pplic a tio ns o 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 o 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” : • o 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), o 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 o utpo rts / inte rna l to the time d a uto ma ta ) o 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

FraCC: framework for Concurrent Components 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 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: • o 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 o 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 o Allo ws dynamic c o mpo ne nt c re a tio n a nd a c tivity (c o de ) linking o Avo ids hidde n, fra me wo rk ma na g e me nt c o de

User ‐ defined region(s) Port In msgs management buffers buffers T=100ms region(s) T=50ms Out In Outmsgs buffers buffers O I User ACT FraCC ACT In msgs buffers buffers In Out FraCC ACT Out msgs buffers buffers

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 o rg e site : • http:/ / www.dsie .upc t.e s/ c fo rg e / tuto ria ls/ •