An Experiment With Lustre and Real-Time Calculus - Introduction du  cours
54 Pages
English

An Experiment With Lustre and Real-Time Calculus - Introduction du cours

-

Downloading requires you to have access to the YouScribe library
Learn all about the services we offer

Description

Introduction RTC Lustre Lustre+MPA ConclusionAn Experiment With Lustre and Real-TimeCalculusIntroduction du coursMatthieu MoyVerimagGrenobleFranceDecember 1, 2008Matthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008 < 1 / 32>Introduction RTC Lustre Lustre+MPA ConclusionSummary1 Introduction : Modular Performance Analysis2 Real-Time Calculus3 Lustre4 Using Lustre inside MPA5 ConclusionMatthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008 < 2 / 32>Introduction RTC Lustre Lustre+MPA ConclusionMotivationsThe goal: performance analysisI TimingI Energy (?)The tools: Formal methodsI Will it scale?The context:I Background in simulation, synchronous systemsI ... trying to work with performance modelsWho:I Verimag, “synchronous team”I ETHZ, Lothar Thiele and his teamI (Combest project)Matthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008 < 3 / 32>Introduction RTC Lustre Lustre+MPA ConclusionModular Performance Analysis (MPA): The Big PictureModule events Moduleevents events(Transformer) (Transformer)Moduleevents events(Transformer)Matthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008 < 4 / 32>Introduction RTC Lustre Lustre+MPA ConclusionModular Performance Analysis (MPA): The Big Picturetimed timed timedModule Modulebehavior behavior behavior(Transformer) (Transformer)timed Module timedbehavior (Transformer) behaviorMatthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008 < 4 / ...

Subjects

Informations

Published by
Reads 8
Language English
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