Workshop Proceedings ACESMB 2008 First International Workshop on Model Based Architecting and Construction of Embedded Systems September 29th, 2008, Toulouse, France Organized in conjunction with MoDELS’08 th 11 International Conference on Model Driven Engineering Languages and Systems Edited by: Stefan Van Baelen (K.U.Leuven ‐ DistriNet, Belgium) Iulian Ober (University of Toulouse ‐ IRIT, France) Susanne Graf (Université Joseph Fourier ‐ CNRS ‐ VERIMAG, France) Mamoun Filali (University of Toulouse ‐ CNRS ‐ IRIT, France) Thomas Weigert (Missouri University of Science and Technology, USA) Sébastien Gérard (CEA ‐ LIST, France) MoDELS'08 ACES-MB Workshop Proceedings TableofContents  TableofContents.....................................................................................................................................3 Foreword..................................................................................................................................................5 Acknowledgments...................................................................................................................................7 MultiͲLevelPowerConsumptionModellingintheAADLDesignFlowforDSP,GPP,andFPGA E.Senn,J.Laurent,andJ.ͲP.Diguet(UniversitédeBretagneSud,France).........................................9 VTSͲbasedSpecificationandVerificationofBehavioralPropertiesofAADLModels D.Monteverde(UniversidadArgentinadelaEmpresaandUniversidaddeBuenosAires, Argentina),A.Olivero(UniversidadArgentinadelaEmpresa,Argentina),S.Yovine(VERIMAGͲ CNRS,France),andV.Braberman(UniversidaddeBuenosAires,Argentina).................................23 TranslatingAADLintoBIPͲApplicationtotheVerificationofRealͲtimeSystems M.Y.Chkouri,A.Robert,M.Bozga,andJ.Sifakis(VERIMAG,France).............................................39 DerivingComponentDesignsfromGlobalRequirements G.v.Bochmann(SITE,Canada).........................................................................................................55 ScalableModelsUsingModelTransformation T.H.FengandE.A.Lee(UniversityofCalifornia,USA).....................................................................71 ISElanguage:TheADLforEfficientDevelopmentofCrossToolkits N.Pakulin,andV.Rubanov(InstituteforSystemProgrammingoftheRussianAcademyofSciences, Russia)...............................................................................................................................................87 TowardsModelͲBasedIntegrationofToolsandTechniquesforEmbeddedControlSystemDesign, Verification,andImplementation J.Porter,G.Karsai,P.Völgyesi,H.Nine,P.Humke,G.Hemingway,R.Thibodeaux,andJ. Sztipanovits(VanderbiltUniversity,USA)........................................................................................99 ModelingRadioͲFrequencyFrontͲEndsUsingSysML:ACaseStudyofaUMTSTransceiver S.Lafi,R.Champagne,A.B.Kouki,andJ.Belzile(ÉcoledeTechnologieSupérieure,Canada)......115 FromHighͲLevelModellingofTimeinMARTEtoRealͲTimeSchedulingAnalysis M.ͲA.PeraldiͲFrati,andY.Sorel(I3S,France)................................................................................129 AReinterpretationofPatternstoIncreasetheExpressivePowerofModelͲDrivenEngineering Approaches M.Bordin(AdaCore,France),M.Panunzio,C.Santamaria,andT.Vardanega(UniversityofPadua, Italy)................................................................................................................................................145  Toulouse, France, September 29, 2008 3 MoDELS'08 ACES-MB Workshop Proceedings Foreword The development of embedded systems with real‐time and other types of critical constraints implies handling very specific architectural choices, as well as various types of critical non‐ functional constraints (related to real‐time deadlines and to platform parameters, such as energy consumption and memory footprint). The last few years have seen a growing interest in (1) using precise (preferably formal) domain‐specific models for capturing such dedicated architectural and non‐functional information, and (2) using model‐driven engineering (MDE) techniques for combining these models with platform independent functional models to obtain a running system. As such, MDE can be used as a means for developing analysis oriented specifications that represent the design model at the same time. The objective of this workshop is to bring together researchers and practitioners interested in all aspects of model‐based software engineering for real‐time embedded systems. We target this subject at different levels, from modelling languages and related semantics to concrete application experiments, from model analysis techniques to model‐based implementation and deployment. In particular the workshop focus on the following: • Architecture description languages (ADLs). Architecture models are crucial elements in system and software development, as they capture the earliest decisions that have a huge impact on the realisation of the (non‐functional) requirements, the remaining development of the system or software, its deployment, etc. In particular, we are interested in examining: o the position of ADLs in an MDE approach o the relation between architecture models and other types of models used during requirement engineering (e.g., SysML), design (e.g., UML), etc. o techniques for deriving architecture models from requirements, and deriving high‐level design models from architecture models o verification and early validation using architecture models • Domain specific design and implementation languages. To achieve the high confidence levels required from critical embedded systems through analytical methods, specific languages with particularly well‐behaved semantics are often used in practice, such as synchronous languages and models (Lustre/SCADE, Signal/Polychrony, Esterel), time triggered models (TTA, Giotto), scheduling‐oriented models (HRT‐UML, Ada Ravenscar), etc. We are interested in examining the model‐ oriented counterparts of such languages, together with the related analysis and development methods. • Languages for capturing non‐functional constraints (UML‐MARTE, AADL, OMEGA, etc.) Toulouse, France, September 29, 2008 5 MoDELS'08 ACES-MB Workshop Proceedings • Component languages and system description languages (SysML, BIP, FRACTAL, Ptolemy, etc.). We received 16 submissions from 8 different countries, of which 10 papers were accepted for the workshop. We hope that the contributions for the workshop and the discussions during the workshop will help to contribute and provide interesting new insights in Model Based Architecting and Construction of Embedded Systems. The ACESMB 2008 organising committee, Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard, September 2008. Toulouse, France, September 29, 2008 6 MoDELS'08 ACES-MB Workshop Proceedings Acknowledgments  TheOrganisingCommitteeofACESMB2008wouldliketothanktheworkshopProgram Committeefortheirhelpfulreviews. NicolasBelloir(LIUPPA,France) JeanͲMichelBruel(LIUPPA,France) AgustiCanals(CS,France) JeanͲMarieFarines(UFSC,Brasil) PeterFeiler(SEI,USA) MamounFilali(CNRSIRIT,France) RobertFrance(CSU,USA) DavidGarlan(CMU,USA) PierreGaufillet(Airbus,France) SébastienGérard(CEALIST,France) SusanneGraf(VERIMAG,France) TomHenzinger(EPFL,Switzerland) BruceLewis(USArmy,USA) JohnMettenburg(RockwellCollins,USA) AlanMoore(TheMathworks,UK) IulianOber(UniversityofToulouse,France) IsabellePerseil(TelecomParisTech,France) DorinaPetriu(CarletonUniversity,Canada) BernhardRumpe(TUBraunschweig,Germany) DouglasC.Schmidt(VanderbiltUniversity,USA) BranSelic(MalinaSoftware,Canada) JeanͲBernardStefani(INRIA,France) RichardTaylor(UCI,USA) MartinTörngren(KTHStockholm,Sweden) StefanVanBaelen(K.U.Leuven,Belgium) TullioVardanega(UniversityofPadua,Italy) EugenioVillar(UniversidaddeCantabria,Spain) FrançoisVernadat(LAAS,France) ThomasWeigert(MissouriS&T,USA) TimWeilkiens(ooseGmbH,Germany) SergioYovine(VERIMAG,France) Thisworkshopisorganisedasaneventinthecontextof x TheISTͲ004527ARTIST2NetworkofExcellenceonEmbeddedSystemsDesign x TheresearchprojectEUREKAͲITEASPICES(SupportofPredictableIntegrationof missionCriticalEmbeddedSystems) Toulouse, France, September 29, 2008 7