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

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