SlideShare une entreprise Scribd logo
1  sur  42
Télécharger pour lire hors ligne
STR
Prof.M.K.MANSOURI
1
Professeur :
M. K. MANSOURI
Université Hassan II de Casablanca
ENSET de Mohammedia
Département Mathématiques et Informatique
Partie 1
STR
Prof.M.K.MANSOURI
2
Première partie :
STR
Prof.M.K.MANSOURI
3
Objectifs du cours ?
Systèmes temps réel–Première partie–plan du cours
1. Qu’est ce qu’un système temps réel ?
2. Objectifs et fonctionnalité d’un système temps réel
3. Échelle de temps et temps de réponse
4. Sévérité des contraintes et échelle de temps
5. Expression des contraintes temps réel
6. Exemples de grandeurs
7. Quelques exemples de systèmes temps réel
8. Exemple typique
9. Exercices
10. Système temps réel : Notion d’échéance
11. Catégories de systèmes temps réel
12. Terminologie de fonctionnement d’un Système temps réel
13. Structures générales d’un système temps réel
14. Système temps réel et son environnement
15. Conception d’un système temps réel
16. Exemples généraux et spécifiques de systèmes temps réel
STR
Prof.M.K.MANSOURI
4
Objectifs
 qu’est-ce qu’un système temps réel ?
 comment vérifier a priori le comportement
« ordonnancement »
 comment implémenter le comportement
« les outils de programmation »
STR
Prof.M.K.MANSOURI
5
1.1 Qu’est ce qu’un système temps réel (1) :
STR- 1. Introduction aux systèmes temps réel
Définition :
Systèmes dont la correction ne dépend pas
seulement des valeurs des résultats produits
mais également des
délais dans lesquels les résultats sont produits
•le système doit répondre a des stimuli
externes sous un délai spécifié,
•l’absence de réponse est aussi grave
qu’une réponse erronée, voire plus.
STR
Prof.M.K.MANSOURI
6
1.1 Qu’est ce qu’un système temps réel (2) :
STR- 1. Introduction aux systèmes temps réel
•C’est un système qui interagit avec un environnement externe
qui lui-même évolue avec le temps,
•qui réalise certaines fonctionnalités en relation avec
cet environnement,
•Et qui exploite des ressources limitées.
STR
Prof.M.K.MANSOURI
7
1.1 Qu’est ce qu’un système temps réel (3) :
STR- 1. Introduction aux systèmes temps réel
 système temps réel : qui doit fournir un service
dans un contexte où le temps intervient
 évolution du système (système réactif)
 contraintes de temps (échéances)
 par opposition aux systèmes interactifs ou
transformationnels
 systèmes embarqués :
 autonomes, avec un fort couplage entre le matériel
et le logiciel
 utilisation dans un but très précis
 souvent inclus dans un système plus vaste
 ~ 90% du marché des processeurs
STR
Prof.M.K.MANSOURI
8
1.1 Qu’est ce qu’un système temps réel (4) :
STR- 1. Introduction aux systèmes temps réel
 Non seulement des résultats exacts
 mais aussi fournis dans un temps donné, compatible
avec l'évolution du système :
 dans un système temps réel, un résultat de calcul
mathématiquement exact mais arrivant au-delà
d'une échéance pré-définie est un résultat faux
 l'échelle de temps dépend du système :
 de quelques millisecondes pour un
système de navigation aérienne
 à plusieurs minutes ou heures pour
contrôle d'un réacteur chimique
STR
Prof.M.K.MANSOURI
9
1.2 Objectifs et fonctionnalité d’un système temps réel (1) :
STR- 1. Introduction aux systèmes temps réel
 Exactitude logique (logical correctness) : sorties
adéquates en fonction des entrées, assurant le
comportement désiré pour le système suite à des
événements et aux données communiquées,
 Exactitude temporelle (timeliness) : respect des
contraintes temporelles (ex : échéance). Les sorties sont
présentées au bon moment,
Plusieurs contraintes à vérifier pour qu ’un système temps
réel soit fonctionnel (1) :
 Déterminisme logique : les mêmes entrées appliquées au
système produisent les mêmes résultats,
STR
Prof.M.K.MANSOURI
10
1.2 Objectifs et fonctionnalité d’un système temps réel (2) :
STR- 1. Introduction aux systèmes temps réel
 Fiabilité : le système répond à des contraintes de
disponibilité (fiabilité du logiciel et du matériel).
=> Système prédictible : on cherche à déterminer a priori si
le système va répondre aux exigences temporelles.
Un système temps réel n’est pas un système "qui va vite"
mais un système qui satisfait à des contraintes
temporelles.
Plusieurs contraintes à vérifier pour qu’un système temps
réel soit fonctionnel (2) :
STR
Prof.M.K.MANSOURI
11
1.3 Échelle de temps et temps de réponse :
STR- 1. Introduction aux systèmes temps réel
 Le rythme d’évolution de l’environnement détermine
l’échelle de temps relative à une contrainte temps réel.
 Le temps de réponse d’un système en temps réel est la
durée entre la présentation des entrées à un système et
l’apparition des sorties suite aux traitements effectués
sur ces entrées par le système.
 Le temps de réponse permet d’exprimer la contrainte et est
lié à l’échelle de temps d’évolution de l’environnement.
STR
Prof.M.K.MANSOURI
12
1.4 Sévérité des contraintes et échelle de temps :
STR- 1. Introduction aux systèmes temps réel
 La sévérité et l’échelle de temps d’une contrainte ne
sont pas nécessairement liées
 Combinaison possible de niveaux de sévérité et
d’échelles de temps différentes dans un même système
 La sévérité des contraintes est généralement une
caractéristique prédominante dans un système temps
réel
 Le temps de réponse est plus souvent lié à la
technologie et aux ressources matérielles utilisées
STR
Prof.M.K.MANSOURI
13
1.5 Expression des contraintes temps réel :
STR- 1. Introduction aux systèmes temps réel
 Répondre à un événement en un temps donné :
 temps de réponse borné de façon absolue,
 Effectuer certaines opérations à un instant donné
 temps de réponse moyen
 agenda
 Traiter un nombre donné d'événements par unité de
temps :
 producteurs ou consommateurs d'événements
à un rythme donné
STR
Prof.M.K.MANSOURI
14
1.6 Exemples de grandeurs :
STR- 1. Introduction aux systèmes temps réel
 La milliseconde pour les systèmes radar.
 La seconde pour les systèmes de visualisation humain.
 Quelques heures pour le contrôle de production
impliquant des réactions chimiques.
 24 heures pour les prévisions météo.
 Plusieurs mois ou années pour les systèmes de
navigation de sonde spatiale.
STR
Prof.M.K.MANSOURI
15
1.7 Quelques exemples de STR (1) :
STR- 1. Introduction aux systèmes temps réel
 Transports : métro, aéronautique (avions, satellites,
spatial), contrôle de véhicules (automobiles, trains, …),
 Robotique (ex : PathFinder),
 systèmes militaires de contrôle / commande,
 Contrôle de processus industriels, Système de
production industriel : centrale nucléaire, chaîne de
montage, usine chimique,
 contrôle du trafic (aérien, terrestre),
STR
Prof.M.K.MANSOURI
16
1.7 Quelques exemples de STR (2) :
STR- 1. Introduction aux systèmes temps réel
 Supervision médicale, écologique.
 …etc.
 Services téléphoniques : téléphone mobile,
autocommutateur.
 Multimédias : décodeurs numériques openTV,
