Mesure et modélisation de l énergie logicielle

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

Download "Mesure et modélisation de l énergie logicielle"

Transcription

1 Mesure et modélisation de l énergie logicielle Adel Noureddine, Romain Rouvoy, Lionel Seinturier Green Lille 29 novembre 2013

2 Plan Contexte! Problèmes et limitations! Mesure énergétique des logiciels avec Jalen! Benchmarking de la variation énergétique

3 Énergie, c est quoi le problème?

4 Prix du pétrole Energy Information Administration and Bureau of Labor Statistics, 2013

5 Consommation des TICs % Consommation électrique (GW) 2% Empreinte carbone (MtCO2e)

6 Consommation des TICs Consommation et empreinte x % 0 Consommation électrique (GW) Empreinte carbone (MtCO2e)

7 Il faut optimiser la consommation énergétique des ordinateurs et des logiciels.

8 Il faut optimiser la consommation énergétique des ordinateurs et des logiciels. Mesurer Optimiser

9 Ça n existe pas déjà?

10 Problèmes et limitations Mesure l énergie? Granularité Modification OS ou application Utilisation d un wattmètre Wattmètres Matérielle PowerScope Processus OS ptop Processus OS pour le réseau Energy Checker Code source Application Profilers OS Processus Profilers logiciels Code source Dépend du profiler

11 Problèmes et limitations Mesure l énergie? Granularité Modification OS ou application Utilisation d un wattmètre Wattmètres Matérielle PowerScope Processus OS ptop Processus OS pour le réseau Energy Checker Code source Application Profilers OS Processus Profilers logiciels Code source Dépend du profiler Idéal Code source

12 Mesure énergétique des logiciels! et ce que nous faisons avec!

13 Approches

14 Mesure du code source

15 Mesure du code source Application Matériel & OS

16 Mesure du code source Application Matériel & OS Utilisant des resources matériels

17 Mesure du code source Modèles énergétiques Consommation énergétique du matériel Application Matériel & OS Utilisant des resources matériels Documentation des fabricants

18 Mesure du code source Modèles énergétiques Utilisation des resources par le logiciel Consommation énergétique du matériel Application Matériel & OS Utilisant des resources matériels Documentation des fabricants

19 Mesure du code source Modèles énergétiques Utilisation des resources par le logiciel Utilisation des resources par le code source Consommation énergétique du matériel Application Matériel & OS Utilisant des resources matériels Documentation des fabricants

20 Mesure du code source Modèles énergétiques Consommation énergétique du process Utilisation des resources par le logiciel Utilisation des resources par le code source Consommation énergétique du matériel Application Matériel & OS Utilisant des resources matériels Documentation des fabricants

21 Mesure du code source Consommation énergétique du code source du logiciel Modèles énergétiques Consommation énergétique du process Utilisation des resources par le logiciel Utilisation des resources par le code source Consommation énergétique du matériel Application Matériel & OS Utilisant des resources matériels Documentation des fabricants

22 Benchmarking du code

23 Benchmarking du code Librairie logicielle

24 Benchmarking du code Librairie logicielle Détection des classes et méthodes de la librairie

25 Benchmarking du code Génération de benchmarks pour chaque méthode et paramètre Librairie logicielle Détection des classes et méthodes de la librairie

26 Benchmarking du code Exécution des benchmarks et mesure de l énergie avec Jalen Mesure niveau code source Génération de benchmarks pour chaque méthode et paramètre Librairie logicielle Détection des classes et méthodes de la librairie

27 Benchmarking du code Agrégation des résultats et génération du modèle énergétique Exécution des benchmarks et mesure de l énergie avec Jalen Mesure niveau code source Génération de benchmarks pour chaque méthode et paramètre Librairie logicielle Détection des classes et méthodes de la librairie

28 Jalen: mesure énergétique au niveau code source

29 Jalen architecture

30 Jalen architecture Machine virtuelle Java Application Java Matériel et OS

31 Jalen architecture Machine virtuelle Java Application Java Jalen Matériel et OS

32 Jalen architecture Consommation énergétique du code source du logiciel Machine virtuelle Java Application Java Jalen Matériel et OS

33 Échantillonnage statistique

34 Échantillonnage statistique Jalen Application Java Méthode 1 Méthode n

35 Échantillonnage statistique Jalen Application Java Méthode 1 Méthode n Données collectées : statistiques sur les méthodes, entrées/sorties, utilisation des APIs, etc.

36 Échantillonnage statistique Jalen Application Java Méthode 1 Méthode n Données collectées : statistiques sur les méthodes, entrées/sorties, utilisation des APIs, etc. Calculs et corrélation (collecte de mesures et modèles)

37 Échantillonnage statistique Jalen Application Java Méthode 1 Méthode n Données collectées : statistiques sur les méthodes, entrées/sorties, utilisation des APIs, etc. Calculs et corrélation (collecte de mesures et modèles) Consommation énergétique du code source du logiciel

38 Échantillonnage statistique Jalen Application Java Méthode 1 Méthode n Boucle de monitoring de l application Données collectées : statistiques sur les méthodes, entrées/sorties, utilisation des APIs, etc. Calculs et corrélation (collecte de mesures et modèles) Consommation énergétique du code source du logiciel

