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



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

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 temps réel. Iulian Ober IRIT

Introduction aux systèmes temps réel

11 Février 2014 Paris nidays.fr. france.ni.com

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

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

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

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

Panneau solaire ALDEN

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

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

MOTORISATION DIRECTDRIVE POUR NOS TELESCOPES. Par C.CAVADORE ALCOR-SYSTEM WETAL Nov

NO-BREAK KS. Système UPS dynamique PRÉSENTATION

La Gestion Technique Centralisée. Qu est ce que c est? A quoi ça sert?

Mes documents Sauvegardés

Ordonnancement temps réel

TABLETTE MPMAN MP724 : EMPORTEZ LE MONDE AVEC VOUS

Limitations of the Playstation 3 for High Performance Cluster Computing

L apprentissage automatique

UE 503 L3 MIAGE. Initiation Réseau et Programmation Web La couche physique. A. Belaïd

IV - Programme détaillé par matière (1 fiche détaillée par matière)

Dan Istrate. Directeur de thèse : Eric Castelli Co-Directeur : Laurent Besacier

IBM Tivoli Monitoring, version 6.1

Introduction au temps réel

MBR225. Le module a été conçu et réalisé conformément aux normes en vigueur portant sur la sûreté et la fiabilité des installations industrielles.

LES LOIS PHYSIQUES APPLIQUÉES AUX DEUX-ROUES : 1. LA FORCE DE GUIDAGE

Veille Technologique : la VoIP

Démêler la complexité

Equipement. électronique

Masses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA

Internet et Multimédia Exercices: flux multimédia

OTIS. Mod. La modernisation réinventée. Plus de sécurité Plus de fiabilité Plus de confort. Et plus d attention à l environnement.

AÉRIENNE UNE STRATÉGI. Organisation. n de l aviation. Montréal, SOMMAIRE et à moyen terme. la surveillance. fusion de. tions du 5.3.

Caractéristiques techniques

Extrait des Exploitations Pédagogiques

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

DimNet Gradateurs Numériques Evolués Compulite. CompuDim 2000

Solution Vidéo Surveillance

Dimensionnement d une roue autonome pour une implantation sur un fauteuil roulant

T101, serveur de temps haute précision

Leçon 1 : Les principaux composants d un ordinateur

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

FAG Detector III la solution pour la surveillance et l équilibrage. Information Technique Produit

La solution intégrée pour la gestion globale d une flotte d aéronefs.

Enregistrement et transformation du son. S. Natkin Novembre 2001

Conception des systèmes répartis

UNIVERSITE D'ORLEANS ISSOUDUN CHATEAUROUX

LES OUTILS DE LA MOBILITE

SmartClass+ Plateforme de gestion de classe. Qu importe le lieu, le moment, l appareil. ipad, Mac Android Windows Téléphones intelligents «AVEC»

Classification des actions d efficacité énergétique

BK 2515, BK 2516 DAS 50 DAS 30

VIII- Circuits séquentiels. Mémoires

NPIH800 GENERATION & RESEAUX. PROTECTION de COURANT TERRE

Problème posé. Sécurité. Sécurité Humaine. Exploitant. électronique. Politique Sécurité. Réglementation. Comportements

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

Communication parlée L2F01 TD 7 Phonétique acoustique (1) Jiayin GAO <jiayin.gao@univ-paris3.fr> 20 mars 2014

NOTRE OFFRE GLOBALE STAGES INTER-ENTREPRISES

La couche physique de l ADSL (voie descendante)

Étude des Corrélations entre Paramètres Statiques et Dynamiques des Convertisseurs Analogique-Numérique en vue d optimiser leur Flot de Test

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

Comme chaque ligne de cache a 1024 bits. Le nombre de lignes de cache contenu dans chaque ensemble est:

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

Le Haut Débit en mobilité. Salon des Technologies de l information et de la communication CWTC - Baie Mahault le 28 nov 2008

L AUTOMATISME LE SIGNAL

Capacité étendue d utilisation en réseau

Introduction. Gestion de la consommation énergétique. Contexte du cloud computing Instrumentation et contrôle

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

FAG Detector II le collecteur et l analyseur de données portatif. Information Technique Produit

Logique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.

