Applications Embarquées Critiques

Dimension: px
Commencer à balayer dès la page:

Download "Applications Embarquées Critiques"

Transcription

1 Applications Embarquées Critiques Jean-Marc Pierson Cours DL Jean-Marc Pierson Applications Embarquées Critiques (1/50)

2 Applications Embarquées Critiques: Plan Caractéristiques générales, contraintes et contexte Sûreté de fonctionnement, Performances, Systèmes d exploitation? RTOSs Outils: JavaRT, CorbaRT Jean-Marc Pierson Applications Embarquées Critiques (2/50)

3 Système embarqué On doit pouvoir être assuré du comportement: (et rassuré par son comportement) Fiabilité: probabilité que le système fonctionne correctement à un instant t s il fonctionnait à t=0 Maintenance: probabilité que le système fonctionne correctement après une erreur Sûreté: Pas de conséquence dramatique Sécurité: communication authentifiée et confidentielle Il est souvent dédié à un domaine applicatif. Sa durée de vie varie de quelques mois (mobiles) à plusieurs décennies (avionique). Il possède des interface de communication spécifiques. Jean-Marc Pierson Applications Embarquées Critiques (3/50)

4 Contraintes Un SE doit être efficace en: Energie (ressource limitée) Performance (réactivité) Taille (mémoire code + exécution) Prix (quoique...) Choix/compromis souvent nécessaire. Jean-Marc Pierson Applications Embarquées Critiques (4/50)

5 Critique ou pas? Un système embarqué est dit critique si le fait de ne pas pouvoir en dépendre peut avoir des conséquences graves. ("dependability") Le resepct de la sûreté de fonctionnement est un élément clé d un SE critique. Nécessité de prendre la mesure des risques au plus tôt, dès la conception. Notion de prédictibilité, de pires cas. Exemples: Justesse des résultats (confiance) Réactivité dans le temps (senseurs avec énergie manquante) Réactivité dans les temps (délai non respecté)... Jean-Marc Pierson Applications Embarquées Critiques (5/50)

6 Sûreté de fonctionnement Nécessité de gérer à la fois le temps de conception (durée de vie en rapport) et la sûreté du SE. Méthodes formelles de vérification de programme: Coûteux en temps, dédié à des projets pas trop grands, ou des parties de projet. Un challenge : la certification (standards, procédure de certification, organismes de certification). Exemples: système Coq. preuves de programme. langage B. modélisation par réseau de Petri, automates. Jean-Marc Pierson Applications Embarquées Critiques (6/50)

7 Paradigmes de conception dédiés design for cost design for performance design for safety Jean-Marc Pierson Applications Embarquées Critiques (7/50)

8 Contraintes temporelles (temps-réel) Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Un système temps-réel doit réagir aux stimuli de son environnement dans un délai temporel imposé par l environnement, l application Ex: système de freinage, automatisme, procédés industriels... Pour un système temps-réel, il ne suffit pas de fournir des résultats corrects, il faut aussi les fournir en temps et en heure -> Résultats corrects au sens temporel. Des résultats corrects mais tardifs sont faux. Jean-Marc Pierson Applications Embarquées Critiques (8/50)

9 Temps réel dur et mou Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Dur (Hard real-time): une contrainte est dite "dure", si son non respect résulterait en une catastrophe (Kopetz 1997). Temps de réponse garanti, pas de mesure statistiques. Pour s assurer du temps réel dur, il "suffit" de s assurer que toutes les deadlines dures sont respectées. Connaissance a priori de la charge du système (peu de variabilité, système sous-chargé, comportement périodique). Lâche (Soft real-time): toutes les autres contraintes temporelles. Le but est alors de minimiser les retards, le nombre de deadlines ratés,.. avec des systèmes variants grandement. Jean-Marc Pierson Applications Embarquées Critiques (9/50)

10 Temps réel et Performance Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Un système temps réel n est PAS un système plus rapide! Par exemple, un Unix RT sera 10% plus lent. Ceci est dû à la préemptibilité du système temps réel, qui peut s interrompre plus souvent car tout (ou presque) est pré-emptible: les sections critiques sont réduites a minima. Les utilisateurs veulent des tâches qui se terminent dans les temps. Et pas au plus vite! Commencer plus vite ne garantit pas de finir plus vite: dû au contention, conflits d accès, dépendances entre tâches. L échelle de temps peut varier grandement. Un senseur de température peut "rater" un échantillon toutes les microsecondes, mais envoyer un missile au mauvais endroit (plusieurs secondes) ou ne pas maîtriser une réaction chimique (de l ordre de l heure par exemple) peut être ennuyeux... Jean-Marc Pierson Applications Embarquées Critiques (10/50)

11 Prédictabilité et respects des délais Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais La prédictibilité est presque impossible à assurer. Pour respecter les délais, deux méthodes : sur dimensionner les ressources: RAM, CPU, BW. Pb sur sur-dimensionnement car il est adhoc (dépend de la chance?), basée sur des pire cas (peu fréquents), coûte cher en ressources. Et peu s avérer inefficace. faire une gestion de ressources dirigée par le respect des délais. L important est de finir les tâches à temps, pas de les commencer. Jean-Marc Pierson Applications Embarquées Critiques (11/50)

12 Aller vite n est pas toujours le mieux! Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Jean-Marc Pierson Applications Embarquées Critiques (12/50)

13 Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Sur-dimensionnement est mauvais : meilleur CPU Jean-Marc Pierson Applications Embarquées Critiques (13/50)

14 Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Sur-dimensionnement est mauvais: plus de proc. Jean-Marc Pierson Applications Embarquées Critiques (14/50)

15 Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Sur-dimensionnement est mauvais: plus de proc. Jean-Marc Pierson Applications Embarquées Critiques (15/50)

16 Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Sur-dimensionnement est mauvais : meilleurs CPUs Jean-Marc Pierson Applications Embarquées Critiques (16/50)

17 Performances et Systèmes Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Systèmes non temps-réel : les situations considérées importantes sont les plus fréquentes. Système temps-réel dur : les situations les plus contraintes sont considérées, même si peu fréquentes, sans regarder l impact en termes de performances globales ou de coût. Système temps-réel lâche : les situations considérées importantes sont celles avec des exceptions avec grand stress (situations d urgence, pannes inattendues): les cas pire sont difficiles à imaginer. les surcharges fréquentes, l adaptivité est la règle. Des pratiques comme par exemple l utilisation de caches peut s avérer contre-productif (en cas de miss), la gestion des exceptions sans sortie d urgence peut être catastrophique,... Jean-Marc Pierson Applications Embarquées Critiques (17/50)

18 Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Gestion de ressources dirigée par les délais L important est de finir les tâches à temps, pas de les commencer. Besoins: Définir des contraintes de temps pour l achèvement des tâches Définir des politiques d ordonnancement pour le choix de la tâche à exécuter, basées sur le respect des contraintes de temps et la prédiction de ce respect. Notions de Deadline dur : si la tâche se termine après le deadline, son résultat est inutile (considéré même faux) Mais un deadline peut être dépassé, sans que ce soit catastrophique! Calcul du retard, et optimisation pour l ordonnancement du nombre de retards, du pourcentage de non-respect, du retard moyen, du retard maximum... Jean-Marc Pierson Applications Embarquées Critiques (18/50)

19 Fonction d utilité des tâches Surdimensionner? Performances et Systèmes Gestion de ressources dirigée par les délais Possibilité d ajouter la notion de fonction d utilité d une tâche: une tâche finie perd de son utilité avec le retard, en gagne si elle est en avance. Pour un hard deadline, la fonction vaut 0 ou 1, mais sinon peut varier continuellement entre ces deux valeurs. Puis on fait une optimisation de l utilité des tâches, selon leur importance. Jean-Marc Pierson Applications Embarquées Critiques (19/50)

20 Déroulement d un projet 1 Spécifications des besoins 2 Choix d une architecture matérielle (processeurs, cartes,...) Puissance de calcul nécessaire (en nombre d instructions/s) Besoins en consommation et en entrée/sortie Choix a priori dans 75% des cas : énergie, prix, besoins spécifiques, domaines d application, culture d entreprise... 3 Choix d un langages de programmation et d un système d exploitation Plus de 70 SE Disponibilité / plateforme : processeur? drivers? Domaine d application, Coût, Documentation, Pérennité... 4 Choix d un environnement de développement : compilo, débugger, profiler, simulateur. Ex: Eclipse. 5 Conception : lien entre plateforme et l application, intégration, optimisation. Jean-Marc Pierson Applications Embarquées Critiques (20/50)

21 Langages de spécification et de modélisation SART : analyse fonctionnelle descendante Textuel Matlab, StateMate : automates et lois de contrôle Automatique discrete et continue UML (paradigme objet peu répandu), profils UML (MARTE) Méthodes et langages formels (B, Coq) Langages de conception UML, codesign (HW-SW), ADL et Composants multitâche approches synchrones, langages dédiés (Esterel, Signal, Lustre) Ingénierie dirigée par les modèles (IDM) Model Driven Engineering (MDE) Modèles, métamodèles (concepts), transformation de modèles Jean-Marc Pierson Applications Embarquées Critiques (21/50)

22 - 2 Langages d action Assembleur, C, avec des contraintes d utilisation Java, «XX Java» (JavaCard, RealTimeJava, EmbeddedJava) Systèmes d exploitation Exécutif «maison» propriétaire Système temps réel RTOS ( VxWorks) Système généraliste spécialisé (RTLinux) Machines virtuelles (EmbeddedJava, Real-TimeJava) Environnements de développement Spécifique à la carte et au langage éditeur, compilateur, éditeur de lien et mapping mémoire spécifiques Mise au point instrumentation du code (printf sur LCD, led,?) émission sur un port série debug via la liaison JTAG (Joint Test Action Group) Jean-Marc Pierson Applications Embarquées Critiques (22/50)

23 - 3 IHM limité, spécifique ou inexistant Communication bus(vme), liaison série réseaux de terrain ( I2C, CAN, TTP, FlexRay, FIP, ARINC, AFDX) réseaux sans fil (irda, Bluetooth) protocoles classiques ( socket, TCP/IP ) Vérification / validation preuves, test exhaustif, simulation ordonnancement, logique temporelle simulation réaliste certification de code (avionique) ou de compilateur règles d écriture relecture du code tests et preuves Jean-Marc Pierson Applications Embarquées Critiques (23/50)

24 Processeurs généralistes Microprocesseurs programmables Mémoire programmable, registres et ALU généralistes Avantages: mise sur le marché rapide, coûts faibles de développements, fit 4 all Exemples: Pentium, AMD, ARM,... Jean-Marc Pierson Applications Embarquées Critiques (24/50)

25 Processeurs Dédiés Conçu pour exécuter (bien) UN seul programme Pas de mémoire programmable, contient uniquement le nécessaire pour le programme cible Avantages: Rapide, peu gourmand en ressources, faible encombrement Jean-Marc Pierson Applications Embarquées Critiques (25/50)

26 Processeurs Spécifiques applications Optimisé pour des classes d applications ayant des caractéristiques communes Mémoire programmable, registres, ALU spécialisé pour les foncions de la classe Avantages: compromis entre les deux précédents Jean-Marc Pierson Applications Embarquées Critiques (26/50)

27 Co-Design Conception du matériel et du logiciel simultanément Matériel spécialisé : ASIC, FPGA, SoC, MP-SoC ASIC: Application Specific Integrated Circuit. Par rapport à VLSI, conception de quelques couches seulement de circuits. Mais encore long. FPGA: Field-Programmable Gate Array. SoC: System on Chip MP SoC: Multi-Processor System on Chip Jean-Marc Pierson Applications Embarquées Critiques (27/50)

28 FPGA Caractéristiques, contraintes, criticité Circuits composés de nombreuses portes logiques élémentaires librement assemblables. Connexions des portes par programmation, afin de réaliser la ou les fonctions numériques voulues. Avantages: une même puce peut être utilisée dans de nombreux systèmes électroniques différents ; disponibilité immédiate; et possibilité de valider les sorties / entrées > vérification / validation du code possible plus facilement ; validation des ASIC et SoC avant production Mais: coût, taille, consommation Exemple: FPGA Xilinx: portes logiques, 50 MHz Jean-Marc Pierson Applications Embarquées Critiques (28/50)

29 SoC Caractéristiques, contraintes, criticité Intégration de plusieurs composants d un système sur une seule puce: CPU/microcontroller/DSP, ALU, horloge, mémoire (RAM, ROM, EEPROM, flash), carte graphique, périphériques externes (USB, Ethernet,...), interfaces analogiques... Logiciels contrôlant l accès aux composants. Mise au point par émulation sur FPGA. Raccourci les temps de conception des systèmes. Exemple: AMD Geode Jean-Marc Pierson Applications Embarquées Critiques (29/50)

30 RTOS ou pas? La plupart des SE n ont pas de système d exploitation: Accès directs aux E/S, au bus mémoire (pas de MMU), écriture en langages de bas niveau (Assembleur, C). Sinon... un SE temps réel ou pas? Jean-Marc Pierson Applications Embarquées Critiques (30/50)

31 Système d exploitation à noyau monolithique: Linux Non modulaire, pb de maintenabilité, évolutivité? Jean-Marc Pierson Applications Embarquées Critiques (31/50)

32 Micro Noyau Fonctions limités à la gestion mémoire et la gestion processus, et communications interprocessus, plus le temps. Jean-Marc Pierson Applications Embarquées Critiques (32/50)

33 Micro Noyau temps réel et hybride Accès aux deux aspects. Ex: LinuxRT, VxWorks Il en existe des dizaines! Diffèrent selon : l applicatif, le coût, la taille Jean-Marc Pierson Applications Embarquées Critiques (33/50)

34 Les objets du temps réel Le processus : regroupement d objets temps réel, espace mémoire Les objets programmables : la tâche ou le thread, les routines d interruption, l alarme Les objets de communication : le sémaphore (synchronisation, exclusion mutuelle), l événement (synchronisation), la boîte aux lettres (échange synchronisé d informations), le canal ou pipe (échange synchronisé d informations entre processus) Jean-Marc Pierson Applications Embarquées Critiques (34/50)

35 Langages: JavaRT Java possède de grands avantages pour les appli. embarquées (critiques) : Contrôle de types, à la compilation et à l exécution Gestion des exceptions Gestion de la mémoire, avec ramasse-miette. (objet = null) Support des threads et de la concurrence. (par signaux: join, interrupt ; ou par moniteur : synchronized, wait, notify) Et pour le temps réel Gestion des priorités des threads (setpriority(n)) Gestion de l inversion de priorité Et plus dans Real Time Specifications for Java (RTJS 1.1) Jean-Marc Pierson Applications Embarquées Critiques (35/50)

36 Java: Synchronisation par mutex, rappel Jean-Marc Pierson Applications Embarquées Critiques (36/50)

37 Java: Ordonnancement des Threads, rappel Jean-Marc Pierson Applications Embarquées Critiques (37/50)

38 Real Time Specifications for Java Ordonnanceur d objets adapté au temps réel, avec des moyens de le changer Gestion de zones mémoire non gérées par le ramasse-miette, et de zones mémoire immortelles Gestion des files d attente des threads Priorités de threads plus hautes que le ramasse-miette : non préemptible Gestion de l heure et des timers (notamment temps écoulé, alarmes ponctuelle et périodique) Notion d évènements et d exceptions asynchrones (événements internes et externes venant de l OS) Jean-Marc Pierson Applications Embarquées Critiques (38/50)

39 Java : Mémoire et Ramasse-miette Facheuse habitude : le ramasse-miette dans Java se met en route quand il veut, il a une priorité > autres threads. Dans RTSJ : les threads de priorité > 10 ne sont pas pré-emptables par le ramasse-miettes plusieurs types de mémoires : seule la HeapMemory (le tas) est récupérable par le ramasse-miette. définition de zones ou la mémoire n est pas ramassée (donc pas de préemption) : en particulier ScopedMemory et ImmortalMemory ScopedMemory : taille fixe ; libérée quand aucun thread ne l utilise plus ; libération en bloc de la zone ; deux types de ScopedMemory : VTMemory et LTMemory, selon contraintes de temps d allocation : prévision possible pour LTMemory ; ImmortalMemory : jamais libérée. Jean-Marc Pierson Applications Embarquées Critiques (39/50)

40 Java : ScopedMemory et ImmortalMemory rt = new RealTimeThread() { public void run() { Vector v1 = new Vector(); ScopedMemory sm1 = new ScopedMemory(n); sm1.enter(); Vector v2 = new Vector(); ScopedMemory sm2 = new ScopedMemory(n); Vector v3 = new Vector(); } } MemoryArea area = ImmortalMemory.instance(); area.enter(); rt.start(); // Ici v1 est dans area, v2 est dans sm1 (et sm1 est dans area), v3 est dans sm2 qui est dans sm1 Jean-Marc Pierson Applications Embarquées Critiques (40/50)

41 Java : Thread Deux types de threads temps réel : Temps réel lâche : peut accéder au tas, priorité < ramasse-miettes RealTimeThread Temps réel dur: Sans accès au tas, non préemptable par le ramasse-miettes, mémoire pré-réservée NoHeapRealTimeThread Une sous-classe de la précédente Jean-Marc Pierson Applications Embarquées Critiques (41/50)

42 Java : Ordonnanceur temps réel Classe Scheduler. Son rôle : Vérification de la faisabilité (respect des contraintes) Organisation/séquencement de l exécution Une sous-classe : PriorityScheduler préemptif priorité fixe (28 niveaux) round-robin gestion de l inversion de priorité Jean-Marc Pierson Applications Embarquées Critiques (42/50)

43 Java : Ordonnanceur temps réel Méthode : setscheduler( Scheduler sc, SchedulingParameters s, ReleaseParameters r, MemoryParamaters m, ProcessingGroupParameters g) Avec : sc : un scheduler, par exemple un PriorityScheduler s : paramètre d ordonnancement (gestion des priorités, de l importance des tâches) r : caractéristique de la tâche : périodicité, deadline, pire temps, handler pour les dépassements de deadlines. m : gestion de la mémoire : taille maximum utilisée, taille maxi de la mmoire permanente, vitesse d allocation g : pour grouper les tâches hiérarchiquement. Date de début, période, pire temps, deadline Jean-Marc Pierson Applications Embarquées Critiques (43/50)

44 Java : Ordonnanceur temps réel, exemple Jean-Marc Pierson Applications Embarquées Critiques (44/50)

45 Java : Ordonnanceur temps réel, exemple, suite Jean-Marc Pierson Applications Embarquées Critiques (45/50)

46 Java : Inversion de priorité : le problème La synchronisation peut engendrer des inversions de priorités : des processus moins prioritaires passent avant! Jean-Marc Pierson Applications Embarquées Critiques (46/50)

47 Java : Inversion de priorité : solutions dans RTSJ Solution: l héritage de priorité. Lorsqu une tâche acquière un mutex, elle acquière momentanément la plus haute priorité des tâches en attente. Pas possible de T2 préempte T3! Mais les threads avec priorités basses non-rt sont bloquées par le ramasse-miette. Solution au problème par deux types de files d attente: WaitFreeWriteQueue et WaitFreeReadQueue... Jean-Marc Pierson Applications Embarquées Critiques (47/50)

48 Outils: CorbaRT Par rapport à Corba, CorbaRT ajoute les spécifications suivantes : Gestion des ressources de l infrastructure de communication. Garantie de la qualité de la communication, par exemple en utilisant les paramètres QoS d ATM ou en choisissant une connexion plutôt qu une autre Exploitation de l ordonnancement des systèmes d exploitation (à chaque bout de la comm.) pour garantir la priorité des applications (et donc gestion des threads) Expression des besoins en termes de ressources et de priorités à l ORB Outils pour la gestion globale de la synchronisation, des exclusions mutuelles, de l ordonnancement des threads dans le système global pour respecter les contraintes de délai Jean-Marc Pierson Applications Embarquées Critiques (48/50)

49 Conclusion Juste une introduction au domaine à découvrir sans modération avec : Des compétences architectures, conception, programmation, systèmes Un intérêt pour les challenges de performances, d espace mémoire, de respect du temps, la sûreté de fonctionnement. Jean-Marc Pierson Applications Embarquées Critiques (49/50)

50 Références Cette présentation est issue de multiples lectures, en particulier les cours trouvés en ligne ou par mail: E. Jensen, F. Armand, armand/m2_sem/ F. Simono-Lion, simonot H. Cassé, J-P Babau, Wikipedia, Jean-Marc Pierson Applications Embarquées Critiques (50/50)

Introduction aux systèmes d exploitation

Introduction aux systèmes d exploitation Introduction aux systèmes d exploitation Le système d exploitation est un ensemble de logiciels qui pilotent la partie matérielle d un ordinateur. Les principales ressources gérées par un système d exploitation

Plus en détail

Supports d exécution matériels pour l embarqué. Jean-Philippe Babau

Supports d exécution matériels pour l embarqué. Jean-Philippe Babau Supports d exécution matériels pour l embarqué Jean-Philippe Babau Département Informatique, INSA Lyon Les contraintes Coût de quelques euros à quelques centaines d'euros Contraintes d énergie (mobilité,

Plus en détail

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen Systèmes temps réel Concepts de base Richard Grisel Professeur des Universités Université de Rouen 1 Systèmes temps réel - Choix Gestion des ressources Ordonnancement ( Scheduling ), Tolérance aux fautes

Plus en détail

Les OS embarqués. B. Miramond UCP

Les OS embarqués. B. Miramond UCP Les OS embarqués B. Miramond UCP Les OS embarqués VxWorks : noyau RT le plus utilisé dans l'industrie. Supporte TCP/IP et une API socket. Coût des licences important. QNX : noyau RT de type UNIX. Intègre

Plus en détail

Conception et Intégration. d Architectures Industrielles. Systèmes d'exploitation Avancés. Jean-Philippe Babau

Conception et Intégration. d Architectures Industrielles. Systèmes d'exploitation Avancés. Jean-Philippe Babau Conception et Intégration d Architectures Industrielles / Systèmes d'exploitation Avancés Jean-Philippe Babau Département Informatique, INSA Lyon 1 Domaine Plan des enseignements SEA et CIAI Spécification

Plus en détail

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

Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d

Plus en détail

De la conception jusqu'au déploiement de systèmes embarqués

De la conception jusqu'au déploiement de systèmes embarqués De la conception jusqu'au déploiement de systèmes embarqués Nacer MOKHTARI Ingénieur d application La conception graphique de systèmes Conception interactive Conception de systèmes de contrôle Simulation

Plus en détail

Chap. III : Le système d exploitation

Chap. III : Le système d exploitation UMR 7030 - Université Paris 13 - Institut Galilée Cours Architecture et Système Le système d exploitation (ou O.S. de l anglais Operating System ) d un ordinateur est le programme qui permet d accéder

Plus en détail

TaskMapper Gestion de projet : Analyse

TaskMapper Gestion de projet : Analyse Gestion de projet : Analyse P. Combier, V. Comiti, M. Hubert, R. Jamet, M. Le Du, P. Lelouette, J. L Hermitte, A. Morvan, N. Premillieu, L. Ren, C. Souti, F. Tesniere, Y. Zhao Encadrés par S. Derrien 11

Plus en détail

Construisez des applications autonomes et fiables avec LabVIEW Real Time

Construisez des applications autonomes et fiables avec LabVIEW Real Time Construisez des applications autonomes et fiables avec LabVIEW Real Time Victor FOURNIER National Instruments, Ingénieur d applications Sommaire Qu est-ce que le temps réel? Domaines d utilisation du temps

Plus en détail

Partie 6 : Ordonnancement de processus

Partie 6 : Ordonnancement de processus INF3600+INF2610 Automne 2006 Partie 6 : Ordonnancement de processus Exercice 1 : Considérez un système d exploitation qui ordonnance les processus selon l algorithme du tourniquet. La file des processus

Plus en détail

GEL 1001 Design I (méthodologie)

GEL 1001 Design I (méthodologie) GEL 1001 Design I (méthodologie) Technique 2 Systèmes embarqués et fiabilité Hiver 2013 Département de génie électrique et de génie informatique Plan Système embarqué Ordinateur et architecture Von Neumann

Plus en détail

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

MEAD : temps réel et tolérance aux pannes pour CORBA MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier

Plus en détail

Technologies SOC (System On Chip) (Système sur une seule puce)

Technologies SOC (System On Chip) (Système sur une seule puce) Technologies SOC (System On Chip) (Système sur une seule puce) Pierre LERAY et Jacques WEISS Équipe de recherche ETSN Supélec Campus de Rennes février, 02 Technologies SoC ; P. Leray, J. Weiss 1 Évolution

Plus en détail

Parallélisme. Cours 1

Parallélisme. Cours 1 Parallélisme Cours 1 TD : 20% - TP : 30% - Examen : 50% Feuille A4 manuscrite (pas de photocopie) Fabrice.Huet@etu.unice.fr (prendre rdv par mail pr le contacter) A quoi sert le parallélisme? Augmenter

Plus en détail

Architectures logicielles pour les systèmes embarqués temps réel

Architectures logicielles pour les systèmes embarqués temps réel ETR 07 4 septembre 2007 Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau, Julien DeAntoni jean-philippe.babau@insa-lyon.fr 1/31 Plan Architectures logicielles pour les

Plus en détail

CH.3 SYSTÈMES D'EXPLOITATION

CH.3 SYSTÈMES D'EXPLOITATION CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,

Plus en détail

Le système Windows. Yves Denneulin. Introduction. Introduction. Plan

