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

Matthieu Moy

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 / ...

Informations

• Publié par: Puher
• Nombre de lectures: 8
• Langue: English

Extrait

IntroductionRTCuLtseruLtserM+APncCosiluon thieuMoyMatnerGelboreV(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+eroCAPulcnctdunRioLuTCrestsion riVegGmaeuhiy(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+MonsiluIntctioroduuLtsRnCTtsereruL MuyohteimigaV(reMatr1,2008<3/32>

Motivations

The goal: performance analysis I Timing I Energy (?) The tools: Formal methods I Will it scale? The context: I Background in simulation, synchronous systems I ... trying to work with performance models Who: I Verimag, “synchronous team” I ETHZ, Lothar Thiele and his team I (Combest project)

L/CTrtsuceDeebmeenGrleobanFr)Rce

hittMaerGgamireV(yoMue eBigPict(MPA):Thrue onlbFearcn)eTR/CLustreDecember1,80023/4<

events

>2

Module (Transformer)

events

Module (Transformer)

events

events

Module (Transformer)

events

Int AnalysisformanceudalPrre ulisno oM PA+MncCoLurerestCTRntsuLudoroitc

IntroductionRTC Lustre Lustre+MPA Conclusion Modular Performance Analysis (MPA): The Big Picture timed Module timed Module timed behavior (Transformer) behavior (Transformer) behavior timed Module timed 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 timed Module timed Module timed behavior (Transformer) behavior (Transformer) behavior timed Module timed behavior(Transformer)behavior Computed Abstractions Matthieu Moy (VerimagGrenobleFrance) RTC/Lustre December 1, 2008<4 / 32>

I MusPA“aesivrrcualsevr aM .” ihttoMuey(VerimagGrenoblFearcn)eTR/CuLtsmbceDere08201,er

Modular Performance Analysis: Content

>23/5<

What can “timed behavior” be? I Number of events per time unit? I Bounds for number of events?

Computed Abstractions

timed Module timed behavior(Transformer)behavior

timed behavior

timed behavior

Module timed Module (Transformer) behavior (Transformer)

Modelling

nclusiontseruLtserM+APoCrontctdunRioLuTCI

IntrodLertsuLCTRnoitcuusclonACMPe+trusoin TC/Lce)ReDecustr1r2,meeb/52300<8iethatMer(VoyuMnerGgaminarFelbo

Modular Performance Analysis: Content

Modelling

>

timed behavior

timed Module timed behavior(Transformer)behavior

Module timed Module (Transformer) behavior (Transformer)

timed behavior

Computed Abstractions

What can “timed behavior” be? I Number of events per time unit? I Bounds for number of events? I MPA uses “arrival curves”.

progbea“ Matt ram”laosC I na eFblnoreRTe)ncra(yoMueihGgamireV nIrtustrRTCLtionoducCAPMlcnosuLe+ertiousn ceDeermbLuC/rest>23/

Module timed Module (Transformer) behavior (Transformer)

Modelling

Modular Performance Analysis: Content

02,16<80

timed behavior

timed behavior

timed Module timed behavior(Transformer)behavior

Computed Abstractions

What can “Modules” be? I FIFO + processing element? I “Service curve”

Modelling

Module timed Module (Transformer) behavior (Transformer)

Modular Performance Analysis: Content

timed Module timed behavior(Transformer)behavior

Computed Abstractions

timed behavior

timed behavior

What can “Modules” be? I FIFO + processing element? I “Service curve” I Can also be a “program”

rebm02,16<80>23/e)RTC/LustreDeceamGgeronlbFearcneuhittMariVey(Mo rtnIcudonoitLCTRtrususeLe+trACMPnolcsuoin

TR)ecnarertsuL/CermbceDe<708201,aMtt nois oM(yihuemagGVeribleFreno TCLustreductionRAPoCcnuluLtserM+

timed behavior

timed behavior

timed Module timed behavior(Transformer)behavior

Computed Abstractions

Can we put Lustre in the modules?

/32>

The Question...

Module timed Module (Transformer) behavior (Transformer)

Modelling

Iortn