De l automatisme à la domotique...

GESTION CENTRALISÉE D EAU CHAUDE ET D ÉNERGIES APPLICATIONS STANDARDS ET NON STANDARDS

Télémédecine. F. Brunet 28 octobre 2010

Cours CSE-2009 MSR - Corrigé TEST 1

Eternelle question, mais attention aux arnaques Question qui est souvent mise en premier plan => ce n est pas une bonne idée

VMT Mod : Ventilation modulée pour le tertiaire

CENTRALE DE SURVEILLANCE EMBARQUEE MULTIMEDIA

Cours n 12. Technologies WAN 2nd partie

2. Couche physique (Couche 1 OSI et TCP/IP)

SUR MODULE CAMÉRA C38A (OV7620)

FICHE TECHNIQUE CARACTERISTIQUES TECHNIQUES DE L'AEDPLUS

UN PROCEDE DE SUPERVISION ET TELESURVEILLANCE A DISTANCE : UN OUTIL PEDAGOGIQUE FAVORISANT L INITIATION AU TRAVAIL DE GROUPE

1. Introduction à la distribution des traitements et des données

Projet Robot Centaure

CEP - Complex Event Processing ou Traitement des événements complexes

Architecture de la Gestion du Technique du Bâtiment.

4. Utilisation d un SGBD : le langage SQL. 5. Normalisation

Protect 5.31 Sortie monophasée 10kVA 120kVA Protect 5.33 Sortie triphasée 25kVA 120kVA. Alimentations Statique Sans Interruption

Présentation du module Base de données spatio-temporelles

CAHIER DES CHARGES D'IMPLANTATION

Module Relais de temporisation DC V, programmable

La Geo-Business Intelligence selon GALIGEO avec 26/10/2005 1

ELCA Forum 2014 BIG DATA

Le réseau au service de la Gestion Technique des Bâtiments. Présentation d'un service de vidéosurveillance

SpeechiTablet Notice d utilisation

une expérience de 30 ans dans l infrastructure

Centrale de surveillance ALS 04

Fiche technique CPU 314SC/DPM (314-6CG13)

Transcription:

Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme: contrôle, supervision, pilotage -Médecine -Navigation aérienne -Production automatisée - Traitement du signal - radar - Base de données temps réel - Multimédia - Télécommunications -Résumé et terminologie 1

Types de systèmes informatiques Systèmes transformationnels (calcul scientifique, gestion de BD) - les données sont disponibles au lancement - les instants de productions des résultats ne sont pas contraints Systèmes interactifs (systèmes transactionnels ou outils bureautiques) - les résultats dépendent de données produites par l environnement - les instants de production respectent des valeurs statistiques Systèmes réactifs ou temps réel - résultats entièrement conditionnés par l environnement connecté - les instants de production dépendent de la dynamique du procédé Définition Groupe CNRS sur la problématique temps réel 1988 Le comportement d un système informatique est qualifié de «temps réel» lorsqu il est assujetti à l évolution d un procédé qui lui est connecté et qu il doit piloter ou suivre en réagissant à tous ses changements états. 2

Validité d un programme TR Outre la correction algorithmique le temps intervient dans la validité du programme: -le temps de réaction doit être adapté aux événements externes -Le programme doit pouvoir fonctionner en continu en maintenant sa capacité à traiter le flux de données d entrée -les temps de calculs sont connus (estimés) et peuvent être utilisés dans une analyse de réactivité Valider un système temps réel c est démontrer rigoureusement que le système a le comportement spécifié Exemple: contrôle numérique Régulation ou asservissement simple Entrée de Référence r(t) yk, rk sont les valeurs échantillonnées k=0,1,2,3 à la fréquence T fixe qui dépend du procédé et de la loi de contrôle. A/D A/D y(t) capteur rk yk Loi de contrôle calcul procédé Exemple: Dans un contrôle de moteur d automobile on échantillonne plus fréquemment l angle de rotation du vilebrequin toutes les 10-6 sec que la température du moteur toutes les 10 sec uk D/A u(t) actionneur 3