Le système Windows. Yves Denneulin. Introduction. Introduction. Plan Introduction Le système Windows Yves Denneulin Windows a 25 ans Au début basé sur MS/DOS Multi-tâches coopératifs Pas de réelle protection entre applications Famille 1.0 -> 386 -> 95 -> 98 -> Me Version

Plus en détail

Gestion des processus

Gestion des processus 1/27 Gestion des processus didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/27 Table des matières 1 2 Ordonnancement des processus 3 sur les processus 4 entre processus 5 4/27 Programme vs. Processus

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

Introduction aux problématiques. du développement de. systèmes embarqués. Jean-Philippe Babau

Introduction aux problématiques. du développement de. systèmes embarqués. Jean-Philippe Babau labsticc.univ-brest.fr/pages_perso/babau/ Introduction aux problématiques du développement de systèmes embarqués Jean-Philippe Babau Département Informatique, UFR Sciences, UBO Laboratoire Lab-STICC 1

Plus en détail

Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537

Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537 ENSEIRB-MATMECA Rapport de projet avancé 3 ème année électronique Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537 Etudiants : Alexandre Braconnier Axel Chevalier Jean-Marc

Plus en détail

Les Systèmes d Exploitation: Concepts et Programmation

Les Systèmes d Exploitation: Concepts et Programmation Les Systèmes d Exploitation: d Concepts et Programmation Samia Bouzefrane MCF en Informatique, CNAM samia.bouzefrane@cnam.fr http://cedric.cnam.fr/~bouzefra Samia Bouzefrane, Cours SYSTEME 1 Introduction

Plus en détail

Architecture des calculateurs

Architecture des calculateurs Chapitre 1 Architecture des calculateurs 1.1 Introduction Ce paragraphe n a pas la prétention de présenter un cours d informatique. D une manière générale, seuls les caractéristiques architecturales qui

Plus en détail

Communications entre tâches logicielles et matérielles dans un contexte d OS temps réel sur une architecture FPGA reconfigurable.

Communications entre tâches logicielles et matérielles dans un contexte d OS temps réel sur une architecture FPGA reconfigurable. Arthur Segard 3eme année ENSEA section Informatique et Systèmes DEA Traitement des Images et du Signal Communications entre tâches logicielles et matérielles dans un contexte d OS temps réel sur une architecture

Plus en détail

Introduction aux Systèmes embarqués temps-réel

Introduction aux Systèmes embarqués temps-réel Introduction aux Systèmes embarqués temps-réel Laurent.Pautet@enst.fr Version 2.0 Exemples d applications temps réel Commandes de vol numériques Codage des communications Métro automatisé Syst. Informatique

Plus en détail

Synchro et Threads Java TM

Synchro et Threads Java TM Synchro et Threads Java TM NICOD JEAN-MARC Master 2 Informatique Université de Franche-Comté UFR des Sciences et Techniques septembre 2008 NICOD JEAN-MARC Synchro et Threads avec Java TM 1 / 32 Sommaire

Plus en détail

Chapitre IV : La gestion du processeur Mécanismes d ordonnancement

Chapitre IV : La gestion du processeur Mécanismes d ordonnancement Chapitre IV : La gestion du processeur Mécanismes d ordonnancement Eric.Leclercq@u-bourgogne.fr Département IEM http://ufrsciencestech.u-bourgogne.fr http://ludique.u-bourgogne.fr/~leclercq 1 er mars 2007

Plus en détail

1 Architecture du cœur ARM Cortex M3. Le cœur ARM Cortex M3 sera présenté en classe à partir des éléments suivants :

1 Architecture du cœur ARM Cortex M3. Le cœur ARM Cortex M3 sera présenté en classe à partir des éléments suivants : GIF-3002 SMI et Architecture du microprocesseur Ce cours discute de l impact du design du microprocesseur sur le système entier. Il présente d abord l architecture du cœur ARM Cortex M3. Ensuite, le cours

Plus en détail

Systèmes d Exploitation Gestion des processus

Systèmes d Exploitation Gestion des processus Systèmes d Exploitation Gestion des processus Didier Verna didier@lrde.epita.fr http://www.lrde.epita.fr/ didier Version 2@1.6 6 décembre 2004 Table des matières Table des matières Généralités... 3 États

Plus en détail

Travaux Pratiques de l option STR

Travaux Pratiques de l option STR Travaux Pratiques de l option STR Processeur Détecteur ultrasons Moteurs Détecteur de contacts Détecteur de lumière Détecteur de sons RTOS (OSEK/VDX) ECRobot C/C++API Gestion des moteurs Vitesse, angle

Plus en détail

Programmation sur PDA Techniques & Concepts. Paul Guyot - ECE - Systèmes Embarqués (25/11/02)

Programmation sur PDA Techniques & Concepts. Paul Guyot - ECE - Systèmes Embarqués (25/11/02) Programmation sur PDA Techniques & Concepts Paul Guyot - ECE - Systèmes Embarqués (25/11/02) 1 Introduction 2 Introduction (1) De la particularités des PDA Echelle, économie d énergie, données À la particularité

Plus en détail

Architecture des ordinateurs. Optimisation : pipeline. Pipeline (I) Pipeline (II) Exemple simplifié : Instructions de type R

Architecture des ordinateurs. Optimisation : pipeline. Pipeline (I) Pipeline (II) Exemple simplifié : Instructions de type R Architecture des ordinateurs Licence Informatique - Université de Provence Jean-Marc Talbot Optimisation : pipeline jtalbot@cmi.univ-mrs.fr L3 Informatique - Université de Provence () Architecture des

Plus en détail

Les processeurs embarqués dans les FPGA couplés à Linux

Les processeurs embarqués dans les FPGA couplés à Linux RTS 07 Les processeurs embarqués dans les FPGA couplés à Linux email http : kadionik@enseirb.fr : http://www.enseirb.fr/~kadionik http://www.enseirb.fr/cosynux/ Patrice KADIONIK IMS ENSEIRB Université

Plus en détail

Bornéo. Contrôleur Graphique Programmable. Afficheur Couleur

Bornéo. Contrôleur Graphique Programmable. Afficheur Couleur Bornéo Contrôleur Graphique Programmable Bornéo est un contrôleur graphique destiné au pilotage d écran couleur de type TFT, regroupant dans un seul composant un processeur 32 bits, un accélérateur graphique,

Plus en détail

Comment un ordinateur fonctionne Processeur

Comment un ordinateur fonctionne Processeur Comment un ordinateur fonctionne Processeur Les processeurs Cerveau de l ordinateur Règle flux d information par intermédiaire du bus Détermine puissance de l ordi (486, Pentium, ) Vitesse définit par

