La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

Partagez cette publication

IntroductionRTCuLtseruLtserM+APncCosiluonthieuMoyMatnerGelboreV(gami/LTCtrusanFr)Rce00<81r2,meebDece
Verimag Grenoble France
December 1, 2008
>
An Experiment With Lustre and Real-Time Calculus Introduction du cours
Matthieu Moy
1/32
rontItsuLM+eroCAPulcnctdunRioLuTCrestsionriVegGmaeuhiy(MottaMDecemberC/Lustrearcn)eTReronlbFe
Lustre
Summary
Real-Time Calculus
3
Introduction : Modular Performance Analysis
2
Conclusion
1
5
4
Using Lustre inside MPA
>23/2<8002,1
ncCoPA+MonsiluIntctioroduuLtsRnCTtsereruLMuyohteimigaV(reMatr1,2008<3/32>
Motivations
The goal: performance analysis ITiming IEnergy (?) The tools: Formal methods IWill it scale? The context: IBackground in simulation, synchronous systems I... trying to work with performance models Who: IVerimag, “synchronous team” IETHZ, Lothar Thiele and his team I(Combest project)
L/CTrtsuceDeebmeenGrleobanFr)Rce
hittMaerGgamireV(yoMueeBigPict(MPA):ThrueonlbFearcn)eTR/CLustreDecember1,80023/4<
events
>2
Module (Transformer)
events
Module (Transformer)
events
events
Module (Transformer)
events
IntAnalysisformanceudalPrreulisnooMPA+MncCoLurerestCTRntsuLudoroitc
IntroductionRTC Lustre Lustre+MPA Conclusion Modular Performance Analysis (MPA): The Big Picture timedModuletimedModuletimed behavior(Transformer)behavior(Transformer)behavior timedModuletimed behavior(Transformer)behavior Matthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008<4 / 32>
IntroductionRTC Lustre Lustre+MPA Conclusion Modular Performance Analysis (MPA): The Big Picture Modelling timedModuletimedModuletimed behavior(Transformer)behavior(Transformer)behavior timedModuletimed behavior(Transformer)behavior Computed Abstractions Matthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008<4 / 32>
IMusPAaesivrrcualsevraM.ihttoMuey(VerimagGrenoblFearcn)eTR/CuLtsmbceDere08201,er
Modular Performance Analysis: Content
>23/5<
What can “timed behavior” be? INumber of events per time unit? IBounds for number of events?
Computed Abstractions
timedModuletimed behavior(Transformer)behavior
timed behavior
timed behavior
ModuletimedModule (Transformer)behavior(Transformer)
Modelling
nclusiontseruLtserM+APoCrontctdunRioLuTCI
IntrodLertsuLCTRnoitcuusclonACMPe+trusoinTC/Lce)ReDecustr1r2,meeb/52300<8iethatMer(VoyuMnerGgaminarFelbo
Modular Performance Analysis: Content
Modelling
>
timed behavior
timedModuletimed behavior(Transformer)behavior
ModuletimedModule (Transformer)behavior(Transformer)
timed behavior
Computed Abstractions
What can “timed behavior” be? INumber of events per time unit? IBounds for number of events? IMPA uses “arrival curves”.
progbeaMattramlaosCInaeFblnoreRTe)ncra(yoMueihGgamireVnIrtustrRTCLtionoducCAPMlcnosuLe+ertiousnceDeermbLuC/rest>23/
ModuletimedModule (Transformer)behavior(Transformer)
Modelling
Modular Performance Analysis: Content
02,16<80
timed behavior
timed behavior
timedModuletimed behavior(Transformer)behavior
Computed Abstractions
What can “Modules” be? IFIFO + processing element? I“Service curve”
Modelling
ModuletimedModule (Transformer)behavior(Transformer)
Modular Performance Analysis: Content
timedModuletimed behavior(Transformer)behavior
Computed Abstractions
timed behavior
timed behavior
What can “Modules” be? IFIFO + processing element? I“Service curve” ICan also be a “program”
rebm02,16<80>23/e)RTC/LustreDeceamGgeronlbFearcneuhittMariVey(MortnIcudonoitLCTRtrususeLe+trACMPnolcsuoin
TR)ecnarertsuL/CermbceDe<708201,aMttnoisoM(yihuemagGVeribleFrenoTCLustreductionRAPoCcnuluLtserM+
timed behavior
timed behavior
timedModuletimed behavior(Transformer)behavior
Computed Abstractions
Can we put Lustre in the modules?
/32>
The Question...
ModuletimedModule (Transformer)behavior(Transformer)
Modelling
Iortn
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin