Introduction aux systèmes temps réel



Documents pareils
Introduction aux systèmes temps réel. Iulian Ober IRIT

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Informatique industrielle A Systèmes temps-réel J.F.Peyre. Partie I : Introduction

ORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL

Cours A7 : Temps Réel

Introduction aux Systèmes et aux Réseaux, Master 2 CCI

M1 Informatique, Réseaux Cours 9 : Réseaux pour le multimédia

Les systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon

EL48 Machines electriques. Energie et environnement C 28 TD 28 TP 18 THE 46. Niveau GXO 1-GX02 Connaissances scientifiques EL47 Oui Oui

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable

Pierre De Dobbeleer. Spécialiste Project Management, Electronique, Réseaux et télécommunications

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

En DV (PAL ou NTSC), la largeur est toujours de 720 pixels, c'est la proportion du pixel qui change la proportion de l'image.

Introduction au temps réel

QoS et Multimédia SIR / RTS. Introduction / Architecture des applications multimédia communicantes

Temps Réel. Jérôme Pouiller Septembre 2011

Services Réseaux - Couche Application. TODARO Cédric

Comparatif entre Matrox RT.X2 et Adobe Premiere Pro CS3 (logiciel seul)

1- Principe général : 2- Architecture réseau pour ToIP : 3 Bilan. Qu est-ce que la VoIP/ToIP? IPBX/Protocoles utilisés

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Chapitre 1. Introduction aux applications multimédia. 1. Introduction. Définitions des concepts liés au Multimédia (1/2)

Voix sur IP Étude d approfondissement Réseaux

PEINTAMELEC Ingénierie

Veille Technologique : la VoIP

Multimedia. Systèmes, Communications et Applications. Ahmed MEHAOUA

TABLETTE MPMAN MP724 : EMPORTEZ LE MONDE AVEC VOUS

Systèmes temps réel et embarqués Concepts de base, expression des contraintes temporelles

Réseaux M2 CCI SIRR. Introduction / Généralités

Quoi de neuf en contrôle/commande et systèmes embarqués (RIO, WSN...)?

Joint AAL Information and Networking Day. 21 mars 2012

Perspectives en matière de portails géographiques et de 3D

Modules du DUT Informatique proposés pour des DCCE en 2014/2015

EMC Retrospect 7.5 pour Windows. Logiciel de sauvegarde

MARKETING. déjà une. réalité? Bruno Botton - DGA

Cloud Computing et SaaS

Cours n 12. Technologies WAN 2nd partie

Routeur Gigabit WiFi AC 1200 Dual Band

Exemples de contenus non définitifs et non exhaustifs. MIEUX COMPRENDRE POUR MIEUX VENDRE

Les Réseaux Informatiques

MEAD : temps réel et tolérance aux pannes pour CORBA

Maintenir un service de traitement de son ou d image d ordinateur

TRAVAUX DE RECHERCHE DANS LE

Robin Favre Fabien Touvat. Polytech Grenoble RICM 3 ème Année Vendredi 21 Novembre 2008 Etude d Approfondissement Réseau

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

Introduction à l Informatique licence 1 ère année Notes de Cours

SenS Interacti Interact Interac v Interacti e ive Lincor Solutions Ltd. Delivering eservice

Unix/Linux I. 1 ere année DUT. Université marne la vallée

LA SOLUTION DE DISTRIBUTION AUDIO/VIDEO/DATA INTERACTIVE DE NOUVELLE GENERATION (SUR RESEAU INFORMATIQUE)

Une tasse de café fumante est

DOSSIER D INSCRIPTION

Enjeux et perspectives des logiciel temps réel critiques dans l automobile :

PRESENTATION RESSOURCES. Christian Dupaty BTS Systèmes Numériques Lycée Fourcade Gardanne Académie d Aix Marseille

1. Découvrir l iphone 3G et 3G S

ChairE Systèmes Embarqués Critiques (CESEC)

Mes documents Sauvegardés

Preliminary Spec Sheet

Outils permettant la diffusion de l information. Un point sur le droit numérique

ISO/CEI NORME INTERNATIONALE

Performance et simplicité. Logiciel de diagnostic Sleepware G3

Réseaux Mobiles et Haut Débit

Description générale de l'interface

PC, Tablette, Smartphone, comment choisir ce qui me convient le mieux?

Chapitre 9. Modélisation et implémentation d architectures multimédias ; application au cas de la visioconférence à qualité de service garantie

Le contrat SID-Hébergement

Vidyo : une maquette pour la visioconférence sur le poste de travail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX

Béatrice Bertrand CDDP de l Eure. Béatrice Bertrand CDDP de l'eure

Pour un citoyen mieux informé en transports


Efficace et ciblée : La surveillance des signaux de télévision numérique (2)

Le multiplexage. Sommaire

Caractéristiques principales:

L arbre qui tombe est plus bruyant que la forêt qui pousse

Guide des fonctions avancées de mywishtv

C2I. Ou réapprendre ce que l on connait. Florimond GUENIAT Première semaine Cours C2I l IUT de Sceaux C2I 1 / 21. florimond.gueniat@limsi.

