Introduction aux Systèmes Temps Réel

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Introduction aux Systèmes Temps Réel"

Transcription

1 Introduction aux Systèmes Temps Réel Nicolas NAVET 2010/ Introduction aux systèmes temps réel

2 Plan du cours 1. Systèmes temps réel : exemples et fondamentaux 2. Conception des applications temps réel : quelles techniques pour vérier le respect des contraintes? 3. Ordonnancement : choix de la bonne séquence d'exécution des activités du système.. Introduction aux systèmes temps réel 1

3 Systèmes temps réel : introduction Systèmes temps réel : correction logique et temporelle des résultats Contraintes temporelles sont issues de la dynamique du processus contrôlé Le plus souvent, les systèmes temps réel sont dire, physiquement liés au processus contrôlé embarqués, c'est à Ordonnancer c'est déterminer un ordre sur les activités d'un système Introduction aux systèmes temps réel 2

4 Systèmes embarqués temps réel : exemples Impact dans la société : le marché des systèmes embarqués architectures clients / serveurs + PC Chaque jour, on utilise environ 80 processeurs de manière transparente Introduction aux systèmes temps réel 3

5 X-by-Wire dans l'automobile Introduction aux systèmes temps réel 4

6 Typologie des contraintes de temps Contrainte de date au plus tard sur la n d'exécution (ou contrainte d'échéance - deadline) Contrainte de type (m, k) rm : respecter au moins m échéances toutes les k activations Contrainte de précédence entre tâches Minimisation de la gigue sur les ns d'exécution des tâches Maximisation de la fraîcheur des données d'entrée d'un algorithme Maximisation de la cohérence temporelle des données d'entrée d'un algorithme On parle de contraintes de temps : strictes (hard real-time) : non-respect catastrophique souples (soft real-time) : non-respect occasionnel sans conséquence de type best eort : on fait pour le mieux.. Ordonnancement est faisable ssi toutes les contraintes sont respectées Introduction aux systèmes temps réel 5

7 Contraintes de bout-en-bout : un exemple changement de vitesse τ G τ p_msg r p_msg BV τ L t τ α τ t réseau τ P t τ e δ propa τ p_rep r p_rep CM t R Ι R Ψ τ reaction ressource (CPU ou réseau) utilisée couple moteur effectivement réduit Figure 1: Décomposition d'une contrainte de temps entre un changement de vitesse et la réduction du couple moteur associée Introduction aux systèmes temps réel 6

8 Conception d'un système temps réel Cahier des Charges (fonctionnalités et contraintes) Architecture Fonctionnelle Architecture Matérielle Architecture Logicielle Placement et Configuration Remise en cause de choix de conception Architecture Opérationnelle Evaluation de Performances Modèles analytiques Modèles de simulation Prototypes, maquettes Approches hybrides non Contraintes respectées? oui Architecture Validée Dans les systèmes temps réel, la vérication du respect des contraintes (=validation du système) est cruciale... Introduction aux systèmes temps réel 7

9 Observation sur prototypes : Techniques de validation (1/2) + pas d'hypothèse simplicatrice + certaines contraintes ne peuvent être vériées que sur prototype - construction, instrumentation longues et coûteuses - résultats pire-cas sans validité - intervient tard dans le cycle de vie Modèles analytiques : + bien adaptés aux contraintes pire-cas et aux événements rares + validité du modèle vériable - hypothèses simplicatrices fortes - dicultés de modélisation! Introduction aux systèmes temps réel 8

10 Techniques de validation (2/2) Modèles de simulation : + moins d'hypothèses simplicatrices que les modèles analytiques + facilité de modélisation - résultats orientés pire-cas ou événements rares généralement sans validité - validité des modèles Techniques hybrides : couplage de modèles analytiques et de simulation - ex : prol de communication où les couches basses sont modélisées de façon analytique et les couches hautes sont simulées co-simulation hardware / software - ex : on simule l'activation des tâches et on exécute les tâches sur un processeur réel Introduction aux systèmes temps réel 9

11 Classes d'ordonnancement hors-ligne : séquence des exécutions est décidée à la conception puis déroulée pendant l'exécution en-ligne : choix d'ordonnancement sont faits en-ligne, ils utilisent certaines caractéristiques des tâches préemptif (resp. non-préemptif) : une tâche peut être interrompue par une autre + prioritaire non-oisif (resp. oisif) : le processeur est nécessairement utilisé si il y a du travail en attente d'exécution déterministe : le hasard n'intervient pas dans les choix d'ordonnancement Une politique d'ordonnancement est un algorithme qui détermine en-ligne l'activité à exécuter - propriétés requises : décidabilité et implémentabilité Une politique est optimale si elle conduit à un ordonnancement faisable si il en existe un Introduction aux systèmes temps réel 10

12 Modèles de tâches Les tâches sont apériodiques (une seule activation - on parle de jobs) ou, le plus souvent en temps réel, récurrentes Caractéristiques de tâches récurrentes : τ k,n est la n ième instance de la tâche τ k avec A k,n sa date d'arrivée : 0 A k,1,... A k,n 1 A k,n. T k,n def = A k,n+1 A k,n est le temps interarrivée. Pour une tâche périodique T k,n = T k n N. D k,n son échéance, l'échéance relativement à A k,n est D k,n, on a D k,n def = A k,n + D k,n, C k,n son temps d'exécution sur la machine cible - en pratique dicile à évaluer! Modèles d'activation : périodique, sporadique (il existe un temps minimum entre 2 activations de tâches) ou plus complexes : tâches multi-périodiques, tâches à temps d'exécution alternés, tâches MPEG etc... Introduction aux systèmes temps réel 11

13 Le paradoxe du lièvre et de la tortue Le processeur 1 (lièvre) sous FIFO est 10x plus rapide que le processeur 2 sous EDF (tortue) Job A (C tortue = 200, D = 220, A = 0) - Job B (C tortue = 10, D = 15, A = 2) Ordonnancement sur les processeurs Tortue et Lièvre (G. Le Lann) Nécessité de faire les bons choix d'ordonnancement... une analyse d'ordonnançabilité permet d'étudier la faisabilité du système Introduction aux systèmes temps réel 12