décodeurs TNT, MPEG, jeux vidéo. films d’animation.
STR
Prof.M.K.MANSOURI
17
1.7 Quelques exemples de STR (3) : Un système embarqué
STR- 1. Introduction aux systèmes temps réel
STR
Prof.M.K.MANSOURI
18
1.8 Exemple typique 1 : Système de contrôle de débit(*)
STR- 1. Introduction aux systèmes temps réel
(*) Source: “Real Time Systems and Programming Languages”
© Alan Burns and Andy Wellings, 2001
STR
Prof.M.K.MANSOURI
19
1.8 Exemple typique 2 : Système de contrôle de production(*)
STR- 1. Introduction aux systèmes temps réel
(*) Source: “Real Time Systems and Programming Languages”
© Alan Burns and Andy Wellings, 2001
STR
Prof.M.K.MANSOURI
20
1.9 Quelques exemples : Exercice :
STR- 1. Introduction aux systèmes temps réel
 Une application gestion de colis est-elle TR ?
 Discuter les exemples.
 Une application paie est-elle TR ?
 Un système de freinage est-il Temps Réel ?
 Une carte à puce est-elle un STR ?
 Le système de pilotage d’un satellite est-il TR ?
 Une téléphone GSM est-il un STR ?
STR
Prof.M.K.MANSOURI
21
1.10 STR : Notion d’échéance (1) :
STR- 1. Introduction aux systèmes temps réel
 Définition : On appelle échéance une contrainte temps
à laquelle doit au plus tard se produire un événement.
 Les systèmes sont classifiés par rapport à la tolérance
aux échéances.
STR
Prof.M.K.MANSOURI
22
1.10 STR : Notion d’échéance (2) :
STR- 1. Introduction aux systèmes temps réel
 Échéance dure (hard deadline) : dans ce cas l’arrivée
après échéance d’un événement attendu déclenchera
une exception (gestion d’erreurs)
 Échéance lâche (molle) (soft deadline), dans ce cas
l’arrivée après échéance d’un événement attendu ne
déclenchera pas une exception (gestion d’erreurs)
On peut noter deux types d’échéances :
STR
Prof.M.K.MANSOURI
23
1.11 : Catégories de systèmes temps réel (1) :
STR- 1. Introduction aux systèmes temps réel
Les systèmes temps réel peuvent se classer, selon le respect
des contraintes temporelles, en trois catégories :
 Temps réel dur ou critique (hard real time) :
lorsqu’un résultat arrivant en retard provoque un
accident fatal au système (génération d'une exception).
C’est aussi un système dans lequel certaines échéances ne
doivent en aucun cas être dépassées.
Exemples : système de contrôle d’avion, système de
conduite de missile,
STR
Prof.M.K.MANSOURI
24
1.11 : Catégories de systèmes temps réel (2) :
STR- 1. Introduction aux systèmes temps réel
 Temps réel mou ou souple (soft real time) : réduction
progressive de l’intérêt d’un résultat arrivant en retard pour
le système. l’arrivée exceptionnelle après échéance d’un
événement attendu ne mettra pas le système en danger
(erreur)
Exemple : système de distribution de son (streaming), système
d'acquisition de données pour affichage.
La distinction entre les trois est une notion assez floue
 Temps réel ferme (firm real time): lorsqu’un résultat
arrivant en retard n’a plus d’importance pour le système.
C’est aussi un système dans lequel le dépassement
occasionnel des échéances ne met pas le système en
difficulté.
Exemple : projection vidéo
STR
Prof.M.K.MANSOURI
25
1.11 : Catégories de systèmes temps réel (3) :
STR- 1. Introduction aux systèmes temps réel
 Temps réel dur :
La réponse du système dans les délais est vitale
L’absence de réponse est catastrophique (plus qu’une
réponse incorrecte)
Exemples : Contrôle aérien, contrôle d’une centrale nucléaire…
STR
Prof.M.K.MANSOURI
26
1.11 : Catégories de systèmes temps réel (4) :
STR- 1. Introduction aux systèmes temps réel
 Temps réel ferme :
La réponse du système dans les délais est essentielle. Le
résultat ne sert plus a rien une fois le deadline passe.
Exemples : transactions en bourse…
(définition alternative : la pénalité de non-réponse est dans le
même ordre de magnitude que la valeur de la réponse)
(c’est subjectif : le temps réel ferme de l’un peut être le temps
réel dur de l’autre)
STR
Prof.M.K.MANSOURI
27
1.11 : Catégories de systèmes temps réel (5) :
STR- 1. Introduction aux systèmes temps réel
 Temps réel mou :
La réponse du système après les délais réduit
progressivement sont intérêt.
Les pénalités ne sont pas catastrophiques.
Exemples : logiciel embarqué du téléphone portable, iPod, ...etc.
STR
Prof.M.K.MANSOURI
28
1.11 : Catégories de systèmes temps réel (6) Classification :
STR- 1. Introduction aux systèmes temps réel
 …en fait, la fermeté est une caractéristique de chaque
échéance (deadline)
 critère de respect des contraintes temporelles :
 dans un système donné, des tâches temps réel dures et
lâches peuvent cohabiter, éventuellement avec des
tâches sans contraintes temporelles.
 complexe, doit être défini pour chaque tâche dans le
cas d'une application temps réel lâche. On parle de
Qds (Qualité de service, de seuil d’acceptabilité, …)
 booléen pour le temps réel dur : vrai/faux; ça passe ou
ça casse !
 un même système peut avoir des sous-systemes TR
dur, TR-ferme ou TR-mou.
STR
Prof.M.K.MANSOURI
29
1.12 : Terminologie de fonctionnement d’un STR (1) :
STR- 1. Introduction aux systèmes temps réel
La prévisibilité est ce que qui permet de déterminer à
l’avance si un systèmes temps réel va respecter ses
contraintes temporelles.
 PRÉVISIBILITÉ :
Le déterminisme est le but que l’on cherche à atteindre
afin de prédire le comportement temporel d’un système
temps réel : il s’agit d’enlever toute incertitude sur le
comportement des activités individuelles et sur leurs
comportements quand elles sont mises ensemble dans
le contexte d’exécution du système.
 DÉTERMINISME :
STR
Prof.M.K.MANSOURI
30
1.12 Terminologie de fonctionnement d’un STR (2) :
STR- 1. Introduction aux systèmes temps réel
 La source de non déterminisme :
 charge de calcul,
 entrées/sorties,
 Interruptions,
 fautes et exceptions matérielle ou logicielles
la fiabilité est la capacité d'un système qui exécute et
maintient ses fonctions dans des environnements
normaux, aussi bien que des environnements hostiles
ou inattendus.
 FIABILITÉ :
STR
Prof.M.K.MANSOURI
31
1.12 : Terminologie de fonctionnement d’un STR (3) :
Exercice :
STR- 1. Introduction aux systèmes temps réel
o Interruptions,
 Quels sont les facteurs de non-déterminisme en
temps d’exécution dans un ensemble (machine +
système d’exploitation) ?
o temps calcul,
o Entrées / sorties,
o mémoires (caches, MV,...)
o ordonnancement des tâches
o etc...
STR
Prof.M.K.MANSOURI
32
1.13 : Structures générales d’un STR (1) :
STR- 1. Introduction aux systèmes temps réel
 Boucle ouverte :
 Boucle fermée :
STR
Prof.M.K.MANSOURI
33
1.13 : Structures générales d’un STR (2) :
STR- 1. Introduction aux systèmes temps réel
 Ce noyau temps réel va offrir des services au(x)
logiciel(s) d'application; ces services seront basés sur
les ressources disponibles au niveau du matériel.
 Un système temps réel est une association logiciel-
matériel où le logiciel permet, entre autre, une gestion
adéquate des ressources matérielles en vue de remplir
certaines tâches ou fonctions dans des limites
temporelles bien précises,
 La partie du logiciel qui réalise cette gestion est le
système d'exploitation ou noyau temps réel,
STR
Prof.M.K.MANSOURI
34
1.13 : Structures générales d’un STR (3) :
STR- 1. Introduction aux systèmes temps réel
 L’architecture d'un système informatique temps réel est
la suivante :
STR
Prof.M.K.MANSOURI
35
1.14 : Système temps réel et son environnement (1) :
STR- 1. Introduction aux systèmes temps réel
 Systèmes répartis : "Un système réparti est un
ensemble de machines autonomes connectées par un
réseau, et équipées d’un logiciel dédié à la coordination
des activités du système ainsi qu’au partage de ses
ressources."
 Systèmes embarqués, ou Embedded systems, ou
systèmes enfouis : systèmes informatiques dans lequel
le processeur/calculateur est englobé dans un système
plus large et/ou que le logiciel est entièrement dédié à
une application donnée. (exemple : une sonde spatiale,
un téléphone mobile).
STR
Prof.M.K.MANSOURI
36
1.14 : Système temps réel et son environnement (2) :
STR- 1. Introduction aux systèmes temps réel
 Le système TR contrôle un système plus large (le
système contrôlé).
 Les capteurs scrutent les événements du système
contrôlé, fournissent des mesures, ...
 Les actionneurs agissent sur le fonctionnement en
fonction des traitements du STR sur le système contrôlé
STR
Prof.M.K.MANSOURI
37
1.14 : Système temps réel et son environnement (3)
classification :
STR- 1. Introduction aux systèmes temps réel
 STR piloté par les événements : le STR réagit en
fonction d’états préétablis et atteints (temps,
température,…)
 STR piloté par le temps : le STR réagit sur des
échéances régulières définis par un temps interne au
système,
 Il sera qualifié de réactif, si il doit réagir à un
événement en temps imparti.
STR
Prof.M.K.MANSOURI
38
1.14 : Système temps réel et son environnement (4)
Exemple : le contrôleur :
STR- 1. Introduction aux systèmes temps réel
 Les systèmes temps réel sont souvent embarques dans
un équipement spécialisé, leur but étant de contrôler
l’équipement et/ou son environnement
 Environ 99% des processeurs produits dans le monde
sont dédiés aux systèmes embarques
STR
Prof.M.K.MANSOURI
39
1.14 : Système temps réel et son environnement (5) :
STR- 1. Introduction aux systèmes temps réel
 Système réparti temps réel pour des raisons de :
 Contraintes physiques.
 Fiabilité (redondance).
 Partage des données, périphériques, ...
 Problèmes liés aux systèmes embarqués :
 Intervention humaine directe difficile voire impossible.
 Problèmes liés aux systèmes répartis :
 Hétérogénéité (matériel et logiciel).
 Localisation des ressources (programmes,
périphériques, processeurs, ...).
 Performance (recouvrement des communications,
prédictibilité).
STR
Prof.M.K.MANSOURI
40
1.15 : Conception d’un système temps réel :
STR- 1. Introduction aux systèmes temps réel
 Description et expression des contraintes temps réel,
 Représentation simultanée de l’évolution logique et
temporelle du système,
 Prédiction et estimation des temps de réponse,
 Sélection de l’architecture, du matériel et du logiciel,
 Compromis et équilibre matériel-logiciel.
 Le matériel conditionne les coûts de production,
 Le logiciel conditionne les coûts de développement,
STR
Prof.M.K.MANSOURI
41
1.16 : Exemples généraux de systèmes temps réel :
STR- 1. Introduction aux systèmes temps réel
 Contrôle des fonctions d'un véhicule automobile
 Guidage d'une fusée
 Simulateur de vol
 Commutateur de réseau ou de téléphonie
 Téléphone cellulaire numérique
 Contrôle d'une unité de production industrielle (chaîne
de montage, usine chimique, traitement des eaux,
centrale nucléaire...)
 Contrôle des fonctions d'un satellite de télécommunication
 Robotique (ex : PathFinder).
 …etc.