39 Échantillonnage statistique Jalen Application Java Méthode 1 Méthode n Boucle de monitoring de l application Boucle de monitoring au niveau code Données collectées : statistiques sur les méthodes, entrées/sorties, utilisation des APIs, etc. Calculs et corrélation (collecte de mesures et modèles) Consommation énergétique du code source du logiciel

40 Arbre d appels

41 Arbre d appels Méthode 1 Méthode 2

42 Arbre d appels Méthode 1 Méthode 2 Méthode 3 Méthode 4

43 Arbre d appels Méthode 1 Méthode 2 Méthode 3 Méthode 4 Méthode 5

44 Arbre d appels Méthode 1 Méthode 2 Méthode 3 Méthode 4 Méthode 5 Méthode JDK 1 Méthode JDK 2

45 Arbre d appels Méthode 1 Méthode 2 Résultats filtrées Méthode 3 Méthode 4 Méthode 5 Méthode JDK 1 Méthode JDK 2

46 Arbre d appels Méthode 1 Méthode 2 Méthode 3 Méthode 4 Méthode 5 Méthode JDK 1 Méthode JDK 2

47 Benchmarking du code :! Jalen Unit

48 Benchmarking du code Agrégation des résultats et génération du modèle énergétique Exécution des benchmarks et mesure de l énergie avec Jalen Jalen Génération de benchmarks pour chaque méthode et paramètre Librairie logicielle Détection des classes et méthodes de la librairie

49 Jalen Code source sur : github.com/adelnoureddine/jalen! Agent Java, utilisation : java -javaagent:jalen.jar -jar program.jar! Caractéristiques matérielles définies dans le fichier config.properties

50 Demo

51 Ce qu on fait avec Étudier l impact de l implémentation d algorithmes et de méthodes! Détecter où l énergie est consommée dans les logiciels et au niveau code source! Modéliser la variation énergétique des librairies à la suite de la modification des paramètres d entrées

52 Des graphes, des chiffres!

53 Tours de Hanoi: I/O - Print Avec print Sans Print Energie (joule)

54 Tours de Hanoi: I/O - Print Avec print Sans Print x Energie (joule)

55 Serveur web Jetty

56 Serveur web Jetty Nombre d invocations Nombre d'invocations Energie (joule) Energie (joule) 0 BlockingArrayQueue.poll JarFileResource.exists JarFileResource.newConnection ManagedSelector.select ChannelEndPoint.flush ServerConnector.accept ManagedSelector.wakeup ChannelEndPoint.shutdownOutput FileResource.normalizeURI FileResource.isDirectory 0

57 Énergie par invocation 0,6 0,45 Energie (joule) 0,3 0,15 0 BlockingArrayQueue.poll JarFileResource.exists JarFileResource.newConnection ManagedSelector.select ChannelEndPoint.flush ServerConnector.accept ManagedSelector.wakeup ChannelEndPoint.shutdownOutput FileResource.normalizeURI FileResource.isDirectory

58 Benchmarking de la variation énergétique

59 Algorithme de chiffrement RSA Energie (joule) Taille de la clé de chiffrement RSA

60 Algorithme de chiffrement RSA 1200 java.math.biginteger.oddmodpow java.math.biginteger.montreduce Autres 900 Energie (joule) Taille de la clé de chiffrement RSA

61 La méthode Joiner.join de Guava 4000 com.google.common.base.joiner$2.appendto 3000 Energie (joule) Nombre de chaînes de caractères

62 En conclusion Problématique de l énergie dans les logiciels! Modèles pour mesure la consommation au niveau le plus fin (application, code source)! Développement d un «microscope énergétique» : Jalen! Étude de la variation énergétique en utilisant des benchmarks avec Jalen Unit

63 Publications Adel Noureddine, Romain Rouvoy, and Lionel Seinturier. Inferring Automatically the Energy Consumption of Software Libraries. In Software Engineering Aspects of Green Computing track of the 29th Annual ACM Symposium on Applied Computing (SAC'14). Gyeongju, South Korea, March 2014.! Adel Noureddine, Aurélien Bourdon, Romain Rouvoy, and Lionel Seinturier. Runtime Monitoring of Software Energy Hotspots. In the 27th International Conference on Automated Software Engineering (ASE'12). Pages Essen, Germany, September Acceptance rate: 15%.! Adel Noureddine, Aurélien Bourdon, Romain Rouvoy, and Lionel Seinturier. A Preliminary Study of the Impact of Software Engineering on GreenIT. In the First International Workshop on Green and Sustainable Software (GREENS'12/ICSE'12). Zurich, Switzerland, June Acceptance rate: 41%.

réduisez la facture électrique

réduisez la facture électrique réduisez la facture électrique et l empreinte carbone de votre parc informatique LE CONSTAT La consommation électrique liée aux TIC représenterait 13% de la consommation totale*. Cette dernière serait

Plus en détail

Elasticité logicielle pour optimiser l empreinte énergétique

Elasticité logicielle pour optimiser l empreinte énergétique Ecole des Mines de Nantes Elasticité logicielle pour optimiser l empreinte énergétique Thomas Ledoux (équipe Ascola, INRIA-EMN, LINA) direction des études décembre 2010 page 1 Relation logiciel empreinte

Plus en détail

Vulgarisation Java EE Java EE, c est quoi?

Vulgarisation Java EE Java EE, c est quoi? Paris, le 1 Février 2012 Vulgarisation Java EE Java EE, c est quoi? Sommaire Qu est ce que Java? Types d applications Java Environnements Java Versions de Java Java EE, c est quoi finalement? Standards