Plus en détail

NFP 121. Java et les Threads. Présentation : Thierry Escalarasse Mai 2007

NFP 121. Java et les Threads. Présentation : Thierry Escalarasse Mai 2007 NFP 121 Java et les Threads Présentation : Thierry Escalarasse Mai 2007 Plan du cour Présentation de la notion de Threads La classe Thread L interface Runnable Les états d un thread La Synchronisation

Plus en détail

Introduction à la programmation concurrente

Introduction à la programmation concurrente Introduction à la programmation concurrente Exclusion mutuelle par attente active Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud

Plus en détail

Chapitre 1. Introduction aux systèmes embarqués et temps réel

Chapitre 1. Introduction aux systèmes embarqués et temps réel Chapitre 1 Introduction aux systèmes embarqués et temps réel 1 1. Notions et caractéristiques des systèmes embarqués Domaines d application des systèmes embarqués Domaines «traditionnels» -Avionique -

Plus en détail

Systèmes d exploitation Gestion des processus

Systèmes d exploitation Gestion des processus Systèmes d exploitation Gestion des processus Didier Verna didier@lrde.epita.fr 5 décembre 2000 Table des matières Table des matières Généralités... 3 États d un processus... 4 Bloc de contrôle d un processus

Plus en détail

Synchronisation des processus. Didier Verna. didier@lrde.epita.fr http://www.lrde.epita.fr/ didier. Systèmes d Exploitation. Didier Verna EPITA

Synchronisation des processus. Didier Verna. didier@lrde.epita.fr http://www.lrde.epita.fr/ didier. Systèmes d Exploitation. Didier Verna EPITA 1/16 Synchronisation des processus didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/16 Table des matières 1 2 Synchronisation matérielle 3 Synchronisation logicielle 4 classiques 4/16 Nécessité

Plus en détail

Ordonnancement des processus. Didier Verna. didier@lrde.epita.fr http://www.lrde.epita.fr/ didier. Systèmes d Exploitation. Didier Verna EPITA

Ordonnancement des processus. Didier Verna. didier@lrde.epita.fr http://www.lrde.epita.fr/ didier. Systèmes d Exploitation. Didier Verna EPITA 1/16 Ordonnancement des processus didier@lrde.epita.fr http://www.lrde.epita.fr/ didier 2/16 Table des matières 1 Ordonnancement et réquisition d ordonnancement 2 d ordonnancement Premier arrivé premier

Plus en détail

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION

EADS TEST & SERVICES PERENNISATION SYSTÈME VIRTUALISATION PERENNISATION SYSTÈME VIRTUALISATION PLEAS : Virtualisation de système informatique de banc de test. CLUB AUTOMATION 10 JUIN 2010 Richard.Boyer@eads.com EADS Defence and Security 2009 All rights reserved

Plus en détail

Nouvelles architectures informatiques embarquées à base de COTS. Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur

Nouvelles architectures informatiques embarquées à base de COTS. Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur Nouvelles architectures informatiques embarquées à base de COTS Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur EADS Launch Vehicles Patrick CORMERY - Le Vinh Quy RIBAL

Plus en détail

Cours client-serveur Web : Java et RMI (Remote Method Invocation)

Cours client-serveur Web : Java et RMI (Remote Method Invocation) Cours client-serveur Web : Java et RMI (Remote Method Invocation) 1 Java: Rappel sur les threads Cycle de vie d un thread (1) Né -> prêt appel de la méthode start du thread Prêt Exécution Distribution

Plus en détail

La technologie Java Card TM

La technologie Java Card TM Présentation interne au CESTI La technologie Java Card TM sauveron@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~sauveron 8 novembre 2002 Plan Qu est ce que Java Card? Historique Les avantages

Plus en détail

LINUX et le temps réel Pierre-Yves Duval (cppm)

LINUX et le temps réel Pierre-Yves Duval (cppm) LINUX et le temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 24-28 Mars 2003 Sommaire - Contexte et contraintes pour l embarqué et le temps réel - Caractéristiques

Plus en détail

EME 31 : Mécatronique : énergie et motricité

EME 31 : Mécatronique : énergie et motricité university-logo Mécatronique : énergie et motricité 3. Microcontrôleur ENSTA Plan du cours university-logo 1 Classification et utilisation des processeurs Qu est-ce qu un microcontrôleur? 2 Comment programmer

Plus en détail

Développer des solutions technologiques basées sur de l électronique

Développer des solutions technologiques basées sur de l électronique Altronic Tunisie ALTRONIC s attache à faciliter la diffusion et le transfert des technologies et des connaissances en électronique vers les laboratoires de recherche publics, industriels, les start-up

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique

Customisation Rhapsody et Henri BOULOUET DITV/AEEV/EECH. approche méthodologique Customisation Rhapsody et approche méthodologique Retour d expérience sur l implémentation d un langage et profil UML associé 1 Sommaire Principe d un développement méthodologique Evocation d ISR (Ingénierie

Plus en détail

Linux embarqué : le pari réussi d'une PME bordelaise

Linux embarqué : le pari réussi d'une PME bordelaise RTS 2006 Linux embarqué : le pari réussi d'une PME bordelaise email web : kadionik@enseirb.fr : http://www.enseirb.fr/~kadionik http://www.enseirb.fr/cosynux/ Patrice KADIONIK ENSEIRB - IXL pk/enseirb/2006-1-

Plus en détail

ELE-542 Systèmes ordinés en temps réels. Cours # 8 Système d exploitation Temps Réel

ELE-542 Systèmes ordinés en temps réels. Cours # 8 Système d exploitation Temps Réel ELE- Systèmes ordinés en temps réels Cours # 8 Système d exploitation Temps Réel Jean-Marc Beaulieu et Bruno De Kelper Site internet: http://www.ele.etsmtl.ca/academique/ele/ Systèmes ordinés en temps

Plus en détail

Architecture des Systèmes Embarqués: Systèmes Temps-Réel

Architecture des Systèmes Embarqués: Systèmes Temps-Réel Architecture des Systèmes Embarqués: Systèmes Temps-Réel Pablo de Oliveira January 22, 2013 Section 1 Introduction Plan du cours 5. Systèmes temps-réel Présentation des systèmes

Plus en détail

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d

Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Configuration et Déploiement d Applications Réparties par Intégration de l Hétérogénéité des Implémentations dans un Langage de Description d Architecture Doctorant: Directeurs de thèse: Bechir ZALILA

Plus en détail

NI System on Module (SoM) : le dernier né des systèmes embarqués

NI System on Module (SoM) : le dernier né des systèmes embarqués 1 NI System on Module (SoM) : le dernier né des systèmes embarqués Antonin GOUDE Ingénieur Produit pour l Embarqué National Instruments France Système sur module (SOM) NI sbrio-9651 3 Rôle d un système

Plus en détail

Miramond Benoît - UCP. II) Le processus dans la machine

