8/18/2019 Intro TR 2010

1/19

 

     

   

   

8/18/2019 Intro TR 2010

2/19

   

     

     

   

     

 

 

8/18/2019 Intro TR 2010

3/19

     

           

   

   

   

           

   

   

 

8/18/2019 Intro TR 2010

4/19

   

 

         

   

 

8/18/2019 Intro TR 2010

5/19

     

 

8/18/2019 Intro TR 2010

6/19

   

               

         

     (m,k)      m      k    

   

   

   

   

        

           

           

         

             

 

8/18/2019 Intro TR 2010

7/19

     

t

t

t

ressource (CPU ou réseau) utilisée

BV 

réseau

CM

changement de vitesse

couple moteureffectivement réduit

τG

τL

τP

ΙR 

ΨR 

τreaction

τt

τe   δpropa

τα

p_msgr 

p_repr 

τp_msg

τp_rep

     

   

 

8/18/2019 Intro TR 2010

8/19

 

Cahier des Charges(fonctionnalités et contraintes)

Architecture Matérielle Architecture Logicielle

Architecture Fonctionnelle

Architecture Opérationnelle

Evaluation de Performances

Contraintes

respectées ?

Remise encause de

choix deconception

Placement et Configuration

Architecture Validée

oui

non

− Modèles analytiques

− Modèles de simulation

− Prototypes, maquettes

− Approches hybrides

           

       

 

8/18/2019 Intro TR 2010

9/19

   

 

           

           

       

       

       

 

           

           

       

     

 

8/18/2019 Intro TR 2010

10/19

   

 

           

           

       

       

 

             

   

   

             

 

 

8/18/2019 Intro TR 2010

11/19

   

     

   

   

   

     

   

   

   

     

           

                 

             

   

 

8/18/2019 Intro TR 2010

12/19

   

           

     

  τ k,n      ni   me

   

τ k    

    Ak,n    0 Ak,1, . . . Ak,n−1 Ak,n  

    T k,ndef =   Ak,n+1  − Ak,n    

T k,n  = T k   ∀n  ∈ N 

    Dk,n      Ak,n      Dk,n      Dk,ndef =

Ak,n + Dk,n      C k,n  

     

   

 

 

8/18/2019 Intro TR 2010

13/19

     

     

   

       (C tortue = 200,D = 220, A = 0)        (C tortue = 10, D = 15, A = 2)

   

       

         

 

8/18/2019 Intro TR 2010

14/19

     

     

   

 

 

 

 

 

 

   

 

   

 

 

8/18/2019 Intro TR 2010

15/19

     

     

 

C iT i  1      T i    

   C i      τ i  

 

 

   

 

 

 

   

Dk = T k      

 

   

 

 

8/18/2019 Intro TR 2010

16/19

 

     

     

   

   

 

 

   

 

 

   

 

 

 

 

8/18/2019 Intro TR 2010

17/19

Ordonnancement : la politique Earliest Deadline First (EDF)

Principe :  “plus petite l’échéance, plus grande la priorité”Propriétés :  optimalité vis-à-vis de la contrainte d’échéance pour l’ordonnancement

mono-processeur préemptif

Exercice :   décider de la faisabilité des deux tâches périodiques   τ1   (C 1 =   2, T 1  =5,  D1 =  5,  A1,1 =  0) et  τ2 (C 2 =  4, T 2 =  7,  D2 =  7,  A2,1 =  0) sous la politique EDF.

0

τ2

τ1

10   20 30   40   50

Introduction aux systèmes temps réel, ENSEM 16

8/18/2019 Intro TR 2010

18/19

Ordonnancement : autres politiques de base

Fixed-Priority Preemptive (FPP) :   toutes les instances d’une tâche possèdent lamême priorité (=EDF). Allocation des priorités : Rate-Monotic (+petite la période,+grande la prio), Deadline Monotonic ou selon l’importance de la tâche.

Round-Robin :  chaque tâche possède le CPU pendant un quantum de temps puis

la tâche suivante prend la main

Ψk ,n   τ2,n

τ5,n

τ4,n

τ6,n

τ3,n

τ7,n   τ1,n

Moins utilisées : Shortest Remaining Time First (optimale vis-à-vis du temps de

réponse moyen), First-In First-Out (FIFO), Last-In First-Out (LIFO), ...

Introduction aux systèmes temps réel, ENSEM 17

8/18/2019 Intro TR 2010

19/19

   

   

   

   

 

   

   

 

   

   

   

 

   

 

10−9