STR
Prof.M.K.MANSOURI
42
1.19 : Exemple : Bases de données temps réel :
STR- 1. Introduction aux systèmes temps réel
 Cotations boursières, enchères sur Internet, … etc.
 Cohérence temporelle absolue
 Toutes les données d’un même ensemble doivent
être rafraîchies avant un seuil de temps
 Cohérence temporelle relative.
1.20 : Exemple : Flux de données multimédia :
 Son :
 Si image alors synchronisation image/son < 80msec
 Tél: 16kbds, 192 Kbds qualité CD
 Dans la QdS doivent être pris en compte : délai,
régularité et synchronisation

Contenu connexe

Tendances

Supervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.comSupervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.comAdnane Ahmidani
 
Programmation de systèmes embarqués : Introduction aux systèmes embarqués
Programmation de systèmes embarqués : Introduction aux systèmes embarquésProgrammation de systèmes embarqués : Introduction aux systèmes embarqués
Programmation de systèmes embarqués : Introduction aux systèmes embarquésECAM Brussels Engineering School
 
Cours8 Introduction à la représentation d'état
Cours8 Introduction à la représentation d'étatCours8 Introduction à la représentation d'état
Cours8 Introduction à la représentation d'étatsarah Benmerzouk
 
Systeme embarque td1
Systeme embarque td1Systeme embarque td1
Systeme embarque td1SinGuy
 
Réseaux et protocoles - Cours + exercices
Réseaux et protocoles - Cours + exercices Réseaux et protocoles - Cours + exercices
Réseaux et protocoles - Cours + exercices sarah Benmerzouk
 
Exercices vhdl
Exercices vhdlExercices vhdl
Exercices vhdlyassinesmz
 
213 les capteurs tor
213 les capteurs tor213 les capteurs tor
213 les capteurs torAFAF ELFANIDI
 
Projet interne sur capteurs de température
Projet interne sur capteurs de températureProjet interne sur capteurs de température
Projet interne sur capteurs de températureArnaud CHIGBLO
 
Intelligence Artificielle : Introduction à l'intelligence artificielle
Intelligence Artificielle : Introduction à l'intelligence artificielleIntelligence Artificielle : Introduction à l'intelligence artificielle
Intelligence Artificielle : Introduction à l'intelligence artificielleECAM Brussels Engineering School
 
Correction examen-java-avancé-1
Correction examen-java-avancé-1Correction examen-java-avancé-1
Correction examen-java-avancé-1vangogue
 
Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Addi Ait-Mlouk
 
Deep Learning : Application à la reconnaissance d’objets de classes multiples...
Deep Learning : Application à la reconnaissance d’objets de classes multiples...Deep Learning : Application à la reconnaissance d’objets de classes multiples...
Deep Learning : Application à la reconnaissance d’objets de classes multiples...Haytam EL YOUSSFI
 
Automatisation d'une maison intelligente via une application android
Automatisation d'une maison intelligente via une application androidAutomatisation d'une maison intelligente via une application android
Automatisation d'une maison intelligente via une application androidAbderrahim Bouharaoua
 
TD1-UML-correction
TD1-UML-correctionTD1-UML-correction
TD1-UML-correctionLilia Sfaxi
 
Rappel de cours traitement de signal
Rappel de cours traitement de signalRappel de cours traitement de signal
Rappel de cours traitement de signalmanahil2012
 