Plus en détail

développement de serveurs Internet

développement de serveurs Internet Un modèle génératif pour le développement de serveurs Internet Soutenance de thèse de l Université Paris-Est Gautier LOYAUTÉ Gautier.Loyaute@univ-mlv.fr 5 Septembre 2008 Laboratoire d Informatique Institut

Plus en détail

Licence Fondamentale Informatique de Gestion

Licence Fondamentale Informatique de Gestion Licence Fondamentale Informatique de Gestion Domaine : Science et Technologie d Information Mention : Informatique de Gestion Parcours : Informatique de Gestion NB : Parcours National pour tous les niveaux

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

L optimisation des performances, la simplification des montées de version G.O.L.D. et le suivi statistique des processus.

L optimisation des performances, la simplification des montées de version G.O.L.D. et le suivi statistique des processus. L optimisation des performances, la simplification des montées de version G.O.L.D et le suivi statistique des processus. Présentation assurée par Pascal Gyssler (expert G.O.L.D. ilem) et Thierry Lejeune

Plus en détail

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne

Architecture de déploiement d un système réparti. Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne Architecture de déploiement d un système réparti Kawtharany Mohamed Laboratoire d'informatique et Télécommunication ENST Bretagne I. Introduction Contexte du travail. Étude du déploiement. Modélisation

Plus en détail

Java. Java. Le livrede. Avec 80 exercices corrigés. Avec 80 exercices corrigés. Le livre. Anne Tasso. 5 e édition. Un best-seller qui a déjà conquis

Java. Java. Le livrede. Avec 80 exercices corrigés. Avec 80 exercices corrigés. Le livre. Anne Tasso. 5 e édition. Un best-seller qui a déjà conquis Anne Tasso Un best-seller qui a déjà conquis des milliers d'étudiants! Java Le livre Java Le livrede de premier premier langage langage Avec 80 exercices corrigés Avec 80 exercices corrigés 5 e édition

Plus en détail

Le Filtre d Événements d ATLAS

Le Filtre d Événements d ATLAS Le Filtre d Événements d ATLAS François TOUCHARD CPPM en collaboration avec C. Bee, F. Etienne, E. Fede, C. Meessen, R. Nacasch, Z. Qian Contenu de la présentation L expérience ATLAS Le système de déclenchement

Plus en détail

Analyse de performance et optimisation. David Geldreich (DREAM)

Analyse de performance et optimisation. David Geldreich (DREAM) Analyse de performance et optimisation David Geldreich (DREAM) Plan de l exposé Analyse de performance Outils Optimisation Démonstrations Analyse de performance Pas d optimisation sans analyse de performance

Plus en détail

D un point de vue système, ajuster la mémoire est l une des principales méthodes pour augmenter ou réduire les performances d un processus.

D un point de vue système, ajuster la mémoire est l une des principales méthodes pour augmenter ou réduire les performances d un processus. GESTION DE LA MEMOIRE SOUS UNIX La mémoire est une ressource critique car elle conditionne les temps de traitements. Différentes options SAS sont disponibles pour utiliser au mieux la mémoire de la machine.

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

Entraînement au concours ACM-ICPC

Entraînement au concours ACM-ICPC Entraînement au concours ACM-ICPC Concours ACM-ICPC : format et stratégies Page 1 / 16 Plan Présentation Stratégies de base Page 2 / 16 Qu est-ce que c est? ACM-ICPC : International Collegiate Programming

Plus en détail

Chapitre 2 : Abstraction et Virtualisation

Chapitre 2 : Abstraction et Virtualisation Virtualisation et Cloud Computing Chapitre 2 : Abstraction et Virtualisation Objectifs Présenter la notion de niveaux d abstraction séparés par des interfaces bien définies Description des avantages et

Plus en détail

Périmètre de la solution

Périmètre de la solution Périmètre de la solution Tests unitaires : Pouvoir créer rapidement un nouveau cas de test à la suite de l ajout ou de l évolution d une règle de gestion. Ne pas avoir à coder chaque nouveau cas de test.

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

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

Cours de Java. Sciences-U Lyon. Java - Introduction Java - Fondamentaux Java Avancé. http://www.rzo.free.fr

Cours de Java. Sciences-U Lyon. Java - Introduction Java - Fondamentaux Java Avancé. http://www.rzo.free.fr Cours de Java Sciences-U Lyon Java - Introduction Java - Fondamentaux Java Avancé http://www.rzo.free.fr Pierre PARREND 1 Octobre 2004 Sommaire Java Introduction Java Fondamentaux Histoire de Java Machine

Plus en détail

Introduction au langage Java

Introduction au langage Java Introduction au langage Java 1 / 24 1 Vue générale La technologie Java Le langage Java La machine virtuelle Java Résumé Plan 2 Hello World Prérequis Premier programme : 3 étapes Résumé 3 HelloWorld en

Plus en détail

Laboratoire 4 Développement d un système intelligent

Laboratoire 4 Développement d un système intelligent DÉPARTEMENT DE GÉNIE LOGICIEL ET DES TI LOG770 - SYSTÈMES INTELLIGENTS ÉTÉ 2012 Laboratoire 4 Développement d un système intelligent 1 Introduction Ce quatrième et dernier laboratoire porte sur le développement