Miramond Benoît - UCP. II) Le processus dans la machine II) Le processus dans la machine 1 Plan de la partie VII 1. Rappel modèle d exécution d un processeur 2. Les fonctions d un OS embarqué 3. Au démarrage était le bootstrap 4. Comment faire du multi-tâches?

Plus en détail

REALISATION d'un. ORDONNANCEUR à ECHEANCES

REALISATION d'un. ORDONNANCEUR à ECHEANCES REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6

Plus en détail

Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire

Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire FICHE PRODUIT Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire BENEFICES POUR LES DSI Réussir les projets de gouvernance dans les délais et les budgets Démarrer de manière tactique tout en

Plus en détail

Chargement de processus Allocation contigüe Allocation fragmentée Gestion de pages. Gestion mémoire. Julien Forget

Chargement de processus Allocation contigüe Allocation fragmentée Gestion de pages. Gestion mémoire. Julien Forget Julien Forget Université Lille 1 École Polytechnique Universitaire de Lille Cité Scientifique 59655 Villeneuve d Ascq GIS 3 2011-2012 1 / 46 Rôle du gestionnaire de mémoire Le gestionnaire de mémoire a

Plus en détail

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

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université

Plus en détail

L électronique grand public au service de l instrumentation scientifique

L électronique grand public au service de l instrumentation scientifique L électronique grand public au service de l instrumentation scientifique Réseau des électroniciens de la recherche - Rhône-Auvergne 14 décembre 2006 Introduction GNU/Linux L électronique grand public miniaturisation

Plus en détail

Systèmes & Réseaux. Georges Arhodakis Université Paris 8

Systèmes & Réseaux. Georges Arhodakis Université Paris 8 Systèmes & Réseaux Georges Arhodakis Université Paris 8 Sommaire Introduction Historique Service du noyau Appel Système Trappes & Interruptions Horloge & Gestion du Temps Ordonnancement Contrôle & Gestion

Plus en détail

GELE5343 Chapitre 2 : Révision de la programmation en C

GELE5343 Chapitre 2 : Révision de la programmation en C GELE5343 Chapitre 2 : Révision de la programmation en C Gabriel Cormier, Ph.D., ing. Université de Moncton Hiver 2013 Gabriel Cormier (UdeM) GELE5343 Chapitre 2 Hiver 2013 1 / 49 Introduction Contenu 1

Plus en détail

Expert ou chef de projet en contrôle-commande

Expert ou chef de projet en contrôle-commande Expert ou chef de projet en contrôle-commande C1C25 Electronique, électrotechnique ou contrôle-commande - IR Spécialités L expert ou chef de projet en contrôle-commande peut être amené à se spécialiser

Plus en détail

2 ème partie : Programmation concurrente multi-thread

2 ème partie : Programmation concurrente multi-thread 2 ème partie : Programmation concurrente multi-thread TC-INFO-ASR4 Françoise Baude Université de Nice Sophia-Antipolis UFR Sciences Département Informatique baude@unice.fr web du cours : www-mips.unice.fr/~baude

Plus en détail

Processeur JAP. Le langage JAVA

Processeur JAP. Le langage JAVA Processeur JAP Ce document présente les dernières nouveautés concernant le processeur JAVA de la société AED. Il commence par un rappel sur les caractéristiques du processeur actuel, puis présente les

Plus en détail

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique

Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Méthodes formelles 1 Module : Méthodes et Spécifications Formelles (Approche orientée modèle) Slide 1 Christian Attiogbé UFR Sciences Nantes Dpt. Informatique Christian.Attiogbe@univ-nantes.fr maj. janvier

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

LES SOLUTIONS MES HUMAINES METTENT EN AVANT LES INDIVIDUS

LES SOLUTIONS MES HUMAINES METTENT EN AVANT LES INDIVIDUS LIVRE BLANC LES SOLUTIONS MES HUMAINES METTENT EN AVANT LES INDIVIDUS Une collaboration entre homme et machine LIVRE BLANC LES SOLUTIONS MES HUMAINES METTENT EN AVANT LES INDIVIDUS 2 A PROPOS Les hommes

Plus en détail

FreeRTOS ELECINF344. Samuel TARDIEU Mars 2015

FreeRTOS ELECINF344. Samuel TARDIEU <sam@rfc1149.net> Mars 2015 FreeRTOS ELECINF344 Samuel TARDIEU Mars 2015 FreeRTOS : configuration La configuration de FreeRTOS se fait dans un fichier FreeRTOSConfig.h, et définit notamment : les fonctionalités

Plus en détail

Gestion du processeur central

Gestion du processeur central Chapitre II Gestion du processeur central 1. Introduction Evolution des systèmes informatiques 1.1- Premier système : Le programmeur/opérateur doit écrire un programme ensuite le faire fonctionner directement

Plus en détail

Architectures des OS temps réels

Architectures des OS temps réels Temps Réel Jérôme Pouiller Sixième partie VI Architectures des OS temps réels Sysmic - J. Pouiller Temps Réel 171 / 1 Sysmic - J. Pouiller Temps Réel 172 / 1 Architectures multi-coeurs

Plus en détail

Temps Réel. Jérôme Pouiller

Temps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Temps Réel Jérôme Pouiller Sixième partie VI Architectures des OS temps réels Sysmic - J. Pouiller Temps Réel 171 / 1 Sysmic - J. Pouiller Temps Réel 172 / 1 Architectures multi-coeurs

Plus en détail

Exécution des applications réparties

Exécution des applications réparties Exécution des applications réparties Programmation des Applications Réparties Olivier Flauzac URCA Master STIC-Informatique première année Olivier Flauzac (URCA) PAR : Exécution des applications réparties

Plus en détail

Structure du bus système Gestion du bus système Fonctionnement des périphériques

Structure du bus système Gestion du bus système Fonctionnement des périphériques Périphériques et bus système Structure du bus système Gestion du bus système Fonctionnement des s MÉMOIRE PRINCIPALE BUS SYSTÈME Cache d'instructions MMU TLB Unité de de contrôle Unité de de traitement

Plus en détail

Conclusions et Perspectives