Ordonnancement temps réel

Métriques de performance pour les algorithmes et programmes parallèles

Performance et usage. La différence NETGEAR - R7000. Streaming HD illimitée

Ré-ordonnancement adaptatif de messages dans un réseau ad hoc de véhicules

PX8048 Convertisseur audio/vidéo VHS vers USB

Groupe Eyrolles, 2000, 2004, ISBN :

Pré-requis techniques

Enregistrement et transformation du son. S. Natkin Novembre 2001

imaginez-vous un univers de possibilités BOOK imagine yourself in a world of opportunities...

L EXPORTATION d un PROJET.MVP

Les tablettes. Présentation tablettes Descriptif Fournisseurs Caractéristiques Comparatifs Conseils Perspectives Démonstration

Master e-secure. VoIP. RTP et RTCP

Modélisation des interfaces matériel/logiciel

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,

Mathieu Rivoalen. Etude d'approfondissement des réseaux RICM 5 Option Réseaux

CARACTéRISTIQUES du système IQ3xcite

Réalisation d un automate industriel sous Linux

LES OUTILS DE LA MOBILITE

Connectiques et Utilisation d un disque dur multimédia MMEMUP

Exécutif temps réel Pierre-Yves Duval (cppm)

CONFERENCE EXPO-PROTECTION

Transcription:

Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22

Plan du cours 1. Concepts de base : c est quoi un système temps réel. 2. Exemple d un système temps réel critique : un système automobile. 3. Exemple d un système temps réel non critique : une application multimédias. 4. Résumé, ce qu il faut retenir. UE applications de l informatique, Université de Brest Page 2/22

Présentation, définitions (1) "En informatique temps réel, le comportement correct d un système dépend, non seulement des résultats logiques des traitements, mais aussi du temps auquel les résultats sont produits" [STA 88]. Objectifs : Déterminisme logique : les mêmes entrées appliquées au système produisent les mêmes résultats. Déterminisme temporel : respect des contraintes temporelles (ex : échéance). 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. UE applications de l informatique, Université de Brest Page 3/22

Présentation, définitions (2) Exemples de grandeur [DOR 91, DEM 99] : 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. UE applications de l informatique, Université de Brest Page 4/22

Présentation, définitions (3) Classement des systèmes temps réel selon le respect des contraintes temporelles : Respect des contraintes déterministes, probabilistes ou best effort. Systèmes temps réel dur ou critique. Systèmes temps réel mou ou souple. Systèmes temps réel ouvert ou fermé. UE applications de l informatique, Université de Brest Page 5/22

Présentation, définitions (4) Classement des systèmes temps réel selon leur environnement. 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. (ex : une sonde spatiale, un téléphone mobile). 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." Coulouris et al. [COU 94]. Système réparti temps réel pour des raisons de : Fiabilité (redondance). Contraintes physiques. Partage des données, périphériques,... UE applications de l informatique, Université de Brest Page 6/22

Présentation, définitions (5) Problèmes liés aux systèmes embarqués : Intervention humaine directe difficile voire impossible. Problèmes liés aux systèmes répartis : Localisation des ressources (programmes, périphériques, processeurs,...). Hétérogénéité (matériel et logiciel). Performance (recouvrement des communications, prédictibilité). UE applications de l informatique, Université de Brest Page 7/22

Exemples de systèmes temps réel Préface d un livre sur le temps réel souple : "This book is about real-world programming... So real-world programs (and real-world programmers) are all around us. What characterizes all of these real-world applications is a critical dependence on time." [GAL 95] Transports : métro, aéronautique (avions, satellites, spacial), trains, automobile,... Multimédias : décodeurs numériques opentv, décodeurs TNT, MPEG, jeux vidéo. films d animation. Services téléphoniques : téléphone mobile, auto-commutateur. Supervision médicale, écologique. Système de production industriel : centrale nucléaire, chaîne de montage, usine chimique. Robotique (ex : PathFinder). etc... UE applications de l informatique, Université de Brest Page 8/22

Plan du cours 1. Concepts de base : c est quoi un système temps réel. 2. Exemple d un système temps réel critique : un système automobile. 3. Exemple d un système temps réel non critique : une application multimédias. 4. Résumé, ce qu il faut retenir. UE applications de l informatique, Université de Brest Page 9/22

Exemple de l automobile (1) Architecture: Matériel et logiciel dédiés : ECU = Electronic Control Unit (processeur). CAN = Controller Area Network (réseau). Système d exploitation OSEK-VDX. Système fermé, validé a priori. Utilisation de redondance matérielle et logicielle et de matériel dont le coût/fiabilité est élevé (sauf automobile). UE applications de l informatique, Université de Brest Page 10/22

Exemple de l automobile (2) Exigences des systèmes temps réel critiques : Contraintes temporelles : temps de réponse, échéance, date d exécution au plus tôt, cadence, etc. Dimensionnement au pire cas et réservation des ressources. Exemple de l ESP (Electronic Stability Program) : Capteurs concernés : volant, roues. Actionneurs : injection moteur, frein. Contrainte : réaction sur les freins et l injection suite à un coup de volant brusque en moins de 150 milliseconde = temps de réponse 150 ms. UE applications de l informatique, Université de Brest Page 11/22