Plus en détail

ActiveSentry : le monitoring permanent de la sécurits. curité des architectures Internet

ActiveSentry : le monitoring permanent de la sécurits. curité des architectures Internet ActiveSentry : le monitoring permanent de la sécurits curité des architectures Internet OSSIR 11/09/2001 Fabrice Frade Directeur Technique Intranode 2001 Qui est Intranode? Intranode est un éditeur d une

Plus en détail

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr

Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr Les Lignes de Produits Logiciels (Software Product Lines) Tewfik Ziadi UPMC/LIP6 tewfik.ziadi@lip6.fr 1. Plusieurs modèles de téléphones. 2. Des utilisateurs à travers le monde Plusieurs versions de la

Plus en détail

ExelOP. Excellence Opérationnelle pour vous & vos clients

ExelOP. Excellence Opérationnelle pour vous & vos clients pour vous & vos clients ExelOP Optimiser les processus - Innover - Mesurer Agenda C LEAN Six 1 Sigma Lean Six Sigma: revue de l approche TRIZ Strategy 2 Contenu des formations Green & Black belt 3 Organisation

Plus en détail

Hadoop / Big Data. Benjamin Renaut MBDS 2014-2015

Hadoop / Big Data. Benjamin Renaut <renaut.benjamin@tokidev.fr> MBDS 2014-2015 Hadoop / Big Data Benjamin Renaut MBDS 2014-2015 TP 1 - Correction Méthodologie Map/Reduce - programmation Hadoop. Rappel 1 La première partie du TP consistait à mettre en

Plus en détail

PROJET MEU. Une plateforme web et cartographique pour le monitoring et la planification énergétique urbaine. Présentation Décryptagéo

PROJET MEU. Une plateforme web et cartographique pour le monitoring et la planification énergétique urbaine. Présentation Décryptagéo PROJET MEU Une plateforme web et cartographique pour le monitoring et la planification énergétique urbaine Massimiliano Capezzali, Adjoint du Directeur Energy Center Ecole Polytechnique Fédérale (EPFL)

Plus en détail

SimSE. A Software Engineering Simulation Environment

SimSE. A Software Engineering Simulation Environment 1 SimSE A Software Engineering Simulation Environment Salma Douiri-Kharraki 2 Sommaire La simulation Définitions Les lacunes dans l enseignement des modèles Rôle de la simulation SimSE C est quoi? Caractéristiques

Plus en détail

Anne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2

Anne Tasso. Java. Le livre de. premier langage. 10 e édition. Avec 109 exercices corrigés. Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2 Anne Tasso Java Le livre de premier langage 10 e édition Avec 109 exercices corrigés Groupe Eyrolles, 2000-2015, ISBN : 978-2-212-14154-2 Table des matières Avant-propos Organisation de l ouvrage..............................

Plus en détail

Groupe de discussion. Contexte

Groupe de discussion. Contexte Groupe de discussion Systèmes distribués Contexte Explosion d'internet a redéfini les systèmes distribués Client-server Web Pair à pair Internet 2 octobre 2003 Systèmes distribués 2 Modèle Pair à Pair

Plus en détail

Groupe d étude et d accompagnement sur l éco-conception des logiciels. Olivier PHILIPPOT Thierry LEBOUCQ. Colloque du 18 octobre 2012 Etat de l Art

Groupe d étude et d accompagnement sur l éco-conception des logiciels. Olivier PHILIPPOT Thierry LEBOUCQ. Colloque du 18 octobre 2012 Etat de l Art Groupe d étude et d accompagnement sur l éco-conception des logiciels Olivier PHILIPPOT Thierry LEBOUCQ Colloque du 18 octobre 2012 Etat de l Art Sommaire Qu'est-ce que le Green Code Lab? Quel est l impact

Plus en détail

Gestion dynamique des tâches dans les grappes

Gestion dynamique des tâches dans les grappes Gestion dynamique des tâches dans les grappes une approche à base de machines virtuelles Fabien Hermenier Équipe ASCOLA, École des Mines de Nantes 26 novembre 2009 Fabien Hermenier (ASCOLA) Gestion dynamique

Plus en détail

Code Vert. Projet de recherche collaboratif sur l éco-conception des logiciels. Colloque Éco Conception Logicielle jeudi 18 octobre 2012

Code Vert. Projet de recherche collaboratif sur l éco-conception des logiciels. Colloque Éco Conception Logicielle jeudi 18 octobre 2012 Code Vert Projet de recherche collaboratif sur l éco-conception des logiciels Colloque Éco Conception Logicielle jeudi 18 octobre 2012 Code Vert 18/10/12 1 / 21 Le consortium Thiery Leboucq François Morin

Plus en détail

La gestion des processus humain et documentaires / Session Number Pascale Vincent Manager Tech Sales IBM ECM

La gestion des processus humain et documentaires / Session Number Pascale Vincent Manager Tech Sales IBM ECM La gestion des processus humain et documentaires / Session Number Pascale Vincent Manager Tech Sales IBM ECM 2 Le constat Les processus d entreprise ne sont rien d autre qu un enchaînement de prises de

Plus en détail

Energy Optimization System (EOS) Pour les stations d épurations

Energy Optimization System (EOS) Pour les stations d épurations Energy Optimization System (EOS) Pour les stations d épurations Water EOS par Schneider Electric Water EOS est une solution testée, validée et documentée. Elle est, dans cette version, dédiée et pré-définie