Conclusions et Perspectives 8 Conclusions et Perspectives Ce chapitre conclut la thèse en donnant un bilan du travail effectué et les perspectives envisageables au terme de cette recherche. Nous rappelons tout d abord les principales

Plus en détail

ETNA Projet de Fin d Étude 2005-2007 RimElse Cahier des charges. c Copyleft 2006, ELSE Team

ETNA Projet de Fin d Étude 2005-2007 RimElse Cahier des charges. c Copyleft 2006, ELSE Team ETNA Projet de Fin d Étude 2005-2007 RimElse Cahier des charges c Copyleft 2006, ELSE Team 18 avril 2006 Table des matières 1 Introduction 2 2 Présentation du projet 3 2.1 Une distribution Évolulable..................

Plus en détail

Systèmes Embarqués et Enfouis (SMB204)

Systèmes Embarqués et Enfouis (SMB204) Systèmes Embarqués et Enfouis (SMB204) Tristan Crolard Laboratoire CEDRIC Equipe CPR tristan.crolard@cnam.fr cedric.cnam.fr/cpr/crolard 1 Systèmes Embarqués et Enfouis (SMB204) Intervenants : Tristan Crolard,

Plus en détail

Système reconfigurable et durci pour la surveillance et le contrôle

Système reconfigurable et durci pour la surveillance et le contrôle Système reconfigurable et durci pour la surveillance et le contrôle Sabri JATLAOUI, Ingénieur avant-vente. Des challenges récurrents Le contrôle haute vitesse (numérique/compteur à 1MHz, PID analogique/

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Architecture logicielle des ordinateurs

Architecture logicielle des ordinateurs Architecture logicielle des ordinateurs Yannick Prié UFR Informatique Université Claude Bernard Lyon 1 des ordinateurs Objectifs du cours Notions générales sur le fonctionnement matériel (un peu) et logiciel

Plus en détail

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1 CHAPITRE 1 FOURNIR À L'UTILISATEUR UNE MACHINE VIRTUELLE ET UN ENVIRONNEMENT D'EXÉCUTION DE PROGRAMMES Plan ENVIRONNEMENT DE TRAVAIL ADAPTÉ AU BESOIN DE L'UTILISATEUR Fonctions de l'environnement d'exécution

Plus en détail

Évolution de la puissance des machines. Système pour architectures multicœurs. Évolution de la puissance des machines

Évolution de la puissance des machines. Système pour architectures multicœurs. Évolution de la puissance des machines Évolution de la puissance des machines Accélération Système pour architectures multicœurs Évolution Traditionnelle des mono-processeurs CSC5001 : Systèmes Hautes Performances Architecte de Services informatiques

Plus en détail

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

Temps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011 Temps Réel Jérôme Pouiller Septembre 2011 Sixième partie VI Architectures des OS temps réels J. Pouiller Temps Réel 172 / 197 18 Problématique des OS RT 19 Systèmes Symétriques

Plus en détail

Chaîne de développement : Compilation croisée

Chaîne de développement : Compilation croisée Chaîne de développement : Compilation croisée Principe d'une chaîne de développement Dépendances entre processus de «production» et architecture opérationnelle Compilation croisée, MDE et génération de

Plus en détail

Systèmes d Exploitation temps réel. Programmation des STR. Gabriel FREY 2013 freyg.it@gmail.com

Systèmes d Exploitation temps réel. Programmation des STR. Gabriel FREY 2013 freyg.it@gmail.com Systèmes d Exploitation temps réel 1 2 Plan de l intervention 1. Introduction aux Systèmes Temps Réel 2. Programmation concurrente Synchronisation et communication Besoin en facultés temporelles 3. Ordonnancement

Plus en détail

Cours A7 : Temps Réel

Cours A7 : Temps Réel 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

Plus en détail

ACI Sécurité ALIDECS:

ACI Sécurité ALIDECS: ACI Sécurité ALIDECS: Langages et Atelier Integrés pour le Développement de Composants Embarqués Sûrs Réunion de démarrage LIP6, 21 et 22 octobre 2004 Marc Pouzet 1 Page web http://www-verimag.imag.fr/synchrone/alidecs/

Plus en détail

La gestion des processus

La gestion des processus La gestion des processus Processus Un processus est un programme en cours d exécution. - Un programme est une suite d instructions ; c est du texte, un code statique. - Le processus est un concept dynamique,

Plus en détail

A propos de l applicabilité de la théorie de l ordonnancement temps réel : le projet Cheddar

A propos de l applicabilité de la théorie de l ordonnancement temps réel : le projet Cheddar A propos de l applicabilité de la théorie de l ordonnancement temps réel : le projet Cheddar F. Singhoff, A. Plantec Laboratoire Informatique des Systèmes Complexes LISyC/EA 3883 Université de Brest Séminaire

Plus en détail

La programmation concurrente

La programmation concurrente La programmation concurrente Jean-Ferdy Susini Maître de Conférences - CNAM Département Informatique Sources : Android Developpers, Wikipedia Paris, 06/05/2015 Architecture matérielle 2 Considérons l architecture

Plus en détail

Introduction. La gestion des qualités de services dans Internet. La garantie de QoS. Exemple

Introduction. La gestion des qualités de services dans Internet. La garantie de QoS. Exemple Introduction Aujourd hui les applications (en particulier multimédia) nécessitent des qualités de service de natures très différentes La gestion des qualités de services dans Internet Exemples: Transfert

Plus en détail

AC - Virtualisation. Romain Hinfray

AC - Virtualisation. Romain Hinfray AC - Virtualisation Semestre Automne 2008 Antoine Benkemoun Romain Hinfray Introduction Cadre du projet Choix de Xen Quatre parties Tour d horizon de la virtualisation Pré-requis à la compréhension de

Plus en détail

Support matériel, logiciel et cryptographique pour

Support matériel, logiciel et cryptographique pour Support matériel, logiciel et cryptographique pour une exécution sécurisée de processus Guillaume Duc Thèse dirigée par Jacques Stern (Ens Ulm) et encadrée par Ronan Keryell (Enst Bretagne) Journées des

Plus en détail

Conception et microprocesseurs

Conception et microprocesseurs Electronique embarquée Conception et microprocesseurs Richard Grisel Professeur des Universités Université de Rouen Conception et microprocesseurs Architectures et composants: Logiciel; Matériel. Test

Plus en détail

J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation

J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation Cycle Ingénierie 2e année SIGL Dernière mise à jour : 19/10/2006 Christophe Porteneuve Threads Principes Cycle de vie Création java.lang.thread

Plus en détail