=Paper=
{{Paper
|id=Vol-503/paper-2
|storemode=property
|title=preface
|pdfUrl=https://ceur-ws.org/Vol-503/paper00.pdf
|volume=Vol-503
}}
==preface==
https://ceur-ws.org/Vol-503/paper00.pdf
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