Plus en détail

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

Plus en détail

Cours 4 Programmation web, orientée serveur

Cours 4 Programmation web, orientée serveur DUT MMI IUT de Marne-la-Vallée 17/03/2015 M2202 - Algorithmique Cours 4 Programmation web, orientée serveur Philippe Gambette Sources phpdebutant.net www.php.net (documentation du langage PHP) Plan du

Plus en détail

JAXB pour le XML-Binding

JAXB pour le XML-Binding JAXB pour le XML-Binding Eric BELLARD JAXB pour le XML-Binding... 1 Introduction...1 But du document...1 Lexique... 1 Articles liés... 2 JAXB (Java Architecture for XML Binding)...2 Utilisation de JAXB...3

Plus en détail

1. Les fondements de l informatique 13

1. Les fondements de l informatique 13 Introduction à l'algorithmique 1. Les fondements de l informatique 13 1.1 Architecture de Von Neumann 13 1.2 La machine de Turing 17 1.3 Représentation interne des instructions et des données 19 1.3.1

Plus en détail

Monitoring continu et gestion optimale des performances énergétiques des bâtiments

Monitoring continu et gestion optimale des performances énergétiques des bâtiments Monitoring continu et gestion optimale des performances énergétiques des bâtiments Alexandre Nassiopoulos et al. Journée d inauguration de Sense-City, 23/03/2015 Croissance de la demande énergétique et

Plus en détail

Machines composées de (depuis 1940 env.) : http://cui.unige.ch/isi/cours/std/

Machines composées de (depuis 1940 env.) : http://cui.unige.ch/isi/cours/std/ données pr ogramme 11111101 11001101 01000101 b us disque ma gnétique processeur écran Structures de données et algorithmes Ordinateurs Gilles Falquet, printemps-été 2002 Machines composées de (depuis

Plus en détail

Première partie CADRE POUR L IMPLÉMENTATION

Première partie CADRE POUR L IMPLÉMENTATION TABLE DES MATIÈRES Préface... 5 Remerciements... 7 Introduction... 9 Première partie CADRE POUR L IMPLÉMENTATION D UN INSTRUMENT DE PILOTAGE... 11 Chapitre 1 Un système nommé «entreprise»... 13 1. L approche

Plus en détail

Plateforme de capture et d analyse de sites Web AspirWeb

Plateforme de capture et d analyse de sites Web AspirWeb Projet Java ESIAL 2A 2009-2010 Plateforme de capture et d analyse de sites Web AspirWeb 1. Contexte Ce projet de deuxième année permet d approfondir par la pratique les méthodes et techniques acquises

Plus en détail

Java pour le Web. Cours Java - F. Michel

Java pour le Web. Cours Java - F. Michel Java pour le Web Cours Java - F. Michel Introduction à JEE 6 (ex J2EE) Historique Qu'est-ce que JEE JEE : Java Entreprise Edition (ex J2EE) 1. Une technologie outils liés au langage Java + des spécifications

Plus en détail

Profil du candidat et connaissances techniques à connaître/maîtriser

Profil du candidat et connaissances techniques à connaître/maîtriser Utilisation d algorithmes de deep learning pour la reconnaissance d iris. jonathan.milgram@morpho.com Dans ce cadre, l'unité de recherche et technologie a pour but de maintenir le leadership Au sein de

Plus en détail

Les services d externalisation des données et des services. Bruno PIQUERAS 24/02/2011

Les services d externalisation des données et des services. Bruno PIQUERAS 24/02/2011 Les services d externalisation des données et des services Bruno PIQUERAS 24/02/2011 1 1 Introduction Différents types d externalisation de données : Les données sauvegardées Les données bureautiques Les

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

Algorithmique - Techniques fondamentales de programmation Exemples en Python (nombreux exercices corrigés) - BTS, DUT informatique

Algorithmique - Techniques fondamentales de programmation Exemples en Python (nombreux exercices corrigés) - BTS, DUT informatique Introduction à l'algorithmique 1. Les fondements de l informatique 13 1.1 Architecture de Von Neumann 13 1.2 La machine de Turing 17 1.3 Représentation interne des instructions et des données 19 1.3.1

Plus en détail

AsaWoO : exemple d utilisation de ROS pour le Web des objets

AsaWoO : exemple d utilisation de ROS pour le Web des objets AsaWoO : exemple d utilisation de ROS pour le Web des objets Workshop ROS - INNOROBO 21/03/2013 Michaël Mrissa Lionel Médini Thibaud Houel Tanguy Raynaud-Gallonet Laboratoire d'informatique en Image et

Plus en détail

Exploitation des modèles de la plate-forme RECORD

Exploitation des modèles de la plate-forme RECORD RMT Modélisation, séminaire «La modélisation entre recherche et développement agricole, des modèles scientifiques aux outils logiciels» Exploitation des modèles de la plate-forme RECORD Nathalie Rousse

Plus en détail

Rootkit pour Windows Mobile 6

Rootkit pour Windows Mobile 6 Rootkit pour Windows Mobile 6 Cédric Halbronn Sogeti / ESEC cedric.halbronn(at)sogeti.com Plan Contexte Introduction Environnement mobile Windows Mobile 1 Contexte Introduction Environnement mobile Windows

Plus en détail

Analyse de l introduction d anti-patrons de testabilité au cours de développement