Exemple de l automobile (3) Système d exploitation : couche logicielle qui gère les périphériques et founit une interface simplifiée avec le matériel [TAN 01]. Objectif : Partager les ressources équitablement. Abstraire le matériel et donc faciliter son utilisation. Adapté à tous les types d applications. Systèmes d exploitation pour applications non temps réel : Windows, Linux, Mac-OS. UE applications de l informatique, Université de Brest Page 12/22

Exemple de l automobile (4) 30 Nombre d entreprises utilisant le système 25 20 19.7 21.42 Pourcentage 15 10 12.84 10.19 5 vxworks psos Solution propriétaire 6.64 5.96 4.69 QNX Windows NT 3.89 2.86 2.41 2.3 1.95 1.83 1.72 1.61 OS9 VRTX LynxOS irmxiii Windows CE Nucleus+ RTX RT-Linux ChorusOS Autres Systèmes temps réel embarqués Système d exploitation pour le temps réel : Très nombreux systèmes : un système d exploitation pour un domaine applicatif, voire une application. Souvent simple, déterministe, de faible envergure, configurable. UE applications de l informatique, Université de Brest Page 13/22

Exemple de l automobile (5) Compilation croisée : UE applications de l informatique, Université de Brest Page 14/22

Plan du cours 1. Concepts de base : c est quoi un système temps réel. 2. Exemple d un système temps réel critique : un système automobile. 3. Exemple d un système temps réel non critique : une application multimédias. 4. Résumé, ce qu il faut retenir. UE applications de l informatique, Université de Brest Page 15/22

Exemple de Msn sur Internet (1) Architecture : Plate-forme généraliste. Déterminisme temporel faible à cause du matériel et du logiciel : PC + windows + Internet. Application interactive. Débits variables et difficiles à estimer hors ligne (codage des informations). UE applications de l informatique, Université de Brest Page 16/22

Exemple de Msn sur Internet (2) Exigences pour cette application multimédia (qui est un système temps réel non critique) : Contraintes temporelles différentes : synchronisations intra et inter-flux, latence de bout en bout,... Système ouvert, impossible de valider a priori. Impossible de réserver les ressources ou d analyser les besoins : on fait au mieux ("best-effort"). Besoin en matériel quasi-infini! UE applications de l informatique, Université de Brest Page 17/22

Exemple de Msn sur Internet (3) Exemples de contraintes : 1. Contraintes spaciales : Audio qualité voie téléphonique : 64 Kbits/s Audio qualité CD : 1,4 Mbits/s Vidéo MPEG 2 CBR : 2 Mbits/s (cf. TV numérique) 2. Contraintes temporelles : Intra-flux vidéo : cadence de 40 ms (Europe, PAL/SECAM) ou 33 ms (USA, NTSC) Voix-lèvres (inter-flux) : variation de +/- 80 ms maximum (gigue) Téléphonie : délais de bout en bout 250 ms = Contraintes temporelles très contextuelles (type de films, capacité de perception du spectateur). UE applications de l informatique, Université de Brest Page 18/22

Plan du cours 1. Concepts de base : c est quoi un système temps réel. 2. Exemple d un système temps réel critique : un système automobile. 3. Exemple d un système temps réel non critique : une application multimédias. 4. Résumé, ce qu il faut retenir. UE applications de l informatique, Université de Brest Page 19/22

Résumé, ce qu il faut retenir Systèmes temps réel : systèmes informatiques contraints par le temps. De très nombreux systèmes informatiques sont temps réel. Systèmes temps réel critiques et non critiques. Systèmes temps réel critiques : Conséquences tragiques (vies humaines, faillites économiques). en cas de non respect des contraintes temporelles. Logiciels, matériels spécifiques. Systèmes temps réel non critiques : Conséquences mineures en cas de non respect des contraintes temporelles (ex: application multimédias). Logiciel et matériel généralistes. UE applications de l informatique, Université de Brest Page 20/22

Références (1) [COU 94] G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems Concepts and Design, 2nd Ed. Addison-Wesley Publishers Ltd., 1994. [DEM 99] I. Demeure and C. Bonnet. Introduction aux systèmes temps réel. Collection pédagogique de télécommunications, Hermès, septembre 1999. [DOR 91] A. Dorseuil and P. Pillot. Le temps réel en millieu industriel. Edition DUNOD, Collection Informatique Industrielle, 1991. UE applications de l informatique, Université de Brest Page 21/22

Références (2) [GAL 95] B. O. Gallmeister. POSIX 4 : Programming for the Real World. O Reilly and Associates, January 1995. [STA 88] John Stankovic. «Misconceptions about real-time computing». IEEE Computer, October 1988. [TAN 01] A. Tanenbaum. Modern Operating Systems. Prentice-Hall, 2001. UE applications de l informatique, Université de Brest Page 22/22