Exemple: contrôle, supervision et pilotage de système Ces systèmes recouvrent une gamme d applications très large et variée. interface opérateurs contrôle commande et pilotage (multi-niveau) Interface physique Ces systèmes ont une architecture hiéarchique avec au moins 2 niveaux: bas - interface physique haut - guidage/planification événements mesures commandes procédé Exemple: contrôle, supervision de patients Niveau bas : contrôle de pression sanguine, rythme respiratoire, taux de glucose Niveau haut: système expert qui inter-agit avec le personnel médical et sélectionne le tableau d états à lui afficher niveau bas haut période milliseconde à seconde minutes ou heures Type exécution Déterministe (toujours le même code) Variables (dépend de la situation) 4

Exemple: Générateur cyclique Dans le cas de contrôleurs numériques ou pour les couches basses d un contrôle de Patient on peut adopter une architecture logicielle très simple de type générateur cyclique. Principe: Le corps du programme est une boucle permanente qui tourne à une fréquence dite cycle de base et qui active des activités dont la fréquence est un multiple du cycle de base. On utilise un seul signal attaché à l horloge et l application gère à la fois l activation des différentes activités et leur ordre exécution. Architecture très légère facile à implanter sur un micro-contrôleur sans OS. Exemple: Générateur cyclique Chaque 1/180 éme de seconde faire - Lecture/validation des capteurs sélectionnés, si défaut reconfiguration - Chaque 6 cycles (30 Hz) tâches avionique - lecture claviers, sélection du mode - normalisation des données et transformation des coordonnées - mise à jour des référence pour la trajectoire - Chaque 6 cycles (30 Hz) calculs - loi de contrôle phase 1 pour le contrôle de la dérive (glissement plan) - loi de contrôle phase 1 du roulis (axe horizontal) - loi de contrôle phase 1 du travers (axe vertical) - loi de contrôle de coordination des 3 axes - Chaque 2 cycles (90 Hz) en utilisant les résultats des 2 cycles précédents - loi de contrôle phase 2 pour le contrôle de la dérive - loi de contrôle phase 2 du roulis et coordination des 2 axes - Calcul loi de contrôle globale du travers à partir des résultats du cycle à 90hz - Sortie des commandes pour les actionneurs - Faire les auto-tests Attente du cycle suivant 5

Exemple: navigation aérienne Interfaces opérateurs sol Niveau 2 Capteurs à terre Radars Calculs d états Contrôle de l espace aérien Niveau 1 Données de navigation Calculs d états Gestion du vol Niveau 0 Calculs d états Régulation du vol avions Capteurs embarqués actionneurs Exemple: contrôle de procédés manufacturiers (usines) Processus continus optimisation supervision automatisme réflexe capteurs/actionneurs Processus discontinus modèle fonctionnel NBS National bureau of Standards général atelier cellule machine équipement Gestion des flux contrôle/ commande 6

Commande de cellule Equipements moteurs Machine 1 Machine 2 Machine 3 Exemple: contrôle de procédés manufacturier Architecture matérielle type: Planification groupe Maintenance Supervision/Gestion d atelier GPAO WAN DB groupe Réseau local industriel Contrôleur de cellule Réseau local industriel DB infos site Contrôleur de cellule Réseau local industriel Machine 1 Machine 2 Bus de terrain Machine 3 Bus de terrain 7

Exemple: Traitement du signal Le traitement du signal est utilisé pour: - filtrage digital pour extraire l information pertinente - vidéo ou son pour compresser/décompresser - traitement radar L application de traitement du signal type produit à chaque période échantillonnage une ou plusieurs sorties qui sont des sommes pondérées de n entrées: n x(k) =? a(k,i) y(i) i=1 La complexité du calcul est au minimum en O(n) et est le plus souvent réalisé par des processeurs spécialisés de type DSP. Exemple: application radar Mémoire partagée Batterie de processeurs de signaux Échantillons/bins trajectoires DSP Contrôle/états Paramètres de traitements Processeur de données 8