14 Analyse d'ordonnançabilité par simulation Principe : simuler le déroulement de l'ordonnancement du système pendant une période du système et vérier que toutes les instances de tâches respectent leur échéance. Avantages : permet de traiter des politiques d'ordonnancement ou des modèles de tâches qui seraient diciles à analyser mathématiquement, requiert peu de connaissances en ordonnancement pour être mise en oeuvre. Inconvénients : non utilisable pour des ensembles de tâches quelconques car la période du système est au minimum un PPCM des périodes des tâches, comme pour tout modèle de simulation se pose la question de la validité / correction du modèle... Introduction aux systèmes temps réel 13

15 Analyse d'ordonnançabilité par test de faisabilité Principe : appliquer une formule (close) qui en fonction des caractéristiques des C tâches décide de la faisabilité. Ex : faisabilité sous EDF ssi i 1 avec T i la période et C i le temps d'exécution de la tâche τ i. Avantages : simplicité de mise en oeuvre, en général le calcul a une complexité faible : souvent le test est basé uniquement sur la charge du système. Inconvénients : n'existe pas pour toutes les politiques, ne couvre pas tous les modèles de tâches : généralement tâches périodiques avec D k = T k, il ne s'agit souvent que de conditions susantes et non de conditions susantes et nécessaires, en cas de non-faisabilité, ne donne pas d'indication sur les tâches qui posent problèmes. T i Introduction aux systèmes temps réel 14

16 Analyse d'ordonnançabilité par calcul de bornes sur les temps de réponse Principe : appliquer une formule de récurrence qui calcule itérativement les dates de n d'exécution sur un morceau de trajectoire. Le morceau de trajectoire a été construit/choisi de façon à contenir les plus grands temps de réponse que la tâche considérée pourra recontrer. Avantages : le calcul de bornes sur les temps de réponse est possible pour la quasi totalité des politiques ayant un intérêt dans le temps réel, des modèles de tâches complexes peuvent être pris en compte, en cas de non-faisabilité, des informations sont disponibles sur les tâches qui posent problème. Inconvénients : calculs parfois complexes algorithmiquement. Introduction aux systèmes temps réel 15

17 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, D 1 = 5, A 1,1 = 0) et τ 2 (C 2 = 4, T 2 = 7, D 2 = 7, A 2,1 = 0) sous la politique EDF. τ 1 τ Introduction aux systèmes temps réel, ENSEM 16

18 Ordonnancement : autres politiques de base Fixed-Priority Preemptive (FPP) : toutes les instances d une tâche possèdent la mê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 τ 7,n τ 1,n τ 6,n Ψ k,n τ2,n τ 5,n τ 3,n τ 4,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

