Polychrony AADL2SIGNAL User Guide
Contents
1. POLYCHRONY Polychrony_AADL2SIGNAL_UserGuide Page 1 5 POLYCHRONY A TOOLSET FOR SIGNAL AADL2SIGNAL translator Polychrony AADL2SIGNAL User Guide V1 0 Author s Checked by Approval Name Members of the Lo c Besnard Jean Pierre Talpin Espresso Team Thierry Gautier Paul Le Guernic Company INRIA INRIA CNRS INRIA Department Espresso Team Espresso Team Espresso Team Date Visa Summary User Guide of the AADL SIGNAL translator Attention la responsabilit des entreprises et des organismes ayant particip a l laboration de ce document ne peut en aucun cas tre engag e en cas de dommages ou de pertes r sultant de l utilisation ou de l exploitation des informations qui y sont contenues Disclaimer Contractors participating to this report shall incur no liability whatsoever for any damage or loss which may result from the use or exploitation of information and or Rights contained in this report May 31 2012 POLYCHRONY Polychrony_AADL2SIGNAL_UserGuide Page 2 5 Table of Contents 1 Translating an AADL model to a Signal model 0 0 0 0 eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeaaee 1 1 How to produce an aaxl2 file from an aad text file 1 2 How to produce the ssme Teens nensuene cuveueedivadebensacd vouttdavedededveuvadbiiend 2 Access to the Signal ToolBox functionalities ss 3 About the AADL SIGNAL Translation2. POTA AADL2 CS_APOTA aaxl2 M CS_APOTA som x Ne 3 Lypes aadl 19 mw B i v types aadl v amp PC v amp P ocucerCons Lopy Open With gt ProcucerCe dehevicr aadl Delete 2ehevicr aaxl2 Move P ocucerCons Rename xd Procucer Cons impcrt 4 Procucer Cons Expert 7a P ugin Resources Refresh AADL_Project ae Run As Dep ovnent _Proi 2sbug As CN Drcfile As Comrrunication_f Team Compare With lt Replace With OSATE Create Predeclared Fropert es Execute Pradefined Scenarios gt Vw VY VY MY VY w Do Save azxl2 As Text aadl rout gt reperties Figure 4 Access to the Polychrony functionalities 3 About the AADL SIGNAL translation incomplete The user can consult the following documents to have information about the translation gt The AADL to SIGNAL translation gt The publications May 31 2012
3. dentaire inl sin tesmneuens May 31 2012 POLYCHRONY 1 Translating an AADL model to a Signal model The AADL to SIGNAL translator starts from a file suffixed by aaxl2 the aadl Syntax Model under Eclipse form of the OSATE V2 tool and generates the Signal model in a file suffixed by ssme the Signal Syntax Model under Eclipse 1 1 How to produce an aaxi2 file from an aadli text file Remind that to produce the aaxl2 file from an aad text Open the aadl file see Figure 2 Inthe text wiew right click and select the Save as XMI See Figure 1 cle Edit Navigate Search Project OSAIE Run rv S Se amp AADL Nevigalur X EM OS El behavior aad ER behavior aax 2 R CS_APOTA AADL2 CS_APOTA aaxl2 amp CS_APOTA ssme E types aadl B types aadt vV amp EC V 2 Producer Consum 2 2roducerConsumer2 S G B behavior aad behavior aax 2 PraducerConsuma zaxl L ProducerConsume 2 ssme y BA Plugin Resources AADL_Project aadl Comrunication Properties aac Deployment_Prepert es aadl my y qui Mercry_Properzias adl Modeing Prop2 tiss aadl Frogramming_Froperties azcl SEl azel Thread_Pr oper Lies aecl Timing Properties aadl g Figure 1 Saving the aaxl2 file a A Polychrony_AADL2SIGNAL_UserGuide Page 3 5 AADL AADL V2 Examples PC ProducerConsumer2 aadl2 Eclipse Platform Window Help B g t y 4 Producer Consumer 2 aadl2 23 PuCRuYe vues Cru
4. e es public with behavior SYSTEM P oducerConsumer END Produce Co sumer SYSTEM IMPLEMENTATION FrocrcerConsun SUBCOMPONENTS prProdcons PROCESS prbrecCons inj SYSENY SYSIFM systnv sysOperatorisalay SYSTFM sysOpe Process0o l PROCESSOR Prccessorl i CONNECTIONS cl PORT pr r2dCons pPrecT imeOu L i c2 PORT pr r2dCons pCorsTimeOut c3 PORT sys qw pStart gt prProdCoi c4 PORT sysZ2av pStop gt prProdCon CND Produce Co1sumer impl PROCESS p Prod ons FEATURES pSzart pS op pProdiimenut pConslimenut END prPcodco1s IN EVENT PORT IN EVENT PORT OUT FVENI PORI OUT EVENT PORI PROCESS IMPLEMENTATION prPrecCuris iri SUBCOMPONENTS thProduce L THREAD thProcucer imp v E Problems Properties amp Cerscle X No cerscles to disp zy at this time Grick Outlire Oper Ceclarction Oper Witn Snow In Pasle Rename Elemen Vaidace Format Togg e Comment Content Assist Guick Fix Soft Righ Saft Left Find Re erences Rain As Debug As lsam Compare With Rabce Witn cro 3 gt Shift A t W gt Cul v Shift Alt R Shift Corl F Ct lt Crl Space Ctra M Shi Cu G Www YY Vv May 31 2012 Instantiate System P eferences Input M ethecs PO LYCH RO NY Polychrony_AADL2SIGNAL_UserGuide Page 4 5 1 2 How to produce the ssme file To produce the ssme file See Figure 3 gt Select an aaxl2 file gt Right click and
5. select Export as gt Signal model File Edit Navigate Search Project OSATE Run Instance Editor Window Help Sa je jan a 6 COC S EB hd sF AADL Navigator 5 O B cs_APOTAAADL2 CS_APOTA aaxl2 X N B types B CS_APOTA AADL2 F gt 3 Aadl Package CS_APOTA A CS_APOTA aaxl New gt amp CS_APOTA ssm Open types aadl Open With types aadl v amp PC Copy v amp Producer Consun Producer Cons Delete E behavior aadl Move amp behavior aaxl2 Rename Producer Consun Import amp ProducerConsum Export amp Producer Consun Refresh V BA Plugin_Resources Run As B AADL_Project aadl Debug As B Communication_Pra Team Deployment_Prope poy P Compare With Memory_Properties 2 Replace With OSATE RE amp 08S Sigpai Model SEl aadl Create Predeclared Properties VV VV VV Modeling_Propertie Thread_Properties Do Save aaxl2 As Text aadl B Timing_Properties lt ee Properties ne AADL V2 Examp Figure 3 Producing the ssme file May 31 2012 A amp Y A platform resource AADL V2 Examples APOTA CS_APOTA a POLYCHRONY Polychrony_AADL2SIGNAL_UserGuide Page 5 5 2 Access to the Signal ToolBox functionalities The Figure 4 gives the a global view of the access to the polychrony services from a ssme file For more information on how to work with a ssme file consult the SSME User Guide 3 sehevier aadl 2 Jehevicr aaxl2 CS_A
Download Pdf Manuals
Related Search