Introduction aux systèmes temps réel Ce cours sadresse aux informaticiens novices en matière de temps réel.

Présentation au sujet: "Introduction aux systèmes temps réel Ce cours sadresse aux informaticiens novices en matière de temps réel."— Transcription de la présentation:

1 Introduction aux systèmes temps réel Ce cours sadresse aux informaticiens novices en matière de temps réel.

2 Objectif Il a pour objectif de leur expliquer ce quest le temps réel et quels sont les mécanismes fondamentaux à mettre en œuvre dans un système d exploitation pour supporter des applications temps réel. Il a pour objectif de leur expliquer ce quest le temps réel et quels sont les mécanismes fondamentaux à mettre en œuvre dans un système d exploitation pour supporter des applications temps réel.

3 Plan 1. Introduction Introduction 2. Des systèmes classiques aux systèmes temps réel : Vers une meilleure maîtrise du temps Des systèmes classiques aux systèmes temps réel : Vers une meilleure maîtrise du temps Des systèmes classiques aux systèmes temps réel : Vers une meilleure maîtrise du temps 3. Les systèmes temps réel Les systèmes temps réel Les systèmes temps réel 4. La norme Posix 1003.c.

4 Introduction Système multimédia Système multimédia Introduction au multimédia Introduction au multimédia Ordonnancement de processus multimédia Ordonnancement de processus multimédia

5 Les systèmes classiques Services d un système élémentaire Services d un système élémentaire Services multitâches Services multitâches Gestion du processeur Gestion du processeur Gestion des interruptions et multitâches Gestion des interruptions et multitâches Partage des ressources et exclusion mutuelle Partage des ressources et exclusion mutuelle

6 Les systèmes temps réel Ordonnancement Ordonnancement Obtention des tests de faisabilité entre processus Obtention des tests de faisabilité entre processus Analyse de l interaction entre processus Analyse de l interaction entre processus Inclusion de processus apériodiques Inclusion de processus apériodiques

7 La norme Posix 1003.c. Les threads Les threads Les signaux Les signaux

8 Non traités Aspects parallélisme Aspects parallélisme Méthodologie de conception (UML-RT …) Méthodologie de conception (UML-RT …) Aspects langage Aspects langage Méthodologie de validation Méthodologie de validation (méthodes formelles-model checking)

9 Références bibliographiques F. Cottet & all, Ordonnancement temps- réel, cours et excercices corrigés, Hermes F. Cottet & all, Ordonnancement temps- réel, cours et excercices corrigés, Hermes J. Liu, Real-Time Systems. Kluwer academic publishers J. Liu, Real-Time Systems. Kluwer academic publishers