19 Perspectives L'informatique embarquée temps réel prend une place de + en + importante dans notre société De plus en plus de systèmes sont critiques du point de vue sécurité d'où l'importance de la validation... Sous des hypothèses de fonctionnement déterministe du système (pas d'erreurs de transmission, pas d'erreurs logicielles, temps d'exécution connu,...), on sait vérier la faisabilité d'un système temps réel En pratique, des aléas peuvent survenir.. les approches de conception s'orientent vers validation probabiliste des contraintes (ex : distribution des temps de réponse) intégrer les problématiques de sûreté de fonctionnement (ex : abilité, disponibilité,... ) avec pour objectif de se situer sous un certain seuil de risque jugé acceptable (ex : 10 9 défaillance grave par heure de fonctionnement pour l'avionique) Introduction aux systèmes temps réel 19

Problématique de l ordonnancement temps-réel. 1 Module E4 : Systèmes temps-réel Audrey Marchand

Problématique de l ordonnancement temps-réel. 1 Module E4 : Systèmes temps-réel Audrey Marchand Problématique de l ordonnancement temps-réel 1 Plan du cours La notion de tâche temps-réel Le mécanisme d ordonnancement L ordonnancement de tâches périodiques L ordonnancement de tâches apériodiques 2

Plus en détail

Ordonnancement Systèmes Temps-Réels

Ordonnancement Systèmes Temps-Réels Ordonnancement Systèmes Temps-Réels 1 Plan Caractéristiques systèmes temps-réels Systèmes périodiques Systèmes sporadiques Gestion ressources autre que CPU 2 Synchrone / Asynchrone Deux types de systèmes

Plus en détail

La recherche en Ordonnancement Temps-réel

La recherche en Ordonnancement Temps-réel La recherche en Ordonnancement Temps-réel Introduction Damien Masson 1 1 Université Paris-Est, LIGM UMR CNRS 8049, UPEM, ESIEE Paris, ENPC, France Mars 26 D. Masson (damien.masson@esiee.fr) Ordonnancement

Plus en détail

ORDONANCEMENT DANS LES

ORDONANCEMENT DANS LES ORDONANCEMENT DANS LES SYSTÈMES TEMPS RÉEL Asma Benmessaoud Université Mhamed Bougara Boumerdès (UMBB) Email: a_bemessaoud@esi.dz A.Benmessaoud - 2010 / 2011 SOMMAIRE Introduction Notion de tâches L ordonnancement

Plus en détail

Ordonnancement temps réel Pierre-Yves Duval (cppm)

Ordonnancement temps réel Pierre-Yves Duval (cppm) Ordonnancement temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 Problématique Satisfaire les contraintes de temps des transactions temps réel

Plus en détail

Plan. Introduction - Définition - mauvaises interprétations. Classes de systèmes Temps réel. Applications Temps réel embarquées

Plan. Introduction - Définition - mauvaises interprétations. Classes de systèmes Temps réel. Applications Temps réel embarquées Plan Introduction - Définition - mauvaises interprétations Classes de systèmes Temps réel Applications Temps réel embarquées Notions de contrainte de temps Contraintes pour la réalisation d applications

Plus en détail

(Suite chapitre X) (Inverse de la période)

(Suite chapitre X) (Inverse de la période) (Suite chapitre X) 10.6 Ordonnancement RM (Rate-Monotonic : Ordonnancement à taux monotone) 10.6.1 Caractéristiques du RM Le Rate monotonic a été introduit par Liu & Layland en 1973. - Basé sur les priorités

Plus en détail

Ordonnancement Temps Réel

Ordonnancement Temps Réel Introduction Ordonnancement Temps Réel Tâches temps réel soumises à des contraintes de temps, plus ou moins strictes instant de démarrage instant de fin absolus ou relatifs à d'autres tâches le but de

Plus en détail

Ordonnancement. Méthodes de Programmation Système 2003/2004 J. Delacroix 1

Ordonnancement. Méthodes de Programmation Système 2003/2004 J. Delacroix 1 Ordonnancement Méthodes de Programmation Système 2003/2004 J. Delacroix 1 Ordonnancement dans un système multiprocessus Méthodes de Programmation Système 2003/2004 J. Delacroix 2 Mémoire Centrale Système

Plus en détail

Systèmes d Exploitation temps réel. Ordonnancement. Gabriel FREY 2013

Systèmes d Exploitation temps réel. Ordonnancement. Gabriel FREY 2013 Systèmes d Exploitation temps réel 1 2 Plan de l intervention 1. Introduction aux Systèmes Temps Réel 2. Programmation des STR 3. Problématique et objectifs Définitions, classification des ordonnancements

Plus en détail

Real-time systems. Ordonnancement temps-réel. Laure Gonnord. MIF25 - M1 optional course. March-June University of Lyon/ LIP

Real-time systems. Ordonnancement temps-réel. Laure Gonnord. MIF25 - M1 optional course. March-June University of Lyon/ LIP Real-time systems Ordonnancement temps-réel Laure Gonnord University of Lyon/ LIP MIF25 - M1 optional course. March-June 2016 Plan Introduction Ordonnancement dans les systèmes classiques Ordonnancement

Plus en détail

Système d exploitation Ordonnancement

Système d exploitation Ordonnancement Système d exploitation Ordonnancement Licence Informatique Jean-Louis Lanet / Guillaume Bouffard Jean-louis.lanet@unilim.fr Plan Introduction : ordonnancement de processus Algorithmes classiques Systèmes

Plus en détail

Programmation Système : ordonnancement

Programmation Système : ordonnancement Programmation Système : ordonnancement Copyright 2011 tv Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version

Plus en détail

INFO-F-404 : Techniques avancées de systèmes d exploitation

INFO-F-404 : Techniques avancées de systèmes d exploitation Nikita Veshchikov e-mail : nikita.veshchikov@ulb.ac.be téléphone : 02/650.58.56 bureau : 2N8.213 URL : http://student.ulb.ac.be/~nveshchi/ INFO-F-404 : Techniques avancées de systèmes d exploitation Table

Plus en détail

Ordonnancement temps réel Zoubir MAMMERI IRIT - UPS

Ordonnancement temps réel Zoubir MAMMERI IRIT - UPS Ordonnancement temps réel Zoubir MAMMERI IRIT - UPS (SITEF - 19 Octobre 2000) Applications temps réel Correction logique et Correction temporelle Temps : Critère fondamental Top départ Durée Echéance individuelles

Plus en détail

Applications temps réel : Nature des tâches

Applications temps réel : Nature des tâches 3. CONCEPTS ET MODÈLES POUR LE TEMPS RÉEL ASYNCHRONE ORDONNANCEMENT TEMPS RÉEL DES TÂCHES 3.1. MODÈLE CANONIQUE ET CONFIGURATION DE TÂCHES Applications temps réel : Nature des tâches Rythme d'occurrence

Plus en détail

Exercices de Systèmes Temps Réel

Exercices de Systèmes Temps Réel Exercices de Systèmes Temps Réel Giuseppe Lipari October 9, 2015 Contents 1 Analyse d'ordonnançement temps réel 1 1.1 Fixed priority et Hyperplanes.................................. 1 1.1.1 :Solution:.........................................

Plus en détail

Systèmes en temps réel

Systèmes en temps réel Département de génie électrique Professeur : Jean-Marc Beaulieu Systèmes en temps réel Exercices du chapitre 9 Ordonnancement de tâches Numéro 1 (S. Gely, hiver 2001) Supposons les trois (3) tâches périodiques

Plus en détail

Processus Ordonnancement

Processus Ordonnancement Processus Ordonnancement Méthodes de Programmation Système 2001/2002 J. Delacroix 1 Notion de processus Méthodes de Programmation Système 2001/2002 J. Delacroix 2 1 Notion de processus CO RI 103 load imm

Plus en détail

Présentation de l unité IN4R21. PIM-INF4 et IN4R21

Présentation de l unité IN4R21. PIM-INF4 et IN4R21 Présentation de l unité IN4R21 PIM-INF4 et IN4R21 Ordonnancement Temps Réel Damien MASSON http://esiee.fr/~massond/teaching/in4r21 http://esiee.fr/~massond/teaching/pim-inf4 Dernière modification: 27 septembre

Plus en détail

Introduction à l ordonnancement. Module M2101 DUT informatique

Introduction à l ordonnancement. Module M2101 DUT informatique Introduction à l ordonnancement christophe.cerin@iutv.univ-paris13.fr Module M2101 DUT informatique 2014-2015 1 Schedulers (ordonnanceurs) Il a la charge d'ordonnancer les processus (travaux/ jobs) et

Plus en détail

Systèmes d Exploitation II

Systèmes d Exploitation II Systèmes d Exploitation II Ordonnancement Pablo de Oliveira Ordonnancement Systèmes d Exploitation II Pablo de Oliveira 1 / 1 Caractéristiques des Processus Caractéristiques des Processus Ordonnancement

Plus en détail

3.1.2 Période d étude

3.1.2 Période d étude 3.1. INTRODUCTION 3.3 3.1.2 Période d étude Les ordonnancements de ce chapitre son dédiés aux ensembles de tâches périodiques. Le fonctionnement complet du système est donc cyclique. L algorithme d ordonnancement

Plus en détail

INFO-F-404 : Techniques avancées de systèmes d exploitation

INFO-F-404 : Techniques avancées de systèmes d exploitation Nikita Veshchikov e-mail : nikita.veshchikov@ulb.ac.be téléphone : 02/650.58.56 bureau : 2N8.213 URL : http://student.ulb.ac.be/~nveshchi/ INFO-F-404 : Techniques avancées de systèmes d exploitation Table

Plus en détail

Ordonnancement de processus

Ordonnancement de processus Systèmes d'exploitation Ordonnancement de processus Version 1 Y. CHALLAL, H. BETTAHAR, M. VAYSSADE Paternité - Pas d'utilisation Commerciale : http://creativecommons.org/licenses/by-nc/2.0/fr/ Table des

Plus en détail

C01: Traitement concourant et ordonnancement

C01: Traitement concourant et ordonnancement C01: Traitement concourant et ordonnancement traitement concourant processus: types, états ordonnancement et ordonnanceur SO préemptive contraintes temporelles contraintes binaires mesures de performance:

Plus en détail

Ordonnancement Temps Réel. F. Touchard Introduction aux systèmes Temps Réels Ordonnancement 1

Ordonnancement Temps Réel. F. Touchard Introduction aux systèmes Temps Réels Ordonnancement 1 Ordonnancement Temps Réel F. Touchard Introduction aux systèmes Temps Réels Ordonnancement 1 Introduction Tâches temps réel soumises à des contraintes de temps, plus ou moins strictes instant de démarrage

Plus en détail

ORDONNANCEMENT DANS LES

ORDONNANCEMENT DANS LES ORDONNANCEMENT DANS LES SYSTÈMES TEMPS RÉEL (2) Asma Benmessaoud Université M hamed Bouguera Boumerdes (UMBB) Email : a_bemessaoud@esi.dz SOMMAIRE Notion de dépendance 1. Partage de ressources 2. Contraintes

Plus en détail

SEA. Ordonnancement Temps-Réel. Pablo de Oliveira. Ordonnancement Temps-Réel SEA Pablo de Oliveira 1 / 44

SEA. Ordonnancement Temps-Réel. Pablo de Oliveira. Ordonnancement Temps-Réel SEA Pablo de Oliveira 1 / 44 SEA Ordonnancement Temps-Réel Pablo de Oliveira Ordonnancement Temps-Réel SEA Pablo de Oliveira 1 / 44 Introduction Introduction Ordonnancement Temps-Réel SEA Pablo de Oliveira 2 / 44 Introduction Plan

Plus en détail

Systèmes temps réel et Ordonnancement - B. Sadeg. Université du Havre - UFR ST - LITIS - Équipe STI

Systèmes temps réel et Ordonnancement - B. Sadeg. Université du Havre - UFR ST - LITIS - Équipe STI LITIS-Université du Havre UFR des Sciences et Techniques 25 rue Philippe Lebon - BP 540 76058 LE HAVRE CEDEX bruno.sadeg@univ-lehavre.fr - page 2/71 SOMMAIRE 1 Généralités 2 - page 3/71 Introduction Maîtrise

Plus en détail

12/11/2015. Chapitre 4: Introduction à l ordonnancement. IV.1. Notions d ordonnancement (1) IV.1. Notions d ordonnancement (2)

12/11/2015. Chapitre 4: Introduction à l ordonnancement. IV.1. Notions d ordonnancement (1) IV.1. Notions d ordonnancement (2) Chapitre 4: Introduction à l ordonnancement 4.1. Notions d ordonnancement 4.2. Définitions 4.3. Modélisation 4.4. Méthodes de résolution 4.5. Problèmes types IV.1. Notions d ordonnancement (1) Ordonnancer

Plus en détail

Ordonnancement. compromis : la pré-emption sélective. Elle consiste à assigner à chaque processus p une paire de bits (u p, v p ) :

Ordonnancement. compromis : la pré-emption sélective. Elle consiste à assigner à chaque processus p une paire de bits (u p, v p ) : Ordonnancement Introduction Un ordonnanceur ( scheduler) comporte deux parties : ordonnanceur de haut niveau (Long Term Scheduling): politique de décision, affectation de priorité ordonnanceur de bas niveau

Plus en détail

C i D i. périodiques est

C i D i. périodiques est Ordonnancement 1. Ordonnancement de tâches apériodiques dans une configuration de tâches périodiques On considère une configuration comprenant 3 tâches périodiques : Tp 1 : (r =, C = 5, D = 25, P = 3)

Plus en détail

Robotique et temps-réel

Robotique et temps-réel Robotique et temps-réel Robotique et Systèmes Embarqués Samuel Tardieu samuel.tardieu@enst.fr École Nationale Supérieure des Télécommunications Institut de la Francophonie pour l Informatique ROSE/TempsReel

Plus en détail

Systèmes temps réel. Fabien Calcado. Sommaire. Qu est ce que le temps-réel? Qu est ce que le temps-réel?

Systèmes temps réel. Fabien Calcado.   Sommaire. Qu est ce que le temps-réel? Qu est ce que le temps-réel? Sommaire Systèmes temps réel Fabien Calcado Email: fabien.calcado@gmail.com Qu est ce que le temps réel? s Principe d interruption Gestion des interruptions sous UNIX Caractéristiques des tâches dans les

Plus en détail

Systèmes Temps Réel. Semestre 2. Responsable Pédagogique : Jackson FRANCOMME Volumes horaires. CM TD TP Projet Evaluation / 2

Systèmes Temps Réel. Semestre 2. Responsable Pédagogique : Jackson FRANCOMME Volumes horaires. CM TD TP Projet Evaluation / 2 Systèmes Temps Réel ING4 Semestre 2 Responsable Pédagogique : Jackson FRANCOMME Volumes horaires SE Equipe d enseignants : Sandrine MERCIER Franck BIMBARD CM TD TP Projet Evaluation 18 20 36 / 2 Langue

Plus en détail

Chapitre III : La gestion du processeur Mécanismes d ordonnancement

Chapitre III : La gestion du processeur Mécanismes d ordonnancement Chapitre III : La gestion du processeur Mécanismes d ordonnancement Eric.Leclercq@u-bourgogne.fr Département IEM http://ufrsciencestech.u-bourgogne.fr http://ludique.u-bourgogne.fr/~leclercq Janvier 2013

Plus en détail

Systèmes temps-réel embarqués

Systèmes temps-réel embarqués Systèmes temps-réel embarqués Brique ROSE Samuel Tardieu sam@rfc1149.net École Nationale Supérieure des Télécommunications Samuel Tardieu (ENST) Systèmes temps-réel embarqués 1 / 31 Problématique Certains

Plus en détail

Exercice Ordonnancement

Exercice Ordonnancement Systèmes d Exploitation I Chapitre III : Exercice Ordonnancement Amine DHRAIEF ESEN, Univ. Manouba Exercice I On considère les cinq exécutions de processus suivants (la durée est exprimée en seconde) :

Plus en détail

Ordonnancement. Univ. Claude Bernard Lyon 1. Fabien Rico (Univ. Claude Bernard Lyon 1) Ordonnancement séance 6 1 / 33

Ordonnancement. Univ. Claude Bernard Lyon 1. Fabien Rico (Univ. Claude Bernard Lyon 1) Ordonnancement séance 6 1 / 33 Ordonnancement Fabien Rico (Fabien.Rico@univ-lyon1.fr) Nicolas Louvet (Nicolas.Louvet@ens-lyon.fr) Guillaume Bouchard (Guillaume.Bouchard@insa-lyon.fr) Univ. Claude Bernard Lyon 1 séance 6 Fabien Rico

Plus en détail

Systèmes d Exploitation temps réel. Introduction aux STR. Gabriel FREY 2013

Systèmes d Exploitation temps réel. Introduction aux STR. Gabriel FREY 2013 Systèmes d Exploitation temps réel 1 2 Plan de l intervention 1. Introduction aux Systèmes Temps Réel Définition & catégories Notions importantes Exécutif temps réel Les STR dans les systèmes embarqués

Plus en détail

Ordonnancement sous contrainte d énergie

Ordonnancement sous contrainte d énergie Ordonnancement sous contrainte d énergie Nicolas NAVET INRIA projet TRIO http://www.loria.fr/~nnavet Certains exemples et représentations proviennent de : - «Voltage Scheduling Problem for Dynamically

Plus en détail

Architecture logicielle pour le contrôle-commande. Informatique Industrielle 1

Architecture logicielle pour le contrôle-commande. Informatique Industrielle 1 Architecture logicielle pour le contrôle-commande Informatique Industrielle 1 Systèmes informatiques Opérateur hiérarchie IHM Fonctions/Traitement Entrées Système informatique Sorties Interface entrées/sorties

Plus en détail

Systèmes d Exploitation - ENSIN6U3. Aix-Marseille Université

Systèmes d Exploitation - ENSIN6U3. Aix-Marseille Université Systèmes d Exploitation - ENSIN6U3 Ordonnancement Leonardo Brenner 1 Jean-Luc Massat 2 1 Leonardo.Brenner@univ-amu.fr 2 Jean-Luc.Massat@univ-amu.fr Aix-Marseille Université Faculté des Sciences Table de

Plus en détail

Ordonnancement temps réel multiprocesseur et réparti

Ordonnancement temps réel multiprocesseur et réparti Ordonnancement temps réel multiprocesseur et réparti F. Singhoff 11 novembre 2015 Exercice 1 : ordonnancement global vs partitionné Un ingénieur souhaite tester une configuration de 5 tâches définies par

Plus en détail

Informatique Temps Réel - Résumé Janvier 2010.

Informatique Temps Réel - Résumé Janvier 2010. Informatique Temps Réel - Résumé Janvier 2010. Dubuc Xavier 6 janvier 2010 Table des matières 1 Chapitre 1 2 1.1 Definitions............................................. 2 1.2 Fonctionnement..........................................

Plus en détail

Plan. Manuel 3 Ordonnancement dynamique

Plan. Manuel 3 Ordonnancement dynamique CHAPITRE 3 ORDONNANCEMENT DYNAMIQUE Plan CONTEXTE DE L'ORDONNANCEMENT DYNAMIQUE PARTAGE DES UNITÉS CENTRALES ENTRE LES PROCESSUS États et transitions d'états Allocation des unités centrales aux processus

Plus en détail

ED 3 Gestion du processeur

ED 3 Gestion du processeur ED 3 Gestion du processeur Exercice 1 : Politiques d ordonnancement des processus Exemple de Linux Il existe trois politiques d ordonnancement dans le système Linux : la première est utilisée pour ordonnancer

Plus en détail

Systèmes d Exploitation Ordonnancement des processus

Systèmes d Exploitation Ordonnancement des processus Systèmes d Exploitation Ordonnancement des processus Didier Verna didier@lrde.epita.fr http://www.lrde.epita.fr/ didier Version 2@1.5 7 décembre 2004 Table des matières Table des matières Généralités...

Plus en détail

TD 1 Ordonnancement. F. Touchard Polytech Marseille IRM4 SICA TD Ordonnancement temps réel 1

TD 1 Ordonnancement. F. Touchard Polytech Marseille IRM4 SICA TD Ordonnancement temps réel 1 TD 1 Ordonnancement F. Touchard Polytech Marseille IRM4 SICA 212-13 TD Ordonnancement temps réel 1 Ordonnancement EDF On considère 3 tâches périodiques : Tp 1 : (r =, C = 5, D = 25, P = 3) Tp 2 : (r =,

Plus en détail

Les systèmes d exploitation

Les systèmes d exploitation Les systèmes d exploitation Meriam Garsaa garsaa.meriam@gmail.com 1 Références A. Silberschatz et al.: "Operating Systems Concepts", 8 th edition, Wiley Andrew Tanenbaum: "Systèmes d'exploitation", 3ème

Plus en détail

ELE-542 Systèmes ordinés en temps réels. Cours # 6 Noyau Temps Réel

ELE-542 Systèmes ordinés en temps réels. Cours # 6 Noyau Temps Réel ELE-542 Systèmes ordinés en temps réels Cours # 6 Noyau Temps Réel Jean-Marc Beaulieu et Bruno De Kelper Site internet: http://www.ele.etsmtl.ca/academique/ele542/ Systèmes ordinés en temps réel Cours

Plus en détail

Politiques d ordonnancement

Politiques d ordonnancement Disciplines d'ordonnancement élémentaire Politiques d ordonnancement (UI 96 chap 5 ; OSC 03 chap 6 et 14.2) On a plusieurs exemples d'ous (Organes à Usage Séquentiel) qui peuvent être alloués à un et un

Plus en détail

SYSTÈME D EXPLOITATION

SYSTÈME D EXPLOITATION SYSTÈME D EXPLOITATION Ordinateur: Sans le logiciel (software), machine sans utilité Deux types de logiciels: 1. Programmes systèmes (system programs): gèrent le fonctionnement de l ordinateur 2. Programmes

Plus en détail

Méthodes parallèles hybrides (CPU-GPU) pour la résolution du problème d ordonnancement Job Shop avec blocage.

Méthodes parallèles hybrides (CPU-GPU) pour la résolution du problème d ordonnancement Job Shop avec blocage. Méthodes parallèles hybrides (CPU-GPU) pour la résolution du problème d ordonnancement Job Shop avec blocage. DABAH Adel CAPA/DTISI Dr. Bendjoudi Ahcène (CERIST) et Dr. Ait Zai Abdelhakim (USTHB) Plan

Plus en détail

Ordonnancement temps réel monoprocesseur

Ordonnancement temps réel monoprocesseur Chapitre 1 Ordonnancement temps réel monoprocesseur 1.1. Définitions générales Les systèmes informatiques temps réel (ou systèmes de Contrôle-Commande) se décomposent en un exécutif temps réel et un programme

Plus en détail

GÉNIE LOGICIEL (SOFTWARE ENGINEERING)

GÉNIE LOGICIEL (SOFTWARE ENGINEERING) GÉNIE LOGICIEL (SOFTWARE ENGINEERING) 2ÈME PARTIE PROCESSUS DE DEVELOPPEMENT DU LOGICIEL (SOFTWARE PROCESS) Faculté des Sciences et Techniques http://perso.univ-st-etienne.fr/jacquene/gl/ Francois.Jacquenet@univ-st-etienne.fr

Plus en détail

Introduction à l informatique temps réel SYSTEMES TEMPS REEL

Introduction à l informatique temps réel SYSTEMES TEMPS REEL Introduction à l informatique temps réel SYSTEMES TEMPS REEL Types de systèmes informatiques Systèmes transformationnels (calcul scientifique, SGBD) les données sont disponibles au lancement les instants

Plus en détail

Intégration des événements non périodiques dans les systèmes temps réel

Intégration des événements non périodiques dans les systèmes temps réel Intégration des événements non périodiques dans les systèmes temps réel Application à la gestion des événements dans la spécification temps réel pour Java Damien Masson Encadré par Serge Midonnet et sous

Plus en détail

Introduction aux Systèmes et Logiciels Embarqués

Introduction aux Systèmes et Logiciels Embarqués Introduction aux Systèmes et Logiciels Embarqués Présentation: Stéphane Lavirotte Auteurs: et al* (*) Cours réalisé grâce aux documents de : Christophe Blaess, Loïc Cuvillon, Pierre Ficheux, Stéphane Lavirotte,

Plus en détail

Processus Ordonnancement. AMSI 1999/2000 Joëlle Delacroix 1

Processus Ordonnancement. AMSI 1999/2000 Joëlle Delacroix 1 Processus Ordonnancement AMSI 1999/2000 Joëlle Delacroix 1 Notion de processus AMSI 1999/2000 Joëlle Delacroix 2 Du programme au processus Editeur de texte prog.c source Compilateur cc -c prog.c prog.o

Plus en détail

NFP Système d exploitation

NFP Système d exploitation NFP 136 - Système d exploitation Amélie Lambert 2015-2016 Amélie Lambert 2015-2016 1 / 56 Plan du cours 1 Système d exploitation : rôle et services 2 Les appels système et les commandes 3 La chaîne de

Plus en détail

Introduction aux systèmes d exploitation

Introduction aux systèmes d exploitation Introduction aux systèmes Partie 1: Introduction Jalil BOUKHOBZA UBO / Lab-STICC Email : boukhobza@univ-brest.fr Partie 1 : Introduction 1 PLAN DU COURS 1. Introduction aux systèmes 2. Les processus 1.

Plus en détail

Introduction aux systèmes d exploitation

Introduction aux systèmes d exploitation Introduction aux systèmes Partie 1: Introduction Jalil BOUKHOBZA UBO / Lab-STICC Email : boukhobza@univ-brest.fr Partie 1 : Introduction 1 PLAN DU COURS 1. Introduction aux systèmes 2. Les processus 1.

Plus en détail

Optimisation de performance pour des systèmes temps réel stricts à priorité fixe

Optimisation de performance pour des systèmes temps réel stricts à priorité fixe RECHERCHE Optimisation de performance pour des systèmes temps réel stricts à priorité fixe Joël Goossens * Pascal Richard ** * Université Libre de Bruxelles CP 212 50, avenue Franklin D. Roosevelt B-1050

Plus en détail

Chapitre 3. Ordonnancement de tâches temps réel et standard Posix

Chapitre 3. Ordonnancement de tâches temps réel et standard Posix Chapitre 3 Ordonnancement de tâches temps réel et standard Posix 93 1. Introduction à la problématique d ordonnancement Concepts et définitions T 2 T3 Document de conception R 1 T 1 T 4 R 2 T 6 T 5 Ensemble

Plus en détail

Comment bien architecturer une application temps réel et FPGA

Comment bien architecturer une application temps réel et FPGA Comment bien architecturer une application temps réel et FPGA Éric MAUSSION National Instruments, Chef d Équipe Ingénieur d applications Sommaire Besoins en temps réel et FPGA Travailler sans Interface

Plus en détail

FONCTION D EXECUTION La gestion des exécution de programmes

FONCTION D EXECUTION La gestion des exécution de programmes FONCTION D EXECUTION La gestion des exécution de programmes La gestion des exécutions de programmes : processus et ordonnancement notion de processus ordonnancement NFA003-2012-2013 1 FONCTION D EXECUTION

Plus en détail

Ordonnancement statique Spécification et vérification temps réel

Ordonnancement statique Spécification et vérification temps réel Ordonnancement statique Spécification et vérification temps réel H. Mounier 0-0 MOTIVATIONS Obtenir des schémas d ordonnancement de tâches qui respectent les délais de cohérence Vérifier la cohérence temporelle

Plus en détail

UNIVERSITE SAAD DAHLAB DE BLIDA

UNIVERSITE SAAD DAHLAB DE BLIDA Chapitre 6 : Le flow shop déterministe. Introduction Dans un atelier, un ensemble de machines est dit constituant un «flow-shop» si elles sont disposées en série ou numérotées de tel façon que, pour chaque

Plus en détail

Introduction aux systèmes d'exploitation multiprogrammés

Introduction aux systèmes d'exploitation multiprogrammés Introduction aux systèmes d'exploitation multiprogrammés Principes de base, processus et ordonnancement Licence pro ACSID 2006-2007 J. Delacroix 1 Structure générale de l ordinateur Horloge Processeur

Plus en détail

L ordonnancement, la clé d une gestion efficace des ressources

L ordonnancement, la clé d une gestion efficace des ressources L ordonnancement, la clé d une gestion efficace des ressources Nicolas Navet Jean-Pierre Thomesse Equipe TRIO laboratoire LORIA à Nancy Ordonnancer c est définir un ordre sur l exécution des différentes

Plus en détail

Interbloquages. Didier Verna

Interbloquages. Didier Verna 1/26 Interbloquages didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/26 Problématique Extrait de la législature du Kansas (1900) «Quand deux trains approcheront du croisement, les deux devront s

Plus en détail

Examen de systèmes d exploitation 1 (Documentation non autorisée)

Examen de systèmes d exploitation 1 (Documentation non autorisée) Université A. Mira Bejaia Juin 2012 Faculté des Sciences Exactes Durée 2h00 Département d Informatique Année d étude: 2eme Année Licence en Informatique Examen de systèmes d exploitation 1 (Documentation

Plus en détail

GIPAD GS2 Recherche Opérationnelle Correction devoir final APP2

GIPAD GS2 Recherche Opérationnelle Correction devoir final APP2 GIPAD GS2 Recherche Opérationnelle Correction devoir final APP2 2 décembre 2009 1 Modèles de packing Problème 1 Une grille de calcul est composée d ordinateurs interconnectés sur lesquelles peuvent s exécuter

Plus en détail

Ordonnancement temps réel pour l optimisation de la Qualité de Service dans les systèmes autonomes en

Ordonnancement temps réel pour l optimisation de la Qualité de Service dans les systèmes autonomes en Ordonnancement temps réel pour l optimisation de la Qualité de Service dans les systèmes autonomes en énergie Maissa Abdallah To cite this version: Maissa Abdallah. Ordonnancement temps réel pour l optimisation

Plus en détail

Systèmes temps réel et Ordonnancement - B. Sadeg. Université du Havre - UFR ST - LITIS - Équipe STI

Systèmes temps réel et Ordonnancement - B. Sadeg. Université du Havre - UFR ST - LITIS - Équipe STI LITIS-Université du Havre UFR des Sciences et Techniques 25 rue Philippe Lebon - BP 540 76058 LE HAVRE CEDEX bruno.sadeg@univ-lehavre.fr - page 2/119 SOMMAIRE 1 Historique 2 3 4 5 - page 3/119 Introduction

Plus en détail

Ordonnancement temps réel robuste pour les systèmes embarqués

Ordonnancement temps réel robuste pour les systèmes embarqués Ordonnancement temps réel robuste pour les systèmes embarqués INRIA Rocquencourt - Aoste Laurent George - Yves Sorel lgeorge@ieee.org yves.sorel@inria.fr Digiworlds 12 septembre 2012 Sommaire Concepts

Plus en détail

Informatique temps-réel Chapitre 1: introduction au temps-réel

Informatique temps-réel Chapitre 1: introduction au temps-réel Informatique temps-réel Chapitre 1: introduction au temps-réel Prof. Pierre Manneback Service d Informatique FACULTE POLYTECHNIQUE DE MONS Pierre.Manneback@fpms.ac.be Informatique Temps-Réel 1.1 Source

Plus en détail

Processus / Threads Ordonnancement

Processus / Threads Ordonnancement Processus / Threads Ordonnancement 1 Plan Concept de thread Etats d'une thread Ordonnancement Inversion de priorité 2 Rappel Notion Processus Entité dynamique Contexte d'exécution d'un programme séquentiel

Plus en détail

Système d exploitation

Système d exploitation Université IBN KHALDOUN TIARET- Faculté Des Mathématiques et de l informatique Département d informatique, -2016/2017- Système d exploitation Cours 1 Introduction aux systèmes d exploitation 1 À propos

Plus en détail

Introduction aux problèmes d ordonnancement

Introduction aux problèmes d ordonnancement Introduction aux d ordonnancement 28 novembre 2005 1 de 117 Introduction aux d ordonnancement Mohamed Ali ALOULOU LAMSADE Université Paris Dauphine E-mail : aloulou@lamsade.dauphine.fr 28 novembre 2005

Plus en détail

Université de Bretagne Occidentale Année universitaire Maîtrise d Informatique

Université de Bretagne Occidentale Année universitaire Maîtrise d Informatique Université de Bretagne Occidentale Année universitaire 2001-2002 Maîtrise d Informatique Module TER LES PROTOCOLES D'INVERSION DE PRIORITE Patrick Elard Université de Bretagne Occidentale Année universitaire

Plus en détail

Ordonnancement de la CPU. Abdelouahed Gherbi Hiver 2014

Ordonnancement de la CPU. Abdelouahed Gherbi Hiver 2014 Ordonnancement de la CPU Abdelouahed Gherbi Hiver 2014 1 Plan Concepts de base Cycle CPU Cycle E/S Ordonnanceur de CPU Ordonnancement préemptif (avec réquisition) Critères d ordonnancement Algorithmes

Plus en détail

Performances des systèmes de commande industriels. Notion de contrainte temps réel Systèmes programmés

Performances des systèmes de commande industriels. Notion de contrainte temps réel Systèmes programmés Bus de terrain Performances des systèmes de commande industriels 1 Thèmes abordés Notion de contrainte temps réel Systèmes programmés Difficulté à garantir un temps de réponse constant. 2 1 Systèmes de

Plus en détail

Ordonnancement temps réel

Ordonnancement temps réel Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches

Plus en détail

Montpellier

Montpellier Système d exploitation Montpellier 2013-2014 Notion de système d exploitation Syst Exploit. Il est nécessaire d ajouter des applications pour faciliter la machine physique Notion de système d exploitation

Plus en détail

PAUL SABATIER U.F.R. MATHÉMATIQUES INFORMATIQUE GESTION THESE. en vue de l'obtention du

PAUL SABATIER U.F.R. MATHÉMATIQUES INFORMATIQUE GESTION THESE. en vue de l'obtention du UNIVERSITÉ DE TOULOUSE III PAUL SABATIER U.F.R. MATHÉMATIQUES INFORMATIQUE GESTION THESE en vue de l'obtention du DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE délivré par l'université Toulouse III Paul Sabatier

Plus en détail

Série 2 d exercices. La correction : B1 B2 B3 B4 B5 B6 E : ( 1, 1, 1, 1, 1, 1 ) A : ( 0, 1, 0, 0, 0, 0 )

Série 2 d exercices. La correction : B1 B2 B3 B4 B5 B6 E : ( 1, 1, 1, 1, 1, 1 ) A : ( 0, 1, 0, 0, 0, 0 ) 1 Série 2 d exercices Exercice 1 : On considère quatre processus P1 P2 P3 P4 qui partagent un même fichier. Ce fichier est composé de 6 blocs de données notés B1, B2, B3, B4, B5 et B6. L exécution de chacun

Plus en détail

BTS : Service Informatique aux Organisations (Programme SISR)

BTS : Service Informatique aux Organisations (Programme SISR) BTS : Service Informatique aux Organisations (Programme SISR) 1 TRONC COMMUN SOLUTIONS INFORMATIQUES - Support système des accès utilisateurs Solutions techniques d accès et systèmes d'exploitation Composants

Plus en détail

ARCHITECTURE des SYSTEMES INFORMATIQUES

ARCHITECTURE des SYSTEMES INFORMATIQUES ARCHITECTURE des SYSTEMES INFORMATIQUES 1 Cours B4 Ordonnancement Architecture des Systèmes 2 Historique Architecture d'un Ordinateur / d'un processeur Objectif et rôle d'un Système d'exploitation Notions

Plus en détail

Partie 6 : Ordonnancement de processus

Partie 6 : Ordonnancement de processus INF3600+INF2610 Automne 2006 Partie 6 : Ordonnancement de processus Exercice 1 : Considérez un système d exploitation qui ordonnance les processus selon l algorithme du tourniquet. La file des processus

Plus en détail

Noyau d'un système d'exploitation INF2610. Chapitre 9 : Ordonnancement de processus

Noyau d'un système d'exploitation INF2610. Chapitre 9 : Ordonnancement de processus INF2610 Chapitre 9 : Ordonnancement de processus Département de génie informatique et génie logiciel Hiver 2014 Chapitre 9 - Ordonnancement de processus Introduction Niveaux et objectifs d ordonnancement

Plus en détail

THESE. DOCTEUR DE L'ECOLE NATIONALE SUPERIEURE DE MECANIQUE ET D'AEROTECHNIQUE (Diplôme National Arrêté du 7 août 2006) Présenté par : François DORIN

THESE. DOCTEUR DE L'ECOLE NATIONALE SUPERIEURE DE MECANIQUE ET D'AEROTECHNIQUE (Diplôme National Arrêté du 7 août 2006) Présenté par : François DORIN THESE pour l'obtention du Grade de DOCTEUR DE L'ECOLE NATIONALE SUPERIEURE DE MECANIQUE ET D'AEROTECHNIQUE (Diplôme National Arrêté du 7 août 2006) Ecole Doctorale : Sciences et Ingénierie pour l'information

Plus en détail

Simulation et évaluation d algorithmes. Ordonnancement temps-réel. sous des contraintes de QoS

Simulation et évaluation d algorithmes. Ordonnancement temps-réel. sous des contraintes de QoS LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE Simulation et évaluation d algorithmes d ordonnancement temps-réel sous des contraintes de QoS Audrey MARCHAND et Maryline SILLY-CHETTO Laboratoire d Informatique

Plus en détail

Exemple d application : Contraintes de précédence et répartition

Exemple d application : Contraintes de précédence et répartition Exemple d application : Contraintes de précédence et répartition T T 3 T 5 T 2 T 4 Station S Station S 3 M2 T T3 T5 M Réseau M3 M : 2 M 2 : 8 M 3 : 4 Station S 2 T2 T4 Paramètres initiaux de tâches Tâche

Plus en détail

Analyse de risques MOSAR

Analyse de risques MOSAR Courrière, 1906 1099 morts Paris, 1895 1 mort Flixborough, 1974 28 morts Tchernobyl, 1986 Analyse de risques MOSAR Laurent PERRIN laurent.perrin@univ-lorraine.fr Roissy, 2000 113 morts St Laurent du Pont,

Plus en détail

SERIE D EXERCICE N 1. (Introduction au Génie Logiciel Modèles de cycle de vie)

SERIE D EXERCICE N 1. (Introduction au Génie Logiciel Modèles de cycle de vie) ENS / Département d Informatique 2014 / 2015 Section : Informatique (4ème Année) Module : Génie Logiciel SERIE D EXERCICE N 1 (Introduction au Génie Logiciel Modèles de cycle de vie) 1. Génie Logiciel

Plus en détail

Groupe de recherche SYSCOM

Groupe de recherche SYSCOM Groupe de recherche SYSCOM SYStèmes COMmunicants M. Krajecki CReSTIC - EA3804 Université de Reims Champagne-Ardenne M. Krajecki (URCA) Groupe de recherche SYSCOM 1 / 28 Thème 1 SYSCOM en quelques mots

Plus en détail

Couche Processus. Philippe Quéinnec. 18 mai 2017

Couche Processus. Philippe Quéinnec. 18 mai 2017 Couche Processus Philippe Quéinnec 18 mai 2017 Définition Implantation Plan 1 Processus élémentaires Définition Implantation 2 2 / 30 Définition Implantation Les trois niveaux d ordonnancement ordonnancement

Plus en détail