Ordonnancement et Power Management

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

Download "Ordonnancement et Power Management"

Transcription

1 Action spécifique Low Power Ordonnancement et Power Management C.Belleudy Laboratoire I3S (UNSA/CNRS) N. Navet INRIA projet TRIO (LORIA)

2 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur (N. Navet) Les techniques de Power Management pour des systèmes multi-processeurs Conclusion

3 Les sources de dissipation (E et P) P = Pdynamique + Pstatique = α.c.f.vdd 2 + Pstatique E = N i= 1 Ti. Pi AApplication nécessitant N cycles d horloge de période Ti Vdd F Tr = K. Cout.Vdd/(Vdd-Vt) 2 Réduire Vdd implique de baisser la fréquence de fonctionnement => Modification du couple V,F => E et P réduits E reste inchangée? P diminue?

4 Technologie des processeurs Variation de tension et de fréquence (DVS, DFS), Exemple : Crusoé, Xscale, LpArm, Pentium4M.. Modes de repos basse consommation (idle, sleep ) Pénalités : Energie, Temps. Exemple processeur StrongArm couples F,V : (59 Mhz, 0.8 V) -> (206 Mhz, 1.5 V) 400 mw RUN 10µs 160ms 10µs 90µs IDLE 160 mw 90µs SLEEP 50 mw

5 Du coté des batteries A Typical Discharge Profile (Li/MnO 2 DL2/3A Cells) [Ge01] Alternance de périodes d activation et de repos (idle) [Ge01] Le taux de décharge de la batterie dépend fortement : de Pmoyen si V(P) faible, de Ppic si V(P) grande.

6 DVS/DFS ou mode repos? F1,V1 Tâche1 Processeur inactif WCET (Worst Case Execution Time) E = E tâche1,f1,v1 + E inactif F2<F1,V2<V1 Tâche1 WCET F1,V1 Tâche1 WCET Processeur en mode repos = E tâche1,f2,v2 + E transition < E tâche1,f1,v1 pic réduit. E = E tâche1,f1,v1 + E transition + E mode repos E > E tâche1,f1,v1 Ppic inchangé, Prepos => rechargeme de la batterie?

7 Le problème Recherche des différentes vitesses de fonctionnement du ou des processeurs. PE1 T1 (V,F) T3 (V3,F3) Mode repos T6 (V,F) Echéance PE2 T2 (V2,F2) T4 (V,F) T5 (V,F) Exploitation des modes repos lorsque F n est plus disponible.

8 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur (N. Navet) Les techniques de Power Management pour des systèmes multi-processeurs Conclusion

9 Le power management pour des systèmes monoprocesseur Politique hors ligne (ou Static Power Management) : T2 Deadline T1 T3 T4 Choix des couples V,F ou mode repos lors de la conception T1 (V1,F1) T2 (V2,F2) T3 (V3,F3) Politiques en-ligne (ou Dynamic Power Management) : Hors ligne puis Choix des couples V,F et des modes repos en cours d exécution de l application PE1 PE2 PE1 PE2 T1 (V1,F1) T2 (V2,F2) T4 (V4,F4) Deadlin Si T1 finit avant son WCET T3 (V3,F3 ) Idle Idle T4 (V4,F4) Deadli

10 Le power management pour des systèmes monoprocesseur Définition de quelques termes : Ci (Worst Case Execution Time : WCET) : pire temps d exécution d une tâche i, AETi : temps effectif d exécution d une tâche i, Ai : Date d activation d une tâche i, Ti : Période d une tâche i, Di : Echéance d une tâche i (hypothèse : Ti=Di). Notre problème : => Rechercher : S = F/F ref : vitesse CPU ou facteur de ralentissement.

11 Politiques hors ligne monoprocesseur Earliest Deadline first (EDF) [Gr02] : Priorité à la tâche dont l échéance est la plus proche. aisable si : U N = i= 1 Ci Ti 1 N i= 1 On cherche Ci =Ci/Smin tel que : N Ci' = (1/Smin)* Ti i= 1 Ci Ti 1 => Smin = U Vitesse choisie par cycle : Ordonnancement Stochastique P WCET Augmentation graduelle de la vitesse, les vitesses élevées étant peu voir pas utilisées [Gr02]. t

12 Politiques hors ligne monoprocesseur Vitesse par instance de tâches : EDF modifié[ga03] A D A(t) D(t) = = N i= 1 N i = 1 ci.1 c i.1 [ Ai [ Di t ] t ] Fonction d arrivée de travail Quantité de travail j T=max(Di) : horizon d optimisation ( t) U ( t) = u( s) ds t 0 A( t) => Si U(t) satisfait ces contraintes, il s agit du plus court chemin entre les murs constitués par A et D.

13 Politiques en ligne pour des systèmes monoprocesseurs Principe : redistributions des gains Lorqu une tâche termine, on calcule la différence entre le WCET et le AET et on redistribue le temps gagné : à la tâche qui débute son exécution [Ay04], à toutes les tâches en attente [Pi01]. he WCET 3 ms 3 ms Période 8 ms 10 ms Exécution 1 2 ms 1 ms Exécution 2 1 ms 1 ms N i= 1 Ci puis AETi Ti S min = > F = S min.fr 1 ms 14 ms 1 ms 1 ms S F T1 T T3 T T T3