Conception et réalisation d’un MINI SMART HOME
Conception et réalisation  d’un MINI SMART HOMEConception et réalisation  d’un MINI SMART HOME
Conception et réalisation d’un MINI SMART HOMESoukainawarach
 
Industrie 4.0: l'usine du futur
Industrie 4.0: l'usine du futurIndustrie 4.0: l'usine du futur
Industrie 4.0: l'usine du futurMarc ENGEL
 
Embarqués temps réel
Embarqués temps réelEmbarqués temps réel
Embarqués temps réelmikhailether
 

Tendances (20)

Supervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.comSupervision industrielle www.automate pro.blogspot.com
Supervision industrielle www.automate pro.blogspot.com
 
Programmation de systèmes embarqués : Introduction aux systèmes embarqués
Programmation de systèmes embarqués : Introduction aux systèmes embarquésProgrammation de systèmes embarqués : Introduction aux systèmes embarqués
Programmation de systèmes embarqués : Introduction aux systèmes embarqués
 
Cours8 Introduction à la représentation d'état
Cours8 Introduction à la représentation d'étatCours8 Introduction à la représentation d'état
Cours8 Introduction à la représentation d'état
 
Systeme embarque td1
Systeme embarque td1Systeme embarque td1
Systeme embarque td1
 
Réseaux et protocoles - Cours + exercices
Réseaux et protocoles - Cours + exercices Réseaux et protocoles - Cours + exercices
Réseaux et protocoles - Cours + exercices
 
Exercices vhdl
Exercices vhdlExercices vhdl
Exercices vhdl
 
213 les capteurs tor
213 les capteurs tor213 les capteurs tor
213 les capteurs tor
 
Projet interne sur capteurs de température
Projet interne sur capteurs de températureProjet interne sur capteurs de température
Projet interne sur capteurs de température
 
Intelligence Artificielle : Introduction à l'intelligence artificielle
Intelligence Artificielle : Introduction à l'intelligence artificielleIntelligence Artificielle : Introduction à l'intelligence artificielle
Intelligence Artificielle : Introduction à l'intelligence artificielle
 
Correction examen-java-avancé-1
Correction examen-java-avancé-1Correction examen-java-avancé-1
Correction examen-java-avancé-1
 
Rapport de pfe format doc 2013
Rapport de pfe format doc 2013Rapport de pfe format doc 2013
Rapport de pfe format doc 2013
 
Formation stm32
Formation stm32Formation stm32
Formation stm32
 
Deep Learning : Application à la reconnaissance d’objets de classes multiples...
Deep Learning : Application à la reconnaissance d’objets de classes multiples...Deep Learning : Application à la reconnaissance d’objets de classes multiples...
Deep Learning : Application à la reconnaissance d’objets de classes multiples...
 
Automatisation d'une maison intelligente via une application android
Automatisation d'une maison intelligente via une application androidAutomatisation d'une maison intelligente via une application android
Automatisation d'une maison intelligente via une application android
 
Rapport de stage du fin d'étude
Rapport de stage du fin d'étudeRapport de stage du fin d'étude
Rapport de stage du fin d'étude
 
TD1-UML-correction
TD1-UML-correctionTD1-UML-correction
TD1-UML-correction
 
Rappel de cours traitement de signal
Rappel de cours traitement de signalRappel de cours traitement de signal
Rappel de cours traitement de signal
 
Conception et réalisation d’un MINI SMART HOME
Conception et réalisation  d’un MINI SMART HOMEConception et réalisation  d’un MINI SMART HOME
Conception et réalisation d’un MINI SMART HOME
 
Industrie 4.0: l'usine du futur
Industrie 4.0: l'usine du futurIndustrie 4.0: l'usine du futur
Industrie 4.0: l'usine du futur
 
Embarqués temps réel
Embarqués temps réelEmbarqués temps réel
Embarqués temps réel
 

Similaire à Cours systèmes temps réel partie 1 Prof. Khalifa MANSOURI

Restructuration d applications Java Temps réel
Restructuration d applications Java Temps réelRestructuration d applications Java Temps réel
Restructuration d applications Java Temps réelCédric Mouats
 
Support systemes multitaches-tempsreel
Support systemes multitaches-tempsreelSupport systemes multitaches-tempsreel
Support systemes multitaches-tempsreelyoussef essakhi
 
rt-intro.pdf
rt-intro.pdfrt-intro.pdf
rt-intro.pdfSaid Ech
 
2 signaux et systèmes slideshare
2 signaux et systèmes slideshare2 signaux et systèmes slideshare
2 signaux et systèmes slideshareKheddioui
 
342 p 12170_1 automatique nn linéaire
342 p 12170_1 automatique nn linéaire342 p 12170_1 automatique nn linéaire
342 p 12170_1 automatique nn linéaireTRIKI BILEL
 
Protocoles d'acces aleatoires
Protocoles d'acces aleatoiresProtocoles d'acces aleatoires
Protocoles d'acces aleatoiresKONAN MARTIAL
 
Management des risques ibtissam el hassani-chapitre3 : MADS/MOSAR
Management des risques   ibtissam el hassani-chapitre3 : MADS/MOSARManagement des risques   ibtissam el hassani-chapitre3 : MADS/MOSAR
Management des risques ibtissam el hassani-chapitre3 : MADS/MOSARibtissam el hassani
 
rapport_ecrit_final
rapport_ecrit_finalrapport_ecrit_final
rapport_ecrit_finalJean Ibarz
 
Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...
Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...
Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...Mohammed TAMALI
 
Cours chapitre8 2012
Cours chapitre8 2012Cours chapitre8 2012
Cours chapitre8 2012Yves Caseau
 

Similaire à Cours systèmes temps réel partie 1 Prof. Khalifa MANSOURI (20)

Restructuration d applications Java Temps réel
Restructuration d applications Java Temps réelRestructuration d applications Java Temps réel
Restructuration d applications Java Temps réel
 
Support systemes multitaches-tempsreel
Support systemes multitaches-tempsreelSupport systemes multitaches-tempsreel
Support systemes multitaches-tempsreel
 
Ch1
Ch1Ch1
Ch1
 
Chap1 intro 1pp
Chap1 intro 1ppChap1 intro 1pp
Chap1 intro 1pp
 
CHAP 3.ppt
CHAP 3.pptCHAP 3.ppt
CHAP 3.ppt
 
rt-intro.pdf
rt-intro.pdfrt-intro.pdf
rt-intro.pdf
 
Fiabilite
FiabiliteFiabilite
Fiabilite
 
2 signaux et systèmes slideshare
2 signaux et systèmes slideshare2 signaux et systèmes slideshare
2 signaux et systèmes slideshare
 
342 p 12170_1 automatique nn linéaire
342 p 12170_1 automatique nn linéaire342 p 12170_1 automatique nn linéaire
342 p 12170_1 automatique nn linéaire
 
Msr05 Control
Msr05 ControlMsr05 Control
Msr05 Control
 
Protocoles d'acces aleatoires
Protocoles d'acces aleatoiresProtocoles d'acces aleatoires
Protocoles d'acces aleatoires
 
Chapitre 1 sem
Chapitre 1 semChapitre 1 sem
Chapitre 1 sem
 
Management des risques ibtissam el hassani-chapitre3 : MADS/MOSAR
Management des risques   ibtissam el hassani-chapitre3 : MADS/MOSARManagement des risques   ibtissam el hassani-chapitre3 : MADS/MOSAR
Management des risques ibtissam el hassani-chapitre3 : MADS/MOSAR
 