Analyse de l introduction d anti-patrons de testabilité au cours de développement Analyse de l introduction d anti-patrons de testabilité au cours de développement Equipe VASCO MUHAMMAD RABEE SHAHEEN LYDIE DU BOUSQUET 22 Octobre 2009 Journée SEmba 1/ 26 Analyse de l introduction d anti-patrons

Plus en détail

LE CONTENU DE LA FORMATION : Méthodologie de modélisation Démarche Bond Graph Phi Graph Exemple d application

LE CONTENU DE LA FORMATION : Méthodologie de modélisation Démarche Bond Graph Phi Graph Exemple d application MATLAB FORMATION AU LOGICIEL MATLAB TM ET SYSTEMES MATLAB TM est l un des logiciels les plus répandus dans l industrie. Il est, entre autre, utilisé dans toutes les étapes de modélisation et de simulation

Plus en détail

Processus : les outils d optimisation de la performance

Processus : les outils d optimisation de la performance Yvon Mougin Processus : les outils d optimisation de la performance Préface de Pierre MAILLARD Directeur Général de L Institut de Recherche et de Développement de la Qualité, 2004 ISBN : 2-7081-3022-6

Plus en détail

Système. Introduction aux systèmes informatiques

Système. Introduction aux systèmes informatiques Introduction aux systèmes informatiques Système Un système est une collection organisée d'objets qui interagissent pour former un tout Objets = composants du système Des interconnexions (liens) entre les

Plus en détail

Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription

Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs

Plus en détail

PRESENTATION DE JAVA. Qu est-ce que java? Les caractéristiques du langage java Les outils Les API Références. Software Associates International

PRESENTATION DE JAVA. Qu est-ce que java? Les caractéristiques du langage java Les outils Les API Références. Software Associates International PRESENTATION DE JAVA Qu est-ce que java? Les caractéristiques du langage java Les outils Les API Références 1 Qu est-ce que java? Un langage de programmation orienté objets Une architecture de Virtual

Plus en détail

DESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDES LE 31/01/2013

DESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDES LE 31/01/2013 DESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDES LE 31/01/2013 PROJET N 1 : SECURISATION DE MACHINES VIRTUELLES La virtualisation d OS ou de serveurs

Plus en détail

Tutoriel UPnP. La liste des messages échangés entre le point de contrôle et les appareils présents est affichée au bas de la fenêtre.