14 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur (N. Navet) Les techniques de Power Management pour des systèmes multi-processeurs Conclusion

15 Le problème T1 T3 3 3 E1 T4 3 Ordonnancement vitesse nominale PE1 Bus T1 E1 E2 T5 6 T2 line(t2)=19 E2 4 PE2 T3 T4 T2 D(T2) D(T5 eadline(t5)=22 T5 3 : tâche i : Communication entre unités Modifier V,F ou passer en mode de repos de façon à réduire E, P?

16 Politique hors ligne : vitesse adaptée à chaque tâche [LU02 6 T1 T3 3 Ordonnancement vitesse nominale PE1 Bus T1 E1 E2 T5 3 E1 T4 3 PE2 T3 T4 T2 6 T2 E2 4 Ti : tâche i Ei : Communication entre unités D(T2) D( adline(t2)=19 Deadline(t5)=22 T5 3 ur chaque chemin critique i, calcul du cteur de Ralentissement (S) : = Σi sur processeur WCETi / (Tfin - ébut Σi WCETi) PE1 Bus PE2 T1 E1 E2 T3 T4 T2 T5-30 Su max(si) => nouveau deadline Itération D(T2) D(T5)

17 Politique hors ligne pour des systèmes multiprocesseurs Calcul d un facteur de ralentissement par processeur/puis par tâche [Gu3b] : 2 phases 1 - On calcule par chemin critique S. On retient Smax pour l ensemble. systèmes homogènes => Scpu proche de S, Systèmes hétérogènes => Choix de différents Scpui. 2 - Recherche de S par tâche. Réduction du nombre de changements de vitesse. -46% sur E pour une application de caméra embarquée. Calcul d un facteur de ralentissement par région [Wu03] : On redistribue les cycles non utilisés à un groupe de tâches => -36% sur E.

18 Politique Hors ligne pour des systèmes multiprocesseurs Maîtrise du pic de puissance : Les cycles non utilisés sont allouées aux tâches où P>Pmoyen [Lu01], Mouvement des tâches tel que V(P) soit minimale [Lu01] (+70% de durée de vie de la batterie), Lorsque P > Pmax, diminution du parallélisme [Ch02]. Modes repos : Echec de DVS/DFS [Gu3b], Mouvement des tâches de façon à grouper les cycles non utilisés => augmentation du temps passer en mode repos [Ch02].

19 Politique en ligne pour des systèmes multiprocesseurs Redistribution des cycles WCETi AETi : à toutes les tâches en attente [Zh03] 1. Etude de E en fonction de a=aeti/wceti : Deux processeurs et a <0.5 Tâches non dépendantes (100) : gain de 60% sur E, Tâches dépendantes (20) : gain de 40% sur E. 2. Etude de E en fonction du nombre de processeurs (a=0.5): Energie sensiblement constante jusqu à 8 processeurs au delà ugmentation très rapide. Si il existe des événements apériodiques (soft event) => Ordonnancement si leur WCET<WCETi[Lu02], Sinon : le facteur de ralentissement est recalculé par rapport au chemin critique (complexe?)

20 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur Les techniques de Power Management pour des systèmes multi-processeurs Conclusion

21 Conclusion Compromis Emin, Ppic et Tidle? => Modèles de batteries plus réalistes. Les pénalités liés aux changements de tension et de fréquence ne sont pas toujours prises en compte. Comparaison/validation (ex: synchrone/asynchrone). Systèmes multiprocesseur => le plus souvent système homogène. Pour les unités de type FPGA, ASIC : pas de DFS/DVS/Mode repos actuellement. Récupération de charge sur Trepos + nouvelle technologie (=>Pstatique++) => Exploitation plus judicieuse des modes repos. Gestion Thermique/Energétique couplée.

22 Bibliographie [Ac03] A. Acquaviva, T. Simunic, L. benini, «LP-ECOS : An energy efficient RTOS», HP Lanoratories, April [Ay04] H. Aydin, R. Melhem, D. Mosse and P.M. Alvarez, «Power_Aware Scheduling for Periodic real Time Tasks. To appear in IEEE transactions on Computers. [Be98] Luca Benini, Giovanni De Micheli, «Dynamic Power Management, Luca Benini, Giovanni De Micheli», Kluwer Academic Plublishers,1998. [Be00] L. Benini, A. Bogliolo, G. De Micheli, «A survey of design technique for system Level dynamic power Management», IEEE transactions on VLSi Systems, vol. 8, No. 3, Juin 2000, pp [Ch02] P. H.Chou, J. Liu, D. Li, N. Bagherzadeh, «IMPACCT : Methodology and tools for Power-Aware Embedded Systems», Design Automation for Embedded Systems, Kluwer Academic Plublishers, pp , [Da99] P. dave, G. Lakshminarayana, N. Jha, «COSYN: Hardware-Software Co- Synthesis of heterogeneous distributed Embedded Systems, IEEE Transactions on VLSI systems, Vol. 7, No. 1, mars [Do94] M. Doyle, J. newman, J. Reimers, «A quick method for measuring the capacity versus the discharge rate for a dual Lithium-ion insertion cell undergoing cycling», Journal of pwoer sources, Vol. 52, No. 2, décembre 1994, pp [Ga03] B. Gaujal, N. Navet, and C. Walsh, «Real Time scheduling for optimal enregy use», FTFC 03, 4iéme journées d études faible consommation, pages , Mai 2003.

23 Bibliographie [Ge01] Jun fei Geng, Battery Modeling: a Longer Lifetime, (duke University). [Gr02] F. Gruian, «Energy centric Scheduling for Real Time Systems», PhD thesis Lund Institute of Technology, [Gu03a] P. Guitton-Ouhamou, K. Ben Chehida, C. Belleudy, M. Auguin, «Automatical architecture exploration : Energy optimisations of a codesign tool for embedded HW/SW systems», first Northeast Workshop on Circuits and Systems (NEWCAS'2003), sponsored by IEEE June 17-20, 2003, in Montréal, Canada. [Gu03b] GUITTON-OUHAMOU Patricia, BELLEUDY Cécile, AUGUIN Michel, «Dynamic Voltage Scaling: implementations during the scheduling step of a codesign tool», Sophia Antipolis Microelectronics Forum (SAME2003), IEEE CAS Society, 6th edition, October , Sophia-Antipolis, France. [Lu01] Jiong Luo, Niraj K. Jha "Battery-Aware Static Scheduling for Distributed Real- Time Embedded Systems", in proceedings of 38th Design Automation Conference 2001 [p. 444] June 18-22, 2001 Las Vegas. [Lu02] J. Luo and N. K. Jha, Static and dynamic variable voltage scheduling algorithms for real-time heterogeneous distributed embedded systems, Int. Conf. on VLSI Design, Jan

24 Bibliographie [Ma99] Thomas Martin and Daniel Seiwiorek, "Non-Ideal Battery Behavior and Its Impact on Power Performance Trade-offs in Wearable Computing," Proceedings of the 1999 International Symposium on Wearable Computers, San Francisco, October 18-19, 1999; pp [Pi01] P. Pillai, Kang G. Shin, " Real-Time dynamic Voltage scaling for Low Power Embedded Operating Systems ", 18th Symposium on operating System Principles, October [Wu03] Dong Wu and Bashir M. Al-Hashimi, Petru Eles, "Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems", in proceedings of Design Automation Test in Europe 2003 Munich, Germany, March 3-7, 2003, p [Ya95] F. Yao, A. Demers, S. shenker, «A sheduling model for reduced CPU energy», Proc. IEEE FOCS [Zh03] D. Zhu, R. Melhem, and B. Childers; "Scheduling with Dynamic Voltage/Speed Adjustment Using Slack Reclamation in Multi-Processor Real-Time Systems", IEEE Trans. on Parallel & Distributed Systems, vol. 14, no. 7, pp , 2003.

STORM. Simulation TOol for Real-Time Multiprocessor scheduling. http://storm.rts-software.org. GDR ASR ACTRISS Nancy 7 novembre 2012

STORM. Simulation TOol for Real-Time Multiprocessor scheduling. http://storm.rts-software.org. GDR ASR ACTRISS Nancy 7 novembre 2012 Institut de Recherche en Communications et Cybernétique de Nantes STORM Simulation TOol for Real-Time Multiprocessor scheduling http://storm.rts-software.org GDR ASR ACTRISS Nancy 7 novembre 2012 Richard

Plus en détail

Ordonnancement contraint par l énergie de tâches probabilistes

Ordonnancement contraint par l énergie de tâches probabilistes Ordonnancement contraint par l énergie de tâches probabilistes Vandy Berten vandy.berten@ulb.ac.be Université Libre de Bruxelles Vandy Berten (vandy.berten@ulb.ac.be) TR Probabiliste et Énergie Université

Plus en détail

TEPZZ 88_8 9A_T EP 2 881 839 A1 (19) (11) EP 2 881 839 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G06F 1/32 (2006.01) G06F 9/48 (2006.

TEPZZ 88_8 9A_T EP 2 881 839 A1 (19) (11) EP 2 881 839 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G06F 1/32 (2006.01) G06F 9/48 (2006. (19) TEPZZ 88_8 9A_T (11) EP 2 881 839 A1 (12) DEMANDE DE BREVET EUROPEEN (43) Date de publication:.06.1 Bulletin 1/24 (1) Int Cl.: G06F 1/32 (06.01) G06F 9/48 (06.01) (21) Numéro de dépôt: 1419809.0 (22)

Plus en détail

Ordonnancement temps réel et minimisation de la consommation d énergie

Ordonnancement temps réel et minimisation de la consommation d énergie Chapitre 4 Ordonnancement temps réel et minimisation de la consommation d énergie 4.1. Introduction La consommation en énergie est devenue un problème crucial dans la conception des équipements électroniques

Plus en détail

Equilibrage de charge (Load

Equilibrage de charge (Load Equilibrage de charge (Load balancing) dans les MPSoCs Présenté Le : 02 Décembre 2013 Par : A. AROUI Encadreur : A.E. BENYAMINA 01/12/2013 1 Problématique Comportement dynamique des applications et la

Plus en détail

Ordonnancement temps réel

Ordonnancement temps réel Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches

Plus en détail

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr Ordonnancement Temps Réel Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr 2 Plan de la présentation 1. Introduction aux systèmes temps réel 1.1 Différents modèles de tâches 1.2

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

Méthode d estimation de la durée de vie des réseaux de capteurs sans fils

Méthode d estimation de la durée de vie des réseaux de capteurs sans fils Méthode d estimation de la durée de vie des réseaux de capteurs sans fils Wilfried DRON, Simon DUQUENNOY, Thiemo VOIGT, Abraham SUISSA, Khalil HACHICHA, Julien DENOULET et Patrick GARDA Ecole de Printemps

Plus en détail

L ordonnancement, la clé d une gestion efficace des ressources

L ordonnancement, la clé d une gestion efficace des ressources L ordonnancement, la clé d une gestion efficace des ressources Nicolas Navet Jean-Pierre Thomesse Equipe TRIO laboratoire LORIA à Nancy Ordonnancer c est définir un ordre sur l exécution des différentes

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

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

Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Master 2 pro Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Isabelle PUAUT / Rémi COZOT Université de Rennes I 1 Applications temps-réel embarquées Systèmes en interaction avec l

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

Aspects théoriques et algorithmiques du calcul réparti Le placement

Aspects théoriques et algorithmiques du calcul réparti Le placement Aspects théoriques et algorithmiques du calcul réparti Le placement Patrick CIARLET Enseignant-Chercheur UMA patrick.ciarlet@ensta-paristech.fr Françoise LAMOUR franc.lamour@gmail.com Aspects théoriques

Plus en détail

Aspects théoriques et algorithmiques du calcul réparti Le placement

Aspects théoriques et algorithmiques du calcul réparti Le placement Aspects théoriques et algorithmiques du calcul réparti Le placement Patrick CIARLET Enseignant-Chercheur UMA patrick.ciarlet@ensta-paristech.fr Françoise LAMOUR franc.lamour@gmail.com Aspects théoriques

Plus en détail

FORTAS : Framework for Real-Time Analysis and Simulation

FORTAS : Framework for Real-Time Analysis and Simulation FORTAS : Framework for Real-Time Analysis and Simulation Pierre Courbin (courbin@ece.fr) LACSC - ECE Paris 12/03/2012 Pierre Courbin (courbin@ece.fr) FORTAS : Framework for Real-Time Analysis and Simulation

Plus en détail

Ordonnancement sous contraintes de Qualité de Service dans les Clouds

Ordonnancement sous contraintes de Qualité de Service dans les Clouds Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 05/12/2014 1 Contexte CLOUD COMPUTING Contexte : Environnement de Cloud

Plus en détail

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie

Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie 1 Présenté par: Yacine KESSACI Encadrement : N. MELAB E-G. TALBI 31/05/2011 Plan 2 Motivation

Plus en détail

ECOFAC 2010 Plestin les Grèves 29 mars 2 avril 2010

ECOFAC 2010 Plestin les Grèves 29 mars 2 avril 2010 ECOFAC 2010 Plestin les Grèves 29 mars 2 avril 2010 École thématique Conception faible consommation pour les systèmes embarqués temps réel http ://ecofac2010.irisa.fr/ Bilan Table des matières 1 Bilan

Plus en détail

TP10 Modélisation, simulation et vérification du «Priority Inheritance Protocol» en Kind2

TP10 Modélisation, simulation et vérification du «Priority Inheritance Protocol» en Kind2 École normale supérieure Année 2014-2015 Systèmes et réseaux TP10 Modélisation, simulation et vérification du «Priority Inheritance Protocol» en Kind2 1 Plan En suivant l exemple de Jahier, Halbwachs et

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

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

Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE

Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE 1. Rappel de ce qu est un SE 2. Conception au niveau système (ESL) Méthodologie de conception (codesign logiciel/matériel)

Plus en détail

Hétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds

Hétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds Hétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds Mardi Laurent Lefèvre LIP Inria/ENS Lyon Jean-Marc Pierson, Georges Da Costa, Patricia Stolf IRIT Toulouse Hétérogénéité

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

HYTEM http://www.hytem.net GENERATEUR SYNTHETISE GSM / DCS / PCS / UMTS / LTE / WIFI / WLAN

HYTEM http://www.hytem.net GENERATEUR SYNTHETISE GSM / DCS / PCS / UMTS / LTE / WIFI / WLAN http://www.hytem.net GENERATEUR SYNTHETISE GSM / DCS / PCS / UMTS / LTE / WIFI / WLAN CARACTERISTIQUES TECHNIQUES ET UTILISATION MAN 08-02-23 GARANTIE WARRANTY! La maintenance de cet appareil doit être

Plus en détail

Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport

Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport Jean Luc DEKEYSER, Sébastien LE BEUX, Philippe MARQUET Inria Futurs Lille dekeyser@lifl.fr

Plus en détail

Développement et intégration sous Linux/RTAI de composants logiciels temps-réel open-source génériques

Développement et intégration sous Linux/RTAI de composants logiciels temps-réel open-source génériques Développement et intégration sous Linux/RTAI de composants logiciels temps-réel open-source génériques Thibault GARCIA, Audrey MARCHAND et Maryline SILLY-CHETTO IRIN (Institut de Recherche en Informatique

Plus en détail

MAYA DESIGN CENTER. Grenoble-Paris-Toulouse-Valence-Aix en Provence-Sophia Antipolis

MAYA DESIGN CENTER. Grenoble-Paris-Toulouse-Valence-Aix en Provence-Sophia Antipolis MAYA DESIGN CENTER Grenoble-Paris-Toulouse-Valence-Aix en Provence-Sophia Antipolis Sommaire 1 ) Niveaux d intervention 2 ) Références projets 3 ) IT 4 ) Implantations 5 ) Références clients Niveaux d

Plus en détail

Ordonnancement sous contraintes de Qualité de Service dans les Clouds

Ordonnancement sous contraintes de Qualité de Service dans les Clouds Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 14/9/215 1 Profil Profil Parcours : Laboratoires LAAS et IRIT à Toulouse

Plus en détail

HYTEM http://www.hytem.net RECEPTEUR DE MESURE GSM / DCS / PCS / UMTS / LTE / WIFI / WLAN

HYTEM http://www.hytem.net RECEPTEUR DE MESURE GSM / DCS / PCS / UMTS / LTE / WIFI / WLAN http://www.hytem.net RECEPTEUR DE MESURE GSM / DCS / PCS / UMTS / LTE / WIFI / WLAN CARACTERISTIQUES TECHNIQUES ET UTILISATION MAN 08-02-24 GARANTIE WARRANTY! La maintenance de cet appareil doit être assurée

Plus en détail

G. Lesauvage. Laboratoire d Informatique et du Traitement de l Information et des Systèmes

G. Lesauvage. Laboratoire d Informatique et du Traitement de l Information et des Systèmes Gestion dynamique des activités des chariots cavaliers sur un terminal portuaire à conteneurs en environnement incertain - approche par intelligence collective - G. Lesauvage Unité de Formation et de Recherche

Plus en détail

Principe d'alimentation par convertisseurs multiniveaux à stockage intégré - Application aux accélérateurs de particules

Principe d'alimentation par convertisseurs multiniveaux à stockage intégré - Application aux accélérateurs de particules Principe d'alimentation par convertisseurs multiniveaux à stockage intégré - Application aux accélérateurs de particules THÈSE N O 4034 (2008) PRÉSENTÉE le 30 mai 2008 À LA FACULTÉ DES SCIENCES ET TECHNIQUES

Plus en détail

Moteur DC: Comment faire varier sa vitesse?

Moteur DC: Comment faire varier sa vitesse? Moteur DC: Comment faire varier sa vitesse? Zone d'utilisation Moteur à excitation shunt Influence I e Petite perturbation : e.g. augmentation vitesse À partir de P : couple moteur P'' < couple résistant

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

La Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS

La Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS Rev. Energ. Ren. : Chemss 2000 39-44 La Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS D.K. Mohamed, A. Midoun et F. Safia Département

Plus en détail

Global patent index EP 2384082 A1

Global patent index EP 2384082 A1 Global patent index EP 2384082 A1 Title (en) Method and device for configuring a network of removed wireless sensors Title (de) Verfahren und Vorrichtung zur Konfiguration eines Sensornetzes ohne verlegte

Plus en détail

Introduction à la Recherche en Laboratoire

Introduction à la Recherche en Laboratoire Introduction à la Recherche en Laboratoire Transferts de données pour le vol de travail Tristan Darricau tristan.darricau@ensimag.grenoble-inp.fr 26 mai 2014 Grenoble INP - ENSIMAG Ecadrement Frédéric

Plus en détail

Gestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes

Gestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes Gestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes M. Nick, R. Cherkaoui, M. Paolone «Le réseau électrique de demain» - EPFL, 21.05.2015 Table

Plus en détail

Modélisation, Exploration et Estimation de la Consommation pour les Architectures Hétérogènes Reconfigurables Dynamiquement

Modélisation, Exploration et Estimation de la Consommation pour les Architectures Hétérogènes Reconfigurables Dynamiquement Modélisation, Exploration et Estimation de la Consommation pour les Architectures Hétérogènes Reconfigurables Dynamiquement Robin Bonamy To cite this version: Robin Bonamy. Modélisation, Exploration et

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

Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d exploitation

Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d exploitation UNIVERSITÉ PARIS-SUD ÉCOLE DOCTORALE Sciences et Technologie de l Information, des Télécommunications et des Systèmes INRIA Paris-Rocquencourt DISCIPLINE : Génie Informatique THÈSE DE DOCTORAT présentée

Plus en détail

Application de K-means à la définition du nombre de VM optimal dans un cloud

Application de K-means à la définition du nombre de VM optimal dans un cloud Application de K-means à la définition du nombre de VM optimal dans un cloud EGC 2012 : Atelier Fouille de données complexes : complexité liée aux données multiples et massives (31 janvier - 3 février

Plus en détail

CONCEPTION ET TEST DE CIs. 3. METHODES ET OUTILS DE CONCEPTION DES CIs

CONCEPTION ET TEST DE CIs. 3. METHODES ET OUTILS DE CONCEPTION DES CIs CONCEPTION ET TEST DE CIs 3. METHODES ET OUTILS DE CONCEPTION DES CIs 3.1 Introduction 3.2 Méthodologies de conception des ASICs 3.3 Conception des Circuits Programmables 3. METHODES ET OUTILS - Introduction

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

Les ordinateurs : de 1946 à aujourd hui

Les ordinateurs : de 1946 à aujourd hui : Introduction Daniel Etiemble de@lri.fr Les ordinateurs : de 1946 à aujourd hui ENIAC (1946) 19000 tubes 30 tonnes surface de 72 m 2 consomme 140 kilowatts. Horloge : 0 KHz. 330 multiplications/s Mon

Plus en détail

Une approche modèle dans la conception de systèmes sur puce hétérogènes

Une approche modèle dans la conception de systèmes sur puce hétérogènes Une approche modèle dans la conception de systèmes sur puce hétérogènes Jean-Luc Dekeyser et Lossan Bondé FETCH 07 IP dans le SoC 100% Réutilisé 80% Spécifique 60% 40% 20% 0% 1999 2002 2005 2008 2011 2014

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

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

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

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

CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS

CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS MEMOIRE pour l examen probatoire du CNAM en INFORMATIQUE L ordonnancement temps réel des tâches et des messages Laurent Dehoey Soutenance : mai 2004 JURY

Plus en détail

Ordonnancement centralisé de de tâches temps réel

Ordonnancement centralisé de de tâches temps réel Ordonnancement centralisé de de tâches temps réel Samia Bouzefrane Maître de Conférences CEDRIC CNAM samia.bouzefrane@cnam.fr http://cedric.cnam.fr/~bouzefra 1 Sommaire 1. Caractéristiques de l ordonnancement

Plus en détail

Evaluation des performances de programmes parallèles haut niveau à base de squelettes

Evaluation des performances de programmes parallèles haut niveau à base de squelettes Evaluation des performances de programmes parallèles haut niveau à base de squelettes Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras A. Benoit, M. Cole,

Plus en détail

FFSMark : un Benchmark pour Systèmes de Fichiers Dédiés aux Mémoires Flash

FFSMark : un Benchmark pour Systèmes de Fichiers Dédiés aux Mémoires Flash FFSMark : un Benchmark pour Systèmes de Fichiers Dédiés aux Mémoires Flash Pierre Olivier, Jalil Boukhobza Lab-STICC / Université de Bretagne Occidentale, Brest pierre.olivier@univ-brest.fr, jalil.boukhobza@univ-ubs.fr

Plus en détail

Extraction de motifs dans des traces système bas-niveau

Extraction de motifs dans des traces système bas-niveau Extraction de motifs dans des traces système bas-niveau Etienne Dublé, Alexandre Termier HADAS / LIG Séminaire PIMLIG, 2014/01/22 Introduction Recent embedded systems: MultiProcessor System-on-Chip (MPSoC)

Plus en détail

Optimisation énergétique des implants actifs

Optimisation énergétique des implants actifs Optimisation énergétique des implants actifs Nov 2012 1 1 Table des matières Historique des sources d énergie Contraintes et solutions globales Courbe de décharge Synthèse des technologies de piles et

Plus en détail

AFADL 98, Approches Formelles dans l Assistance au Développement de Logiciels, pp. 137-148, Futuroscope, 30/09-1/10/1998

AFADL 98, Approches Formelles dans l Assistance au Développement de Logiciels, pp. 137-148, Futuroscope, 30/09-1/10/1998 Validation de Systèmes Temps Réel à l Aide de Réseaux de Petri Emmanuel GROLLEAU, Annie CHOQUET GENIET, Francis COTTET LISI ENSMA Site du FUTUROSCOPE BP 109 86960 FUTUROSCOPE Cedex E mail grolleau@ensma.fr,

Plus en détail

Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre.

Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre. Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre. Isabelle Bombard, Bruno da Silva, Pascal Dufour *, Pierre Laurent, Joseph Lieto. Laboratoire d Automatique

Plus en détail

Les conteneurs : une approche générique pour la conception d un système à image unique

Les conteneurs : une approche générique pour la conception d un système à image unique RENPAR 14 / ASF / SYMPA Hamamet, Tunisie, 10 13 avril 2002 Les conteneurs : une approche générique pour la conception d un système à image unique Renaud Lottiaux, projet PARIS IRISA/INRIA, Campus universitaire

Plus en détail

Optimisation de la structure électromagnétique d une machine spéciale fort couple.

Optimisation de la structure électromagnétique d une machine spéciale fort couple. Optimisation de la structure électromagnétique d une machine spéciale fort couple. Luc Moreau, Mohamed El Hadi ZAÏM To cite this version: Luc Moreau, Mohamed El Hadi ZAÏM. Optimisation de la structure

Plus en détail

Equilibrage de charge pour les grilles de calcul : classe des tâches dépendantes et indépendantes.

Equilibrage de charge pour les grilles de calcul : classe des tâches dépendantes et indépendantes. Equilibrage de charge pour les grilles de calcul : classe des tâches dépendantes et indépendantes. Meriem Meddeber 1 et Belabbas Yagoubi 2 1 Université de Mascara, Faculté des sciences, Département des

Plus en détail

La gestion des files d'attente par les règles de priorité

La gestion des files d'attente par les règles de priorité La gestion des files d'attente par les règles de priorité Zoheir KARAOUZENE, Zaki SARI. LAT : Laboratoire d Automatique de Tlemcen Faculté des sciences de l ingénieur Université ABOU-BEKR BELKAÎD BP 230

Plus en détail

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables Can operational planning decrease distribution costs? - La gestion prévisionnelle pour diminuer les coûts de distribution?

Plus en détail

In Distances & Savoirs, 1(3), 2003, pp. 337-360 %2$:; 3<< 0;4 30706

In Distances & Savoirs, 1(3), 2003, pp. 337-360 %2$:; 3<< 0;4 30706 In Distances & Savoirs, 1(3), 2003, pp. 337-360!"#$ %&"'()*!,-. / $%0!1$ %&2'()*! 1 330,4 356706 88803567069 93 %2$:; 3

Plus en détail

Comparaison entre une architecture matérielle dédiée et un GP-GPU pour l optimisation

Comparaison entre une architecture matérielle dédiée et un GP-GPU pour l optimisation Comparaison entre une architecture matérielle dédiée et un GP-GPU pour l optimisation Université de Bretagne-Sud Lab-STICC, Lorient, France ROADeF Troyes, France 13-15 Février 2013 1/22 Objectifs Après

Plus en détail

MARTE : le futur standard OMG pour le développement dirigé par les modèles des systèmes embarqués temps réel

MARTE : le futur standard OMG pour le développement dirigé par les modèles des systèmes embarqués temps réel MARTE : le futur standard OMG pour le développement dirigé par les modèles des systèmes embarqués temps réel Frédéric Thomas, Huascar Espinoza, Safouan Taha, Sébastien Gérard CEA LIST Boîte 94 Gif sur

Plus en détail

Optimisation des performances du programme mpiblast pour la parallélisation sur grille de calcul

Optimisation des performances du programme mpiblast pour la parallélisation sur grille de calcul Optimisation des performances du programme mpiblast pour la parallélisation sur grille de calcul Mohieddine MISSAOUI * Rapport de Recherche LIMOS/RR-06-10 20 novembre 2006 * Contact : missaoui@isima.fr

Plus en détail

Analyse statique de SCADE par interprétation abstraite

Analyse statique de SCADE par interprétation abstraite Analyse statique de SCADE par interprétation abstraite soutenance de stage Alex AUVOLAT ANSYS-Esterel Technologies sous l encadrement de Jean-Louis Colaço Juin-Juillet 2014 1/33 Introduction SCADE : programmation

Plus en détail

Objets Communicants Portés : Vers une Autonomie Adaptée

Objets Communicants Portés : Vers une Autonomie Adaptée URSI-France Journées scientifiques 25/26 mars 2014 Objets Communicants Portés : Vers une Autonomie Adaptée Renaud BRIAND*, **, Guillaume TERRASSON*, Alvaro LLARIA*, Valérie DUPE* * ESTIA, Technopôle IZARBEL,

Plus en détail

Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing

Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Les Clusters Les Mainframes Les Terminal Services Server La virtualisation De point de vue naturelle, c est le fait de regrouper

Plus en détail

Génération de code binaire pour application multimedia : une approche au vol

Génération de code binaire pour application multimedia : une approche au vol Génération de binaire pour application multimedia : une approche au vol http://hpbcg.org/ Henri-Pierre Charles Université de Versailles Saint-Quentin en Yvelines 3 Octobre 2009 Présentation Présentation

Plus en détail

Répartition de charge dynamique dans un système distribuée

Répartition de charge dynamique dans un système distribuée Rapport de TER Répartition de charge dynamique dans un système distribuée Tuteur : Stephane Mancini Benjamin Petit Grenoble INP - Ensimag Mai 2010 Table des matières 1 Introduction 4 1.1 Contexte pratique...................................

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

Introduction au temps réel

Introduction au temps réel Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié

Plus en détail

Dimensionnement et contrôle d un véhicule hybride électrique basé sur une pile à combustible

Dimensionnement et contrôle d un véhicule hybride électrique basé sur une pile à combustible Électrotechnique du Futur 14&15 décembre 2011, Belfort Dimensionnement et contrôle d un véhicule hybride électrique basé sur une pile à combustible Alexandre RAVEY, Benjamin BLUNIER, Abdellatif MIRAOUI

Plus en détail

Le Cloud Compu+ng modèle et évalua+on de performances

Le Cloud Compu+ng modèle et évalua+on de performances Le Cloud Compu+ng modèle et évalua+on de Par Valérie D. JUSTAFORT Candidate au Ph.D. École Polytechnique 28 Mars 2014 Sous la direction de M. Samuel PIERRE, Ph.D. École Polytechnique Et la co-direction

Plus en détail

Modélisation électrique

Modélisation électrique Institut National des Sciences Appliquées de Toulouse Rapport de TP Modélisation électrique de la commande de charge dans l automobile Simon Bouvot Alexis Ferte

Plus en détail

Document de formation pour une solution complète d automatisation Totally Integrated Automation (T I A) MODULE B4 Blocs de données

Document de formation pour une solution complète d automatisation Totally Integrated Automation (T I A) MODULE B4 Blocs de données Document de formation pour une solution complète d automatisation Totally Integrated Automation (T I A) MODULE B4 Document de formation T I A Page 1 sur 18 Module B4 Ce document a été édité par Siemens

Plus en détail

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques Ioannis Parissis - Claudia Roncancio LCIS LIG 1 Contexte et motivation! Capteurs omniprésents, en pleine

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

GDR RSEI. Entre inertie et utopie : qu'est ce que les TIC devront réellement faire pour les VE

GDR RSEI. Entre inertie et utopie : qu'est ce que les TIC devront réellement faire pour les VE GDR RSEI Entre inertie et utopie : qu'est ce que les TIC devront réellement faire pour les VE David Mercier Chef du Laboratoire Information, Modèles et Apprentissage 08/06/2012 2 SOMMAIRE Rappels sur les

Plus en détail

1. Définitions et classifications

1. Définitions et classifications MASTER ISIC Les Alimentations 1 1. Définitions et classifications Une alimentation est un convertisseur d énergie. Une alimentation électrique transforme une énergie mécanique, chimique, électrique et

Plus en détail

DC Forum - Coppet, le 17 septembre 2014. Avesco - Energy Systems. Gian Franco Broggi Loris Buess

DC Forum - Coppet, le 17 septembre 2014. Avesco - Energy Systems. Gian Franco Broggi Loris Buess DC Forum - Coppet, le 17 septembre 2014 Avesco - Energy Systems Gian Franco Broggi Loris Buess Avesco Une entreprise familiale Fondé en 1869 6 e génération 3 400 employés Chiffre d affaire 2013 : 910 MioCHF

Plus en détail

WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS

WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS Avec l appui de l INRIA www-rocq.inria.fr/syndex 1 PLAN I. Présentation du sujet II. Présentation

Plus en détail

RELAXATION LAGRANGIENNE DE PROBLÈMES DE INSTITUT SUPERIEUR D INFORMATIQUE DE MODELISATION ET DE LEURS APPLICATIONS

RELAXATION LAGRANGIENNE DE PROBLÈMES DE INSTITUT SUPERIEUR D INFORMATIQUE DE MODELISATION ET DE LEURS APPLICATIONS INSTITUT SUPERIEUR D INFORMATIQUE DE MODELISATION ET DE LEURS APPLICATIONS COMPLEXE DES CEZEAUX BP 125-63173 AUBIERE CEDEX Rapport de projet 3 ème année filière 4 RELAXATION LAGRANGIENNE DE PROBLÈMES DE

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

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Sarah Benkouider, Souhila Labgaa 2, Mohamed Yagoubi 3 Université Amar Telidji Département

Plus en détail

CONTEC CO., LTD. Novembre 2010

CONTEC CO., LTD. Novembre 2010 La gamme CONTEC CONTEC CO., LTD. Novembre 2010 1 Agenda Introduction Data acquisition and control Data Communication Expansion chassis and accessory Distributed I/O and media converter Stainless steel

Plus en détail

Laboratoire ID-IMAG INRIA Rhône-Alpes Grenoble. http://moais.imag.fr

Laboratoire ID-IMAG INRIA Rhône-Alpes Grenoble. http://moais.imag.fr Laboratoire ID-IMAG INRIA Rhône-Alpes Grenoble http://moais.imag.fr 1 2 Personnel Permanents (7) : Vincent Danjean [MdC UJF] Thierry Gautier [CR INRIA] Guillaume Huard [MdC UJF] Grégory Mounié [MdC INPG]

Plus en détail

Acquisition de données avec une carte multi-fonctions sous LabVIEW. Cours LabVIEW ENSPS J2 Serio@unistra.fr V1.04-2011

Acquisition de données avec une carte multi-fonctions sous LabVIEW. Cours LabVIEW ENSPS J2 Serio@unistra.fr V1.04-2011 Acquisition de données avec une carte multi-fonctions sous LabVIEW 1 1 Objectifs de la séance Acquisition de données avec un module d acquisition de données multifonctions (USB 6009) et traitement sous

Plus en détail

Plan : Master IM2P2 - Calcul Scientifique

Plan : Master IM2P2 - Calcul Scientifique Plan : Les systèmes HPC Typologie des systèmes : Machines Mémoire partagée Machines à Mémoire Distribuées Machine NUMA Exemples Architectures Processeurs HPC Processeurs scalaires, superscalaires, vectoriels

Plus en détail

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables. Presentation and snapshot of achieved work

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables. Presentation and snapshot of achieved work GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables Presentation and snapshot of achieved work FLEXIPAC meeting Bertrand Cornélusse, University of Liège December 2014 1 P L

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

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

Rééquilibrage de charge en-ligne bi-critère

Rééquilibrage de charge en-ligne bi-critère RenPar 18 / SympA 2008 / CFSE 6 Fribourg, Suisse, du 11 au 13 février 2008 Rééquilibrage de charge en-ligne bi-critère Matthieu Pérotin, Patrick Martineau & Carl Esswein Université François Rabelais, Labortoire

Plus en détail

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi Thèse High Performance by Exploiting Information Locality through Reverse Computing Présentée et soutenue publiquement le 21 décembre 2011 par Mouad Bahi pour l obtention du Doctorat de l université Paris-Sud

Plus en détail

Design, améliorations, et implémentations

Design, améliorations, et implémentations CPU et Mémoire Design, améliorations, et implémentations Techniques et caractéristiques modernes qui permettent de donner aux ordinateurs actuels toute leur puissance 1 Architectures CPU Design de l architecture

Plus en détail

Intégration de l énergie éolienne au réseau électrique

Intégration de l énergie éolienne au réseau électrique Intégration de l énergie éolienne au réseau électrique B. Francois Séminaire Le développement des Energies éoliennes en Tunisie Association des Spécialistes Electriciens de Tunisie 19 novembre 2009 Laboratoire

Plus en détail

Mécanismes de protection dans AUTOSAR OS

Mécanismes de protection dans AUTOSAR OS Mécanismes de protection dans AUTOSAR OS Nicolas Navet, RTaW Hervé Perrault, PSA Peugeot Citroën Conférence à RTS 09 le 31/03/2009 Plan 1. Code ECU : besoin de ré-utilisabilité et multi-source 2. Concepts

Plus en détail