rapport_ecrit_final
rapport_ecrit_finalrapport_ecrit_final
rapport_ecrit_final
 
Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...
Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...
Chap7 : Evaluation des performances, Concepts de base & fondements Modélisati...
 
Cours chapitre8 2012
Cours chapitre8 2012Cours chapitre8 2012
Cours chapitre8 2012
 
Sii en-pcsi-etudedessa-2
Sii en-pcsi-etudedessa-2Sii en-pcsi-etudedessa-2
Sii en-pcsi-etudedessa-2
 
Pfe Matene 2009
Pfe Matene 2009Pfe Matene 2009
Pfe Matene 2009
 
Pfe Matene 2009
Pfe Matene 2009Pfe Matene 2009
Pfe Matene 2009
 
Pfe Matene 2009
Pfe Matene 2009Pfe Matene 2009
Pfe Matene 2009
 

Plus de Mansouri Khalifa

Cours bases de données partie 2 Prof. Khalifa MANSOURI
Cours bases de données partie 2 Prof. Khalifa MANSOURICours bases de données partie 2 Prof. Khalifa MANSOURI
Cours bases de données partie 2 Prof. Khalifa MANSOURIMansouri Khalifa
 
Cours bases de données partie 1 Prof. Khalifa MANSOURI
Cours bases de données partie 1 Prof. Khalifa MANSOURICours bases de données partie 1 Prof. Khalifa MANSOURI
Cours bases de données partie 1 Prof. Khalifa MANSOURIMansouri Khalifa
 
Cours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURICours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURIMansouri Khalifa
 
Cours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURICours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURIMansouri Khalifa
 
Cours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURICours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURIMansouri Khalifa
 
Cours : les arbres Prof. KHALIFA MANSOURI
Cours : les arbres Prof. KHALIFA MANSOURI Cours : les arbres Prof. KHALIFA MANSOURI
Cours : les arbres Prof. KHALIFA MANSOURI Mansouri Khalifa
 
Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI
Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI
Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI Mansouri Khalifa
 
Cours les Listes doublement chainées Prof. KHALIFA MANSOURI
Cours les Listes doublement chainées Prof. KHALIFA MANSOURI Cours les Listes doublement chainées Prof. KHALIFA MANSOURI
Cours les Listes doublement chainées Prof. KHALIFA MANSOURI Mansouri Khalifa
 
Cours : les listes chainées Prof. KHALIFA MANSOURI
Cours : les listes chainées  Prof. KHALIFA MANSOURI Cours : les listes chainées  Prof. KHALIFA MANSOURI
Cours : les listes chainées Prof. KHALIFA MANSOURI Mansouri Khalifa
 
UML Part 6 diagramme etat transition mansouri
UML Part 6 diagramme etat transition mansouriUML Part 6 diagramme etat transition mansouri
UML Part 6 diagramme etat transition mansouriMansouri Khalifa
 
UML Part 5- diagramme d'activités mansouri
UML Part 5- diagramme d'activités mansouriUML Part 5- diagramme d'activités mansouri
UML Part 5- diagramme d'activités mansouriMansouri Khalifa
 
UML Part 4- diagrammres de classes et d'objets mansouri
UML Part 4- diagrammres de classes et d'objets mansouriUML Part 4- diagrammres de classes et d'objets mansouri
UML Part 4- diagrammres de classes et d'objets mansouriMansouri Khalifa
 
UML Part 3- diagramme de séquences mansouri
UML Part 3- diagramme de séquences mansouriUML Part 3- diagramme de séquences mansouri
UML Part 3- diagramme de séquences mansouriMansouri Khalifa
 
UML Part2- diagramme des uses cases_mansouri
UML Part2- diagramme des uses cases_mansouriUML Part2- diagramme des uses cases_mansouri
UML Part2- diagramme des uses cases_mansouriMansouri Khalifa
 
UML Part1-Introduction Mansouri
UML Part1-Introduction MansouriUML Part1-Introduction Mansouri
UML Part1-Introduction MansouriMansouri Khalifa
 
Systèmes d'Information dans les organisations
Systèmes d'Information dans les organisationsSystèmes d'Information dans les organisations
Systèmes d'Information dans les organisationsMansouri Khalifa
 
Analyse merise Prof. Khalifa MANSOURI
Analyse merise Prof. Khalifa MANSOURIAnalyse merise Prof. Khalifa MANSOURI
Analyse merise Prof. Khalifa MANSOURIMansouri Khalifa
 

Plus de Mansouri Khalifa (17)

Cours bases de données partie 2 Prof. Khalifa MANSOURI
Cours bases de données partie 2 Prof. Khalifa MANSOURICours bases de données partie 2 Prof. Khalifa MANSOURI
Cours bases de données partie 2 Prof. Khalifa MANSOURI
 
Cours bases de données partie 1 Prof. Khalifa MANSOURI
Cours bases de données partie 1 Prof. Khalifa MANSOURICours bases de données partie 1 Prof. Khalifa MANSOURI
Cours bases de données partie 1 Prof. Khalifa MANSOURI
 
Cours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURICours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 3 prof. Khalifa MANSOURI
 
Cours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURICours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 2 prof. Khalifa MANSOURI
 
Cours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURICours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURI
Cours guvernance des systèmes d'information partie 1 prof. Khalifa MANSOURI
 
Cours : les arbres Prof. KHALIFA MANSOURI
Cours : les arbres Prof. KHALIFA MANSOURI Cours : les arbres Prof. KHALIFA MANSOURI
Cours : les arbres Prof. KHALIFA MANSOURI
 
Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI
Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI
Cours Piles et files en utilisant lesl istes chainées Prof. KHALIFA MANSOURI
 
Cours les Listes doublement chainées Prof. KHALIFA MANSOURI
Cours les Listes doublement chainées Prof. KHALIFA MANSOURI Cours les Listes doublement chainées Prof. KHALIFA MANSOURI
Cours les Listes doublement chainées Prof. KHALIFA MANSOURI
 
Cours : les listes chainées Prof. KHALIFA MANSOURI
Cours : les listes chainées  Prof. KHALIFA MANSOURI Cours : les listes chainées  Prof. KHALIFA MANSOURI
Cours : les listes chainées Prof. KHALIFA MANSOURI
 
UML Part 6 diagramme etat transition mansouri
UML Part 6 diagramme etat transition mansouriUML Part 6 diagramme etat transition mansouri
UML Part 6 diagramme etat transition mansouri
 
UML Part 5- diagramme d'activités mansouri
UML Part 5- diagramme d'activités mansouriUML Part 5- diagramme d'activités mansouri
UML Part 5- diagramme d'activités mansouri
 
UML Part 4- diagrammres de classes et d'objets mansouri
UML Part 4- diagrammres de classes et d'objets mansouriUML Part 4- diagrammres de classes et d'objets mansouri
UML Part 4- diagrammres de classes et d'objets mansouri
 
UML Part 3- diagramme de séquences mansouri
UML Part 3- diagramme de séquences mansouriUML Part 3- diagramme de séquences mansouri
UML Part 3- diagramme de séquences mansouri
 
UML Part2- diagramme des uses cases_mansouri
UML Part2- diagramme des uses cases_mansouriUML Part2- diagramme des uses cases_mansouri
UML Part2- diagramme des uses cases_mansouri
 
UML Part1-Introduction Mansouri
UML Part1-Introduction MansouriUML Part1-Introduction Mansouri
UML Part1-Introduction Mansouri
 
Systèmes d'Information dans les organisations
Systèmes d'Information dans les organisationsSystèmes d'Information dans les organisations
Systèmes d'Information dans les organisations
 