Exemple: bases de données temps réel Elles sont utilisées dans des domaines tels que: -cotations financières -gestion de trajectoires de mobiles -fichiers temps réel -gestion des états partagés de systèmes La différence entre une base de données temps réel et une base de données conventionnelle tient dans la nature transitoire des informations qu elle contient. Elles sont destinées à contenir des «objets image» qui représentent les états d objets très dynamiques du monde réel Exemple: base de données temps réel Définitions: Cohérence temporelle absolue (absolute temporal consistency) Un ensemble de données associées à un objet est dit «absolument cohérent en temps» Si l âge maximum de toute donnée de l ensemble est inférieur à un seuil fixe. Cohérence temporelle relative (relative temporal consistency) Un ensemble de données associées à un objet est dit «relativement cohérent en temps» Si la différence d âge entre les donnée de l ensemble est inférieur à un seuil fixe 9

Exemple: base de données temps réel Modèle de cohérence: Dans l implantations des bases de données temps réel on privilégiera la rapidité sur la sécurité des données (pas de commit en 2 phases pour sérialiser les mises à jour). Ceci se justifie aussi par le fait que dans la plupart des cas il y a peu de concurrence en écriture sur la même donnée. Pour la lecture il faut faire attention au règles de causalités qui peuvent imposer que tous les consommateurs aient une même perception dynamique d évolution des objets (essentiellement un problème en environnement de base de donnée répartie) Exemple: base de données temps réel Exemple: spécification de quelques bases de données temps réel (1996) application Taille octets temps de réponse moyen temps de réponse maxi cohérence absolue cohérence relative conservatio n Contrôle du trafic aérien 20000 0,5 ms 5 ms 3 sec 6 sec 12 heures Mission aérienne 3000 0,05ms 1 ms 0,05 sec 0,2 sec 4 heures Mission spatiale 5000 0,05ms 1 ms 0,20 sec 1 sec 25 ans Contrôle de procédé en usine 0,8ms 5 sec 1 sec 2 sec 24 heures 10

Exemple: multimédia Le stockage, la transmission et l affichage de flux vidéo, audio, image ou graphique ont des contraintes temporelles fortes Cas de l image: Standard vidéo 30 images/sec (TVHD 60 images/sec), téléconférence 10 à 20 MPEG-2 débit en compression selon l application de 1,5 à 35 Mbit/sec MPEG-2 est un très gros consommateur de CPU (surtout en compression) Cas du son: De 16kbit/sec téléphone à 128kbit/sec son qualité CD Dans un diffusion son/image la synchronisation des lèvres impose un décalage de moins de 80 msec entre les flux audio et vidéo. L oreilles est très sensible aux glitchs ou trous de quelques centaines de millisecondes. Exemple: multimedia Les applications multimédia ont donc des spécifications temporelles fortes, particulièrement sur les applications inter-actives (TV en direct) ou les compression, transmission et compression des deux flux doivent respecter des contraintes de: -délai de bout en bout -régularité des flux -synchronisation des flux 11

Résume sur les classes d applications temps réel classe Purement cyclique Majoritairement cyclique caractéristiques Les tâches s exécutent périodiquement Les I/O sont scrutées périodiquement Les demandes en ressources sont stables (varient peu) Les tâches s exécutent périodiquement Le système doit répondre à quelques I/O événements externes (commandes, récupération d erreur ) illustration Un contrôleur numérique Un calcul de FFT sur un échantillon de taille fixe Avionique Contrôle de procédé classe Asynchrones mais partiellement prévisible caractéristiques Les tâches sont non périodiques Leur durée exécution est très variable Les ressources consommées sont variables d une exécution à l autre MAIS Les variations sont bornées et on a des informations statistiques sur les variations illustration Multimédia Poursuite dans les traitements radar Télécommunications Acquisition de données HEP Traitements de flux de données (data flow) Asynchrone et imprévisible Chargée de réagir à des événements asynchrones Déclenchement de tâches de haute complexité Contrôleur très intelligent 12

Terminologie Systèmes réactifs ou systèmes synchrones Systèmes qui réagissent instantanément à des stimulations externes (le temps de la réaction est négligeable vis-à-vis du rythme de stimulation, exemple jeux vidéo) Systèmes cycliques Systèmes dont tout le comportement n est rythmé que par le temps sur la base d une horloge. Systèmes asynchrones Systèmes dont le comportement est un mélange des deux précédents et dont le temps D exécution des tâches peut entraîner des délais dans la prise en compte événements. Stimulé par des événements externes asynchrones et des horloges. 13