Cours A7 : Temps Réel

Documents pareils
Cours A7 : Temps Réel

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

Introduction à l informatique 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

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

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

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

Introduction au temps réel

Ordonnancement temps réel

Introduction aux systèmes temps réel

REALISATION d'un. ORDONNANCEUR à ECHEANCES

Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement

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

Canevas d aide au montage et cahier des charges de votre action de formation

Ordonnancement temps réel

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

Conception des systèmes répartis

Guide pour l Installation des Disques Durs SATA et la Configuration RAID

Dossier d'étude technique

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

SOMMAIRE INTRODUCTION 9 CHAPITRE 1. LES MÉCANISMES DE BASE 11 CHAPITRE 2. LES PRODUITS NÉGOCIABLES EN BOURSE Les actions 31

Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire

Sécurité et sûreté des systèmes embarqués et mobiles

CEG4566/CSI4541 Conception de systèmes temps réel

C.M. 1 & 2 : Prise en main de Linux

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

Notice d utilisation. Thermo Call TC3

CH.3 SYSTÈMES D'EXPLOITATION

BULK SMS Envoi en masse d un message texte moyennant un téléphone mobile (GSM)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

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

1 Mesure de la performance d un système temps réel : la gigue

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

Programmation C. Apprendre à développer des programmes simples dans le langage C

Atelier C TIA Portal CTIA06 : programmation des automates S7-300 Blocs d organisation

Internet et Multimédia Exercices: flux multimédia

Processus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace

1 Si par exemple le choix est entre une thérapie pris en charge par le système de santé public et une thérapie à 100 la séance,

Limitations of the Playstation 3 for High Performance Cluster Computing

Partie 7 : Gestion de la mémoire

L élaboration de la fiche de poste

L AUTOMATISME LE SIGNAL

Présentation du programme d automatisation du bâtiment

Gestion de projet Gestion de configuration Gestion de Conflits. Lydie du Bousquet Philippe Lalanda

LA CONDUITE DE L ACTION COMMERCIALE

10 problèmes de réseau courants que PRTG Network Monitor vous aide à résoudre

Algorithmique et systèmes répartis

Suivi d une réaction lente par chromatographie

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

MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS. Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln.

La taille du journal application de l observateur des événements de Windows doit être suffisante pour contenir tous les messages.

2. Technique d analyse de la demande

Guide des technologies front-end en micro-assurance

Warehouse Management System. Think Synchronization

Parrot démontre sa maîtrise technologique avec le Bebop Drone, un quadricoptère de loisirs avec des caractéristiques d un drone professionnel.

Solutions logicielles de gestion énergétique coopérante smart building in smart grid

IUT BREST UN LOGICIEL SCADA : PC VUE 2010 DEP.GMP

Les systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia

L énergie de créer. EDF Entreprises vous accompagne pour vous aider à mieux choisir vos énergies et mieux maîtriser votre consommation.

Ministère des Affaires étrangères et européennes. Direction de la politique culturelle et du français. Regards VII

Virtualisation de postes de travail et d application. Jean-Claude DAUNOIS Senior Systems Engineer VMware

IBM Tivoli Monitoring, version 6.1

Organigramme / Algorigramme Dossier élève 1 SI

Solutions logicielles de gestion énergétique coopérante smart building in smart grid : Exemple CANOPEA. Xavier Brunotte info@vesta-system.

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

Caractéristiques techniques

«Identifier et définir le besoin en recrutement»

INTRODUCTION A LA SUPERVISION

Julien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration

MIVISU VIABILITÉ HIVERNALE

Communiqué de Lancement. Sage Intégrale V4.50

6.5.2 Reset_Scénario Démarrage_Zibase Mise sous alarme, surveillance Eclairage Allée Temp

Analyse des coûts. 1 ère année DUT GEA, 2005/2006 Analyse des coûts

Mes documents Sauvegardés

Concept de machine virtuelle

Haute disponibilité avec Microsoft SQL Server

Cours de Génie Logiciel

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

Sonde de surveillance environnementale gamma

Initiation à LabView : Les exemples d applications :

Entreprise Aujourd hui

PACK PMI. Exclusivement par PMI Soft. Le droit à. la gestion intégrée. pour tous

Département de l Hérault

energy BOX WEB Automates de GTB

Applications Embarquées Critiques

BIG DATA et données externes dans les modèles de tarification

nexus Timestamp Server

Ordinateurs, Structure et Applications

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

La continuité de service

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

CI1 - A quel besoin répond un objet technique?

PFE. Gestion de portefeuille électronique par carte à puce. Equipe N 16 Projet N 98. «Sujet non industriel proposé par les élèves»

Sur un ordinateur portable ou un All-in-One tactile, la plupart des éléments mentionnés précédemment sont regroupés. 10) 11)