Analyse merise Prof. Khalifa MANSOURI
Analyse merise Prof. Khalifa MANSOURIAnalyse merise Prof. Khalifa MANSOURI
Analyse merise Prof. Khalifa MANSOURI
 

Dernier

systeme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expertsysteme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expertChristianMbip
 
Cours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSETCours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSETMedBechir
 
Présentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptxPrésentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptxrababouerdighi
 
Evaluation du systeme d'Education. Marocpptx
Evaluation du systeme d'Education. MarocpptxEvaluation du systeme d'Education. Marocpptx
Evaluation du systeme d'Education. MarocpptxAsmaa105193
 
Guide Final de rédaction de mémoire de fin d'étude
Guide Final de rédaction de mémoire de fin d'étudeGuide Final de rédaction de mémoire de fin d'étude
Guide Final de rédaction de mémoire de fin d'étudeBenamraneMarwa
 
7 PPT sue le project de fin d'étude.pptx
7 PPT sue le project de fin d'étude.pptx7 PPT sue le project de fin d'étude.pptx
7 PPT sue le project de fin d'étude.pptxrababouerdighi
 
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptxSAID MASHATE
 
Cours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSETCours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSETMedBechir
 
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .
Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .Txaruka
 
Formation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadershipFormation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadershipM2i Formation
 
Fondation Louis Vuitton. pptx
Fondation      Louis      Vuitton.   pptxFondation      Louis      Vuitton.   pptx
Fondation Louis Vuitton. pptxTxaruka
 
Saint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptxSaint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptxMartin M Flynn
 
A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.Franck Apolis
 

Dernier (15)

systeme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expertsysteme expert_systeme expert_systeme expert
systeme expert_systeme expert_systeme expert
 
Cours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSETCours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSET
 
Présentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptxPrésentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptx
 
Evaluation du systeme d'Education. Marocpptx
Evaluation du systeme d'Education. MarocpptxEvaluation du systeme d'Education. Marocpptx
Evaluation du systeme d'Education. Marocpptx
 
Guide Final de rédaction de mémoire de fin d'étude
Guide Final de rédaction de mémoire de fin d'étudeGuide Final de rédaction de mémoire de fin d'étude
Guide Final de rédaction de mémoire de fin d'étude
 
7 PPT sue le project de fin d'étude.pptx
7 PPT sue le project de fin d'étude.pptx7 PPT sue le project de fin d'étude.pptx
7 PPT sue le project de fin d'étude.pptx
 
Evaluación Alumnos de Ecole Victor Hugo
Evaluación Alumnos de Ecole  Victor HugoEvaluación Alumnos de Ecole  Victor Hugo
Evaluación Alumnos de Ecole Victor Hugo
 
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
 
Cours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSETCours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSET
 
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .
Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .
 
Formation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadershipFormation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadership
 
Fondation Louis Vuitton. pptx
Fondation      Louis      Vuitton.   pptxFondation      Louis      Vuitton.   pptx
Fondation Louis Vuitton. pptx
 
Pâques de Sainte Marie-Euphrasie Pelletier
Pâques de Sainte Marie-Euphrasie PelletierPâques de Sainte Marie-Euphrasie Pelletier
Pâques de Sainte Marie-Euphrasie Pelletier
 
Saint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptxSaint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptx
 
A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.
 