Tutoriel UPnP. La liste des messages échangés entre le point de contrôle et les appareils présents est affichée au bas de la fenêtre. Ecole des Mines d Alès Christelle Urtado & Sylvain Vauttier Avril 2012 Tutoriel UPnP 1. Installation des binaires - Récupérer l archive binaries.zip sur le site (http://www.lgi2p.ema.fr/~vauttier/isn/).

Plus en détail

Générateur de code de simulation à partir de l information de localisation du produit

Générateur de code de simulation à partir de l information de localisation du produit Générateur de code de simulation à partir de l information de localisation du produit Andrés VÉJAR Patrick CHARPENTIER prénom.nom@cran.uhp-nancy.fr Centre de Recherche en Automatique de Nancy (CRAN), CNRS

Plus en détail

Chaîne numérique de conception et de prototypage de cartes électroniques

Chaîne numérique de conception et de prototypage de cartes électroniques Chaîne numérique de conception et de prototypage de cartes électroniques L ambition du projet Le département Génie Electrique se doit d offrir aux étudiants une formation de qualité en parfaite adéquation

Plus en détail

La sécurité informatique

La sécurité informatique 1 La sécurité informatique 2 Sécurité des systèmes d information Yves Denneulin (ISI) et Sébastien Viardot(SIF) Cadre du cours Informatique civile (avec différences si publiques) Technologies répandues

Plus en détail

Plateforme SAS. Data & Information System

Plateforme SAS. Data & Information System Data & Information System SOMMAIRE Rédacteur : Ref: F.Barthelemy AXIO_1111_V1 PLATEFORME SAS PREREQUIS SAS GUIDE SAS WRS SAS PORTAL SAS MINER Une plateforme unique et modulable capable d exploiter l architecture

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

Composants logiciel: Feel++, formats de fichier et visualisation

Composants logiciel: Feel++, formats de fichier et visualisation Composants logiciel: Feel++, formats de fichier et visualisation Alexandre Ancel Cemosis / Université de Strasbourg 13 Janvier 2015 1 / 20 Plan 1 Environnement logiciel & matériel 2 Formats de fichier

Plus en détail

Bon pour votre image. Bon pour votre budget.

Bon pour votre image. Bon pour votre budget. Business Bon pour votre image. Bon pour votre budget. Economisez des coûts et préservez l environnement. Découvrez comment réduire les déplacements dans votre entreprise, économiser de l énergie et améliorer

Plus en détail

Une méthodologie de conception des systèmes distribués basée sur UML

Une méthodologie de conception des systèmes distribués basée sur UML Une méthodologie de conception des systèmes distribués basée sur UML Nouvelles Technologies de la Répartition (NOTERE 2005) 1 er septembre 2005 Ludovic Apvrille Pierre de Saqui-Sannes Axelle Apvrille Page

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

Plus en détail

Utilisation du Cloud StratusLab dans le cadre d application astroparticule à l APC

Utilisation du Cloud StratusLab dans le cadre d application astroparticule à l APC dans le cadre d application astroparticule à l Cécile Cavet & Michèle Detournay s Centre François Arago (FACe), Laboratoire, Université Paris Diderot LabEx UnivEarthS 28 Mai 2013 Plan 1 2 3 4 s s s Origine

Plus en détail

Dans ce chapitre nous allons étudier une méthode pratique d anti-phishing, ce qui consiste à un système de classification automatique.

Dans ce chapitre nous allons étudier une méthode pratique d anti-phishing, ce qui consiste à un système de classification automatique. I INTRODUCTION Les pages de phishing sont l un des problèmes majeurs de sécurité sur internet. La majorité des attaques utilisent des méthodes sophistiquées comme les fausses pages pour tromper les utilisateurs

Plus en détail

Serveur d'application à la juste taille

Serveur d'application à la juste taille Serveur d'application à la juste taille 18 Mars 2010 Benoit.Pelletier@bull.net Plan Contexte JOnAS 5, plate-forme de convergence JavaEE/OSGi Caractéristiques essentielles pour le Cloud Computing & l'autonomic

Plus en détail

Métrologie réseaux GABI LYDIA GORGO GAEL

Métrologie réseaux GABI LYDIA GORGO GAEL Métrologie réseaux GABI LYDIA GORGO GAEL Métrologie Définition : La métrologie est la science de la mesure au sens le plus large. La mesure est l'opération qui consiste à donner une valeur à une observation.

Plus en détail

Les Systèmes et Applications Réparties et leur Programmation

Les Systèmes et Applications Réparties et leur Programmation Les Systèmes et Applications Réparties et leur Programmation Samia Bouzefrane Maître de Conférences Laboratoire CEDRIC Conservatoire National des Arts et Métiers 292 rue Saint Martin 75141 Paris Cédex

Plus en détail

Enjeux de la conception des systèmes critiques automobiles

Enjeux de la conception des systèmes critiques automobiles Enjeux de la conception des systèmes critiques automobiles Systèmes actuels et à venir Comparaison à d autres secteurs Processus du projet SETTA Limitations Conclusion Systèmes actuels et à venir ABS Direction

Plus en détail

Eric Bertrand ebertrand@ixis-cib.com. 08/11/06 Maître de conférence 1

Eric Bertrand ebertrand@ixis-cib.com. 08/11/06 Maître de conférence 1 Calcul parallèle des options MC. Eric Bertrand ebertrand@ixis-cib.com 1 Plan Contexte du calcul parallèle Qualités requises Architecture Outillage Problèmes rencontrés perspectives 2 Contexte du calcul

Plus en détail

Export et Import de modèles ICAR sous Trnsys 17

Export et Import de modèles ICAR sous Trnsys 17 Export et Import de modèles ICAR sous Trnsys 17 Export de modèles Trnsys 17 vers ICAR Une fonction permettant d exporter des modèles Trnsys vers des composants ICAR a été implémentée sous Simulation Studio.

Plus en détail

Système d administration autonome adaptable: application au Cloud

Système d administration autonome adaptable: application au Cloud Système d administration autonome adaptable: application au Cloud Alain TCHANA - atchana@enseeiht.fr IRIT/ENSEEIHT, Equipe SEPIA Directeur de thèse : Daniel HAGIMONT et Laurent BROTO Rapporteurs : Jean-Marc

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

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

Projet de Veille Technologique

Projet de Veille Technologique Projet de Veille Technologique Programmation carte à puce - JavaCard Ing. MZOUGHI Ines (i.mzoughi@gmail.com) Dr. MAHMOUDI Ramzi (mahmoudr@esiee.fr) TEST Sommaire Programmation JavaCard Les prérequis...

Plus en détail

Cycle Innovation & Connaissance 12 petit déjeuner Mardi 15 mai 2012. Cloud Computing & Green IT : nuages ou éclaircies?

Cycle Innovation & Connaissance 12 petit déjeuner Mardi 15 mai 2012. Cloud Computing & Green IT : nuages ou éclaircies? Cycle Innovation & Connaissance 12 petit déjeuner Mardi 15 mai 2012 Cloud Computing & Green IT : nuages ou éclaircies? Christophe CORNE, CEO de Systancia et dotgreen Marchés, technologies Une promesse

Plus en détail

The job scheduling company SOMMAIRE

The job scheduling company SOMMAIRE The job scheduling company 0 ROAD MAP BPM 3.0 Rapports automatiques Gestion statistique de la Qualité de service Référentiel des services Intégration au Web 2.0 Intégration d un Serveur http 1 RAPPEL Qualité

Plus en détail

Présentation Solutions Lexmark Alpha Days janvier 2012 Dominique Zimmer Expert Solutions Impression

Présentation Solutions Lexmark Alpha Days janvier 2012 Dominique Zimmer Expert Solutions Impression Place full color photo here Présentation Solutions Lexmark Alpha Days janvier 2012 Dominique Zimmer Expert Solutions Impression Solutions Embarquées Présentation Cluster d Impression Présentation Variantes

Plus en détail

Développement d une application java de bureau pour la gestion des rapports de visite GSB

Développement d une application java de bureau pour la gestion des rapports de visite GSB Développement d une application java de bureau pour la gestion des rapports de visite GSB CAHIER DES CHARGES Définition du besoin Définition de l'objet Les rapports de visite sont actuellement gérés à

Plus en détail

Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting)