Bases de données Cours 1 : Généralités sur les bases de données

Module 197 Développer et implanter un concept de gestion des versions et des configurations

Transcription:

Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE)

Organisation des cours 12 prochaines séances 6 janvier au 24 mars, Partiel le 27 janvier, Les 3 et 24 février pas de cours, 9 séances Temps Réel.

Motivations Aujourd hui, comprendre ce qu est un STR, pourquoi, le vocabulaire et les concepts Comprendre les mécanismes systèmes mis en oeuvre dans un système temps réel

Définition(s): Temps réel Systèmes Temps Réel 1. Le temps nécessaire pour résoudre un problème. 2. La résolution d'un problème pendant le temps où un processus physique est actif de manière à utiliser les résultats pour guider le processus physique. (http://www.dicofr.com/)

Systèmes Temps Réel Système dont le résultat dépend de l exactitude des calculs mais surtout du temps où sont produits les résultats. Tâche délai (critique) échéance

Classification de systèmes TR 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

Classification des systèmes TR (1) É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)

Classification des systèmes TR (2) Système TR dur : dans ce cas l arrivée après échéance d un événement attendu ne doit pas se produire (gestion d erreurs) Ex: système de contrôle d avion, freinage ABS Système TR mou dans le cas ou l arrivée exceptionnelle après échéance d un événement attendu ne mettra pas le système en danger (erreur) Ex: système de distribution de son (streaming)

Notion de criticité et QdS Système TR dur, la criticité est une fonction booléenne : vrai/faux; ça passe ou ça casse! Système TR lâche, la criticité est plus complexe à définir. On parlera de QdS (qualité de services, de seuil d acceptabilité, )

Exemple: BD 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

Exemple: Flux de données multimédia Son Tél: 16kbds, 192 Kbds qualité CD Si image alors synchronisation image/son < 80msec Dans la QdS doivent être pris en compte : délai, régularité et synchronisation

Exemples: Un système de freinage est-il TR? Une application paie est-elle TR? Une application gestion de colis est-elle TR? Une carte à puce est-elle un STR? Une téléphone GSM est-il un STR? Discuter les exemples

Système TR et son environnement 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é Capteurs Système Temps Réel Actionneurs

Classification des STR 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

Prévisibilité et déterminisme Prévisibilité: capacité à déterminer le temps des opérations à réaliser Déterminisme: objectif à atteindre pour connaître le temps d exécution d un programme

Exercice/Question Quelles sont les facteurs de non-déterminisme en temps d exécution dans un ensemble (machine + OS)? interruptions E/S temps calcul mémoires (caches, MV,...) ordonnancement des tâches etc...

Autres aspects du TR Fiabilité (environnement pouvant générer des erreurs, satellites par exemple) Embarqué (non intervention possible) Spécialisé/dédié

Un STR : points importants Le temps Les contraintes temporelles La nature des contraintes lâche, dure La Tolérance aux fautes, domaine spécifique, embarqué,...

Retour aux exemples Un système de freinage est-il TR? Unix/Linux sont-ils TR? Une application paie est-elle TR? Le système de pilotage d un satellite est-il TR? Une carte à puce est-elle un STR? Une téléphone GSM est-il un STR?

Systèmes d exploitation Soit une machine avec : processeur mémoires et dispositif d E/S Un traitement: acquisition calcul renvoi des résultats

Acquisition des données Mécanismes fondamentaux des SE d acquisition des données: scrutation cyclique gestion d interruptions

Scrutation cyclique (1/3) Lire les données sur le tampon d E/S Algorithme faire faire %attente% tq données vide lire données traiter données % rangement mémoire % jusqu à arrêt système

Scrutation cyclique (2/3) Appliquer sur le STR Capteurs Système Temps Réel Actionneurs

Scrutation cyclique (3/3) Avantages scrutation Simplicité de programmation Temps de traitement facile à évaluer Inconvénients scrutation Augmentation du nombre de périphériques et les cycles sont différents impliquent une plus grande complexité Pas d approches modulaires possibles

Interaction par interruption Reprenons notre machine, si celle-ci exécute un programme. Comment informer celui-ci que des données sont disponibles dans le tampon d E/S?

La gestion d une interruption Pour interrompre l exécution du programme il faut conserver l état du processeur (CO, valeur des registres,...) Exécuter le sous programme de l IT Restituer l état initial puis reprendre le programme 1 2 3 t

Limites Temps processeur est passe (perdu) dans de l attente, de l observation,... La solution c est de récupérer les temps morts et de les affecter à d autres activités (tâches) Suite la prochaine fois avec le multitâche...

Bibliographie Introduction aux systèmes temps réel Ch Bonnet & I. Demeure, Ed Hermes