Cours systèmes temps réel partie 1 Prof. Khalifa MANSOURI

  • 1. STR Prof.M.K.MANSOURI 1 Professeur : M. K. MANSOURI Université Hassan II de Casablanca ENSET de Mohammedia Département Mathématiques et Informatique Partie 1
  • 3. STR Prof.M.K.MANSOURI 3 Objectifs du cours ? Systèmes temps réel–Première partie–plan du cours 1. Qu’est ce qu’un système temps réel ? 2. Objectifs et fonctionnalité d’un système temps réel 3. Échelle de temps et temps de réponse 4. Sévérité des contraintes et échelle de temps 5. Expression des contraintes temps réel 6. Exemples de grandeurs 7. Quelques exemples de systèmes temps réel 8. Exemple typique 9. Exercices 10. Système temps réel : Notion d’échéance 11. Catégories de systèmes temps réel 12. Terminologie de fonctionnement d’un Système temps réel 13. Structures générales d’un système temps réel 14. Système temps réel et son environnement 15. Conception d’un système temps réel 16. Exemples généraux et spécifiques de systèmes temps réel
  • 4. STR Prof.M.K.MANSOURI 4 Objectifs  qu’est-ce qu’un système temps réel ?  comment vérifier a priori le comportement « ordonnancement »  comment implémenter le comportement « les outils de programmation »
  • 5. STR Prof.M.K.MANSOURI 5 1.1 Qu’est ce qu’un système temps réel (1) : STR- 1. Introduction aux systèmes temps réel Définition : Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans lesquels les résultats sont produits •le système doit répondre a des stimuli externes sous un délai spécifié, •l’absence de réponse est aussi grave qu’une réponse erronée, voire plus.
  • 6. STR Prof.M.K.MANSOURI 6 1.1 Qu’est ce qu’un système temps réel (2) : STR- 1. Introduction aux systèmes temps réel •C’est un système qui interagit avec un environnement externe qui lui-même évolue avec le temps, •qui réalise certaines fonctionnalités en relation avec cet environnement, •Et qui exploite des ressources limitées.
  • 7. STR Prof.M.K.MANSOURI 7 1.1 Qu’est ce qu’un système temps réel (3) : STR- 1. Introduction aux systèmes temps réel  système temps réel : qui doit fournir un service dans un contexte où le temps intervient  évolution du système (système réactif)  contraintes de temps (échéances)  par opposition aux systèmes interactifs ou transformationnels  systèmes embarqués :  autonomes, avec un fort couplage entre le matériel et le logiciel  utilisation dans un but très précis  souvent inclus dans un système plus vaste  ~ 90% du marché des processeurs
  • 8. STR Prof.M.K.MANSOURI 8 1.1 Qu’est ce qu’un système temps réel (4) : STR- 1. Introduction aux systèmes temps réel  Non seulement des résultats exacts  mais aussi fournis dans un temps donné, compatible avec l'évolution du système :  dans un système temps réel, un résultat de calcul mathématiquement exact mais arrivant au-delà d'une échéance pré-définie est un résultat faux  l'échelle de temps dépend du système :  de quelques millisecondes pour un système de navigation aérienne  à plusieurs minutes ou heures pour contrôle d'un réacteur chimique
  • 9. STR Prof.M.K.MANSOURI 9 1.2 Objectifs et fonctionnalité d’un système temps réel (1) : STR- 1. Introduction aux systèmes temps réel  Exactitude logique (logical correctness) : sorties adéquates en fonction des entrées, assurant le comportement désiré pour le système suite à des événements et aux données communiquées,  Exactitude temporelle (timeliness) : respect des contraintes temporelles (ex : échéance). Les sorties sont présentées au bon moment, Plusieurs contraintes à vérifier pour qu ’un système temps réel soit fonctionnel (1) :  Déterminisme logique : les mêmes entrées appliquées au système produisent les mêmes résultats,
  • 10. STR Prof.M.K.MANSOURI 10 1.2 Objectifs et fonctionnalité d’un système temps réel (2) : STR- 1. Introduction aux systèmes temps réel  Fiabilité : le système répond à des contraintes de disponibilité (fiabilité du logiciel et du matériel). => Système prédictible : on cherche à déterminer a priori si le système va répondre aux exigences temporelles. Un système temps réel n’est pas un système "qui va vite" mais un système qui satisfait à des contraintes temporelles. Plusieurs contraintes à vérifier pour qu’un système temps réel soit fonctionnel (2) :
  • 11. STR Prof.M.K.MANSOURI 11 1.3 Échelle de temps et temps de réponse : STR- 1. Introduction aux systèmes temps réel  Le rythme d’évolution de l’environnement détermine l’échelle de temps relative à une contrainte temps réel.  Le temps de réponse d’un système en temps réel est la durée entre la présentation des entrées à un système et l’apparition des sorties suite aux traitements effectués sur ces entrées par le système.  Le temps de réponse permet d’exprimer la contrainte et est lié à l’échelle de temps d’évolution de l’environnement.
  • 12. STR Prof.M.K.MANSOURI 12 1.4 Sévérité des contraintes et échelle de temps : STR- 1. Introduction aux systèmes temps réel  La sévérité et l’échelle de temps d’une contrainte ne sont pas nécessairement liées  Combinaison possible de niveaux de sévérité et d’échelles de temps différentes dans un même système  La sévérité des contraintes est généralement une caractéristique prédominante dans un système temps réel  Le temps de réponse est plus souvent lié à la technologie et aux ressources matérielles utilisées
  • 13. STR Prof.M.K.MANSOURI 13 1.5 Expression des contraintes temps réel : STR- 1. Introduction aux systèmes temps réel  Répondre à un événement en un temps donné :  temps de réponse borné de façon absolue,  Effectuer certaines opérations à un instant donné  temps de réponse moyen  agenda  Traiter un nombre donné d'événements par unité de temps :  producteurs ou consommateurs d'événements à un rythme donné
  • 14. STR Prof.M.K.MANSOURI 14 1.6 Exemples de grandeurs : STR- 1. Introduction aux systèmes temps réel  La milliseconde pour les systèmes radar.  La seconde pour les systèmes de visualisation humain.  Quelques heures pour le contrôle de production impliquant des réactions chimiques.  24 heures pour les prévisions météo.  Plusieurs mois ou années pour les systèmes de navigation de sonde spatiale.
  • 15. STR Prof.M.K.MANSOURI 15 1.7 Quelques exemples de STR (1) : STR- 1. Introduction aux systèmes temps réel  Transports : métro, aéronautique (avions, satellites, spatial), contrôle de véhicules (automobiles, trains, …),  Robotique (ex : PathFinder),  systèmes militaires de contrôle / commande,  Contrôle de processus industriels, Système de production industriel : centrale nucléaire, chaîne de montage, usine chimique,  contrôle du trafic (aérien, terrestre),
  • 16. STR Prof.M.K.MANSOURI 16 1.7 Quelques exemples de STR (2) : STR- 1. Introduction aux systèmes temps réel  Supervision médicale, écologique.  …etc.  Services téléphoniques : téléphone mobile, autocommutateur.  Multimédias : décodeurs numériques openTV, décodeurs TNT, MPEG, jeux vidéo. films d’animation.
  • 17. STR Prof.M.K.MANSOURI 17 1.7 Quelques exemples de STR (3) : Un système embarqué STR- 1. Introduction aux systèmes temps réel
  • 18. STR Prof.M.K.MANSOURI 18 1.8 Exemple typique 1 : Système de contrôle de débit(*) STR- 1. Introduction aux systèmes temps réel (*) Source: “Real Time Systems and Programming Languages” © Alan Burns and Andy Wellings, 2001
  • 19. STR Prof.M.K.MANSOURI 19 1.8 Exemple typique 2 : Système de contrôle de production(*) STR- 1. Introduction aux systèmes temps réel (*) Source: “Real Time Systems and Programming Languages” © Alan Burns and Andy Wellings, 2001
  • 20. STR Prof.M.K.MANSOURI 20 1.9 Quelques exemples : Exercice : STR- 1. Introduction aux systèmes temps réel  Une application gestion de colis est-elle TR ?  Discuter les exemples.  Une application paie est-elle TR ?  Un système de freinage est-il Temps Réel ?  Une carte à puce est-elle un STR ?  Le système de pilotage d’un satellite est-il TR ?  Une téléphone GSM est-il un STR ?
  • 21. STR Prof.M.K.MANSOURI 21 1.10 STR : Notion d’échéance (1) : STR- 1. Introduction aux systèmes temps réel  Définition : On appelle échéance une contrainte temps à laquelle doit au plus tard se produire un événement.  Les systèmes sont classifiés par rapport à la tolérance aux échéances.
  • 22. STR Prof.M.K.MANSOURI 22 1.10 STR : Notion d’échéance (2) : STR- 1. Introduction aux systèmes temps réel  Échéance dure (hard deadline) : dans ce cas l’arrivée après échéance d’un événement attendu déclenchera une exception (gestion d’erreurs)  Échéance lâche (molle) (soft deadline), dans ce cas l’arrivée après échéance d’un événement attendu ne déclenchera pas une exception (gestion d’erreurs) On peut noter deux types d’échéances :
  • 23. STR Prof.M.K.MANSOURI 23 1.11 : Catégories de systèmes temps réel (1) : STR- 1. Introduction aux systèmes temps réel Les systèmes temps réel peuvent se classer, selon le respect des contraintes temporelles, en trois catégories :  Temps réel dur ou critique (hard real time) : lorsqu’un résultat arrivant en retard provoque un accident fatal au système (génération d'une exception). C’est aussi un système dans lequel certaines échéances ne doivent en aucun cas être dépassées. Exemples : système de contrôle d’avion, système de conduite de missile,
  • 24. STR Prof.M.K.MANSOURI 24 1.11 : Catégories de systèmes temps réel (2) : STR- 1. Introduction aux systèmes temps réel  Temps réel mou ou souple (soft real time) : réduction progressive de l’intérêt d’un résultat arrivant en retard pour le système. l’arrivée exceptionnelle après échéance d’un événement attendu ne mettra pas le système en danger (erreur) Exemple : système de distribution de son (streaming), système d'acquisition de données pour affichage. La distinction entre les trois est une notion assez floue  Temps réel ferme (firm real time): lorsqu’un résultat arrivant en retard n’a plus d’importance pour le système. C’est aussi un système dans lequel le dépassement occasionnel des échéances ne met pas le système en difficulté. Exemple : projection vidéo
  • 25. STR Prof.M.K.MANSOURI 25 1.11 : Catégories de systèmes temps réel (3) : STR- 1. Introduction aux systèmes temps réel  Temps réel dur : La réponse du système dans les délais est vitale L’absence de réponse est catastrophique (plus qu’une réponse incorrecte) Exemples : Contrôle aérien, contrôle d’une centrale nucléaire…
  • 26. STR Prof.M.K.MANSOURI 26 1.11 : Catégories de systèmes temps réel (4) : STR- 1. Introduction aux systèmes temps réel  Temps réel ferme : La réponse du système dans les délais est essentielle. Le résultat ne sert plus a rien une fois le deadline passe. Exemples : transactions en bourse… (définition alternative : la pénalité de non-réponse est dans le même ordre de magnitude que la valeur de la réponse) (c’est subjectif : le temps réel ferme de l’un peut être le temps réel dur de l’autre)
  • 27. STR Prof.M.K.MANSOURI 27 1.11 : Catégories de systèmes temps réel (5) : STR- 1. Introduction aux systèmes temps réel  Temps réel mou : La réponse du système après les délais réduit progressivement sont intérêt. Les pénalités ne sont pas catastrophiques. Exemples : logiciel embarqué du téléphone portable, iPod, ...etc.
  • 28. STR Prof.M.K.MANSOURI 28 1.11 : Catégories de systèmes temps réel (6) Classification : STR- 1. Introduction aux systèmes temps réel  …en fait, la fermeté est une caractéristique de chaque échéance (deadline)  critère de respect des contraintes temporelles :  dans un système donné, des tâches temps réel dures et lâches peuvent cohabiter, éventuellement avec des tâches sans contraintes temporelles.  complexe, doit être défini pour chaque tâche dans le cas d'une application temps réel lâche. On parle de Qds (Qualité de service, de seuil d’acceptabilité, …)  booléen pour le temps réel dur : vrai/faux; ça passe ou ça casse !  un même système peut avoir des sous-systemes TR dur, TR-ferme ou TR-mou.
  • 29. STR Prof.M.K.MANSOURI 29 1.12 : Terminologie de fonctionnement d’un STR (1) : STR- 1. Introduction aux systèmes temps réel La prévisibilité est ce que qui permet de déterminer à l’avance si un systèmes temps réel va respecter ses contraintes temporelles.  PRÉVISIBILITÉ : Le déterminisme est le but que l’on cherche à atteindre afin de prédire le comportement temporel d’un système temps réel : il s’agit d’enlever toute incertitude sur le comportement des activités individuelles et sur leurs comportements quand elles sont mises ensemble dans le contexte d’exécution du système.  DÉTERMINISME :
  • 30. STR Prof.M.K.MANSOURI 30 1.12 Terminologie de fonctionnement d’un STR (2) : STR- 1. Introduction aux systèmes temps réel  La source de non déterminisme :  charge de calcul,  entrées/sorties,  Interruptions,  fautes et exceptions matérielle ou logicielles la fiabilité est la capacité d'un système qui exécute et maintient ses fonctions dans des environnements normaux, aussi bien que des environnements hostiles ou inattendus.  FIABILITÉ :
  • 31. STR Prof.M.K.MANSOURI 31 1.12 : Terminologie de fonctionnement d’un STR (3) : Exercice : STR- 1. Introduction aux systèmes temps réel o Interruptions,  Quels sont les facteurs de non-déterminisme en temps d’exécution dans un ensemble (machine + système d’exploitation) ? o temps calcul, o Entrées / sorties, o mémoires (caches, MV,...) o ordonnancement des tâches o etc...
  • 32. STR Prof.M.K.MANSOURI 32 1.13 : Structures générales d’un STR (1) : STR- 1. Introduction aux systèmes temps réel  Boucle ouverte :  Boucle fermée :
  • 33. STR Prof.M.K.MANSOURI 33 1.13 : Structures générales d’un STR (2) : STR- 1. Introduction aux systèmes temps réel  Ce noyau temps réel va offrir des services au(x) logiciel(s) d'application; ces services seront basés sur les ressources disponibles au niveau du matériel.  Un système temps réel est une association logiciel- matériel où le logiciel permet, entre autre, une gestion adéquate des ressources matérielles en vue de remplir certaines tâches ou fonctions dans des limites temporelles bien précises,  La partie du logiciel qui réalise cette gestion est le système d'exploitation ou noyau temps réel,
  • 34. STR Prof.M.K.MANSOURI 34 1.13 : Structures générales d’un STR (3) : STR- 1. Introduction aux systèmes temps réel  L’architecture d'un système informatique temps réel est la suivante :
  • 35. STR Prof.M.K.MANSOURI 35 1.14 : Système temps réel et son environnement (1) : STR- 1. Introduction aux systèmes temps réel  Systèmes répartis : "Un système réparti est un ensemble de machines autonomes connectées par un réseau, et équipées d’un logiciel dédié à la coordination des activités du système ainsi qu’au partage de ses ressources."  Systèmes embarqués, ou Embedded systems, ou systèmes enfouis : systèmes informatiques dans lequel le processeur/calculateur est englobé dans un système plus large et/ou que le logiciel est entièrement dédié à une application donnée. (exemple : une sonde spatiale, un téléphone mobile).
  • 36. STR Prof.M.K.MANSOURI 36 1.14 : Système temps réel et son environnement (2) : STR- 1. Introduction aux systèmes temps réel  Le système TR contrôle un système plus large (le système contrôlé).  Les capteurs scrutent les événements du système contrôlé, fournissent des mesures, ...  Les actionneurs agissent sur le fonctionnement en fonction des traitements du STR sur le système contrôlé
  • 37. STR Prof.M.K.MANSOURI 37 1.14 : Système temps réel et son environnement (3) classification : STR- 1. Introduction aux systèmes temps réel  STR piloté par les événements : le STR réagit en fonction d’états préétablis et atteints (temps, température,…)  STR piloté par le temps : le STR réagit sur des échéances régulières définis par un temps interne au système,  Il sera qualifié de réactif, si il doit réagir à un événement en temps imparti.
  • 38. STR Prof.M.K.MANSOURI 38 1.14 : Système temps réel et son environnement (4) Exemple : le contrôleur : STR- 1. Introduction aux systèmes temps réel  Les systèmes temps réel sont souvent embarques dans un équipement spécialisé, leur but étant de contrôler l’équipement et/ou son environnement  Environ 99% des processeurs produits dans le monde sont dédiés aux systèmes embarques
  • 39. STR Prof.M.K.MANSOURI 39 1.14 : Système temps réel et son environnement (5) : STR- 1. Introduction aux systèmes temps réel  Système réparti temps réel pour des raisons de :  Contraintes physiques.  Fiabilité (redondance).  Partage des données, périphériques, ...  Problèmes liés aux systèmes embarqués :  Intervention humaine directe difficile voire impossible.  Problèmes liés aux systèmes répartis :  Hétérogénéité (matériel et logiciel).  Localisation des ressources (programmes, périphériques, processeurs, ...).  Performance (recouvrement des communications, prédictibilité).
  • 40. STR Prof.M.K.MANSOURI 40 1.15 : Conception d’un système temps réel : STR- 1. Introduction aux systèmes temps réel  Description et expression des contraintes temps réel,  Représentation simultanée de l’évolution logique et temporelle du système,  Prédiction et estimation des temps de réponse,  Sélection de l’architecture, du matériel et du logiciel,  Compromis et équilibre matériel-logiciel.  Le matériel conditionne les coûts de production,  Le logiciel conditionne les coûts de développement,
  • 41. STR Prof.M.K.MANSOURI 41 1.16 : Exemples généraux de systèmes temps réel : STR- 1. Introduction aux systèmes temps réel  Contrôle des fonctions d'un véhicule automobile  Guidage d'une fusée  Simulateur de vol  Commutateur de réseau ou de téléphonie  Téléphone cellulaire numérique  Contrôle d'une unité de production industrielle (chaîne de montage, usine chimique, traitement des eaux, centrale nucléaire...)  Contrôle des fonctions d'un satellite de télécommunication  Robotique (ex : PathFinder).  …etc.
  • 42. STR Prof.M.K.MANSOURI 42 1.19 : Exemple : Bases de données temps réel : STR- 1. Introduction aux systèmes temps réel  Cotations boursières, enchères sur Internet, … etc.  Cohérence temporelle absolue  Toutes les données d’un même ensemble doivent être rafraîchies avant un seuil de temps  Cohérence temporelle relative. 1.20 : Exemple : Flux de données multimédia :  Son :  Si image alors synchronisation image/son < 80msec  Tél: 16kbds, 192 Kbds qualité CD  Dans la QdS doivent être pris en compte : délai, régularité et synchronisation