Travaux soutenus par l ANR. Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) Travaux soutenus par l ANR Jean-François CAPURON (DGA) Bruno LEGEARD (Smartesting) 03 Avril 2012 1. Test de sécurité et génération de tests à partir de modèle 2. Le projet SecurTest à DGA Maîtrise de l

Plus en détail

Sécurité informatique

Sécurité informatique Sécurité informatique Université Kasdi Merbah Ouargla Département Mathématique et informatique Les packages crypto en C/C++ et en Java Master informatique industrielle Mai 2013 Master informatique industrielle

Plus en détail

Introduction à l analyse de Malwares. Mickaël OHLEN IR3

Introduction à l analyse de Malwares. Mickaël OHLEN IR3 1 Introduction à l analyse de Malwares Mickaël OHLEN IR3 Plan 2 1. Qu est ce qu un malware? 2. Analyse 3. Techniques d obfuscation 4. Démonstration (Analyse de CLogger) 3 1. Qu est ce qu un malware? 2.

Plus en détail

CONFÉRENCE HOPITECH 2011

CONFÉRENCE HOPITECH 2011 CONFÉRENCE HOPITECH 2011 Bénéfices attendus de l intégration GTC & GMAO ANIMÉE PAR : ARNAUD PICHARD, RESPONSABLE MARKETING CODRA LAURENT TRUSCELLO, RESPONSABLE PRODUITS ET SERVICES CARL Software Hopitech

Plus en détail

Table des matières. Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie...

Table des matières. Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie... Table des matières Chapitre 1. Introduction... 13 1.1. Objectif... 13 1.2. Rappel... 15 1.3. Synthèse... 16 1.4. Bibliographie... 17 Chapitre 2. Du système au logiciel... 19 2.1. Introduction... 19 2.2.

Plus en détail

Optimisation énergétique de la technique du bâtiment 19 juin 2015

Optimisation énergétique de la technique du bâtiment 19 juin 2015 Optimisation énergétique de la technique du bâtiment 19 juin 2015 Benoît Pfister AGENDA 1. Optimisation énergétique des installations CVC 2. Solution de monitoring énergétique 3. Modernisation du système

Plus en détail

Informatique en CPGE

Informatique en CPGE Informatique en CPGE L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité algorithmique, de précision

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

5. Gestion des données et vie privée du citoyen urbain

5. Gestion des données et vie privée du citoyen urbain 5. Gestion des données et vie privée du citoyen urbain Architectures de gestion de données face au respect de la vie privée Gestion de la vie privée dans les réseaux sociaux mobiles Privacy-by-design:

Plus en détail

Cloud Computing : Utiliser Stratos comme PaaS privé sur un cloud Eucalyptus

Cloud Computing : Utiliser Stratos comme PaaS privé sur un cloud Eucalyptus Cloud Computing : Utiliser Stratos comme PaaS privé sur un cloud Eucalyptus Mr Romaric SAGBO Ministère de l'economie et des Finances (MEF), Bénin SWD Technologies Email : rask9@yahoo.fr Tél : +229 97217745

Plus en détail

Les outils de modélisation et de simulation dans l usine du futur

Les outils de modélisation et de simulation dans l usine du futur France Les outils de modélisation et de simulation dans l usine du futur Standards En partenariat avec Certification Education & Training Publishing Conferences & Exhibits Franck MERCIER franck.mercier@siemens.com

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE / STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Spécialité Ingénierie Numérique, Signal-Image et Informatique Industrielle (INS3I) www.univ-littoral.fr OBJECTIFS

Plus en détail

Traitement de l information. Traitement de l information. Parcours S4. Parcours S4 TI. Image et son. IUT de CACHAN.

Traitement de l information. Traitement de l information. Parcours S4. Parcours S4 TI. Image et son. IUT de CACHAN. 1 Parcours S4 TI Image et son IUT de CACHAN Départements GEii 2 Plan Introduction : Applications réelles typiques Objectifs : Thèmes abordés Cours : liste TP : liste Projets : 2 ou 3 Exemple(s) de projet(s)

Plus en détail

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 1 Contents 1 Introduction 3 2 Documents et matériels 3 2.1 Document et matériel octroyé:....................................

Plus en détail

Action de formation: SQL Server Business Intelligence & Data Warehouse

Action de formation: SQL Server Business Intelligence & Data Warehouse Action de formation: SQL Server Business Intelligence & Data Warehouse Contenu : Integration Services Présentation de Management Studio - Présenter les différentes tâches de SSMS - Structure des serveurs

Plus en détail

Rapport final : Projet NETG

Rapport final : Projet NETG Rapport final : Projet NETG Génie Logiciel Introduction Il nous été demandé de réaliser une librairie permettant de manipuler des nombres entiers très grands dont les capacités dépassent les représentations

Plus en détail

Projet OpNet. Spécialité Réseaux 2003/2004 Yannick GRENZINGER Loic JAQUEMET

Projet OpNet. Spécialité Réseaux 2003/2004 Yannick GRENZINGER Loic JAQUEMET Projet OpNet Spécialité Réseaux 2003/2004 Yannick GRENZINGER Loic JAQUEMET 1Présentation...3 1.1Le besoin de mobilité...3 1.2Le protocole IP Mobile...4 1.3Opnet...5 1.4Le projet...6 2La réalisation du

Plus en détail