Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties.

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

Download "Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties."

Transcription

1 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 2013 Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties. Directeur de thèse NOM, Prénom : ATTIOGBE, Christian Équipe d accueil : AeLoS Unité de recherche : LINA (UMR 6241) Unité de rattachement : Univ. Nantes Courriel : christian.attiogbe (at) univ-nantes.fr Taux d encadrement : 40 % Nombre de thèses en cours : 2 Co-encadrant NOM, Prénom : MOTTU, Jean-Marie Équipe d accueil : AeLoS Courriel : jean-marie.mottu (at) univ-nantes.fr Téléphone : (+33/0) Taux d encadrement : 30 % Nombre de thèses en cours : 1 Co-encadrant NOM, Prénom : SUNYE, Gerson Équipe d accueil : AtlanMod Courriel : gerson.sunye (at) univ-nantes.fr Taux d encadrement : 30 % Nombre de thèses en cours : 2 Financement prévu : MESR

2 Sujet de thèse pour 2013 Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties. Résumé. Au cours de la dernière décennie, les systèmes répartis à large échelle ont connu une popularité importante en raison de leurs caractéristiques particulières, comme le passage à l échelle et la tolérance aux fautes. Certains systèmes orientés données (BigData), comme les systèmes Pair-à-Pairs et MapReduce, ont atteint des millions d utilisateurs et des pétaoctets de données traitées : Hadoop, Skype, Bittorrent, Gnutella etc. Le test de validité, robustesse et fiabilité des systèmes répartis à large échelle est une activité difficile. L état de l art montre que les techniques de test existantes souffrent de la gestion des aspects tels que : l échelle du système, le dynamisme des noeuds et la quantité importante de données. En général, ces techniques de tests reposent sur des tests unitaires exécutés par un pilote de test qui cache les aspects répartis et ne conviennent pas à la détection d erreurs qui se manifestent à large échelle. L objectif de cette thèse est d appliquer des techniques d ingénierie des modèles pour générer et stocker des cas de test distribués, adaptés aux systèmes de traitement orientés données à grande échelle. Mots clés. Systèmes BigData, Ingénierie dirigée par les modèles, Test logiciel. Ph. D. Proposal for 2013 A Model-Based Approach for Generating Test Cases for BigData Systems Abstract. Over the last decade, large-scale systems drew much attention due to scalability and resiliency features. Many popular large-scale data-oriented systems (i.e., BigData), including, Peer-to-peer (P2P) and MapReduce, reached millions of users and processed petabytes of data, such as: Hadoop, Skype, Bittorrent, and Gnutella. Testing robustness and reliability of cloud computing services is a hard activity, the state of the art shows that the existing testing techniques suffer to handle aspects, such as: the scale of the cloud, the dynamism of the nodes, and the amount of data and load. In general, these testing techniques rely on a combination of unit tests with some "mocking" approach that may hide the cloud aspects and may not be suited for large-scale testing. The goal of this thesis is to apply model-based engineering techniques for generating and storing distributed test cases that are adapted for large-scale data-oriented systems. Keywords. BigData Systems, Model-Based Engineering, Software Testing. 2

3 Introduction Contexte et problématique Les systèmes Big Data [1,2] qui traitent des quantités massives de données en les transformant ou en les faisant circuler sur des réseaux ont besoin de contrôler la correction de ces données. Elles risquent d avoir subi des modifications qu il faut prévenir si les systèmes les recevant ne peuvent plus s en servir (changement de structure, de sémantique, perte ou ajout d information, etc.). Cette tâche est rendue difficile quand les données sont complexes tant par leur taille que par leur structure et que leur stockage et/ou traitement sont réparties (Cloud, SAAS). De surcroît, ces systèmes évoluent rapidement pour être adaptés aux évolutions des réseaux, des plates-formes de déploiement (systèmes d exploitation, mobiles ou non), etc. Avec de tels systèmes, on ne dispose pas forcément de données pouvant être entièrement contrôlées ou de connaissances complètes de la correction attendue d une donnée. Or il est important de pouvoir faire le contrôle le plus tôt possible pour éviter, par exemple, la propagation sur le réseau de données erronées. De plus, on veut contrôler la correction des données même quand l information sur les données et/ou traitements est partielle. Le contrôle peut aussi être fait dès que possible pour localiser rapidement de possibles défaillances des systèmes (noeuds mal configurés, migration de plate-forme non compatibles, etc.). Plusieurs approches de contrôle de la correction sont possibles dont le test que nous étudions dans cette thèse. Problèmes et opportunités La génération de cas de test pour des systèmes de traitement massif de données pose plusieurs problèmes qui devront être considérés dans cette thèse : 1. La génération efficace de données de test pour ces systèmes doit les mettre à l épreuve à large échelle. 2. Le stockage des données de test complexes doit être réparti pour simuler les conditions d exploitation réelles des systèmes considérés. 3. L analyse des données complexes obtenues après traitement doit assurer leur correction. Cette analyse doit être possible : (a) à grande échelle (Big Data) ; (b) si les traitements réalisées ou les données elles-mêmes sont partiellement connues ; et (c) quand les contrôles doivent être réparties (Distributed). Nous proposons d aborder la problématique de cette thèse en exploitant l Ingénierie Dirigée par les Modèles afin de : 3

4 modéliser les données pour en isoler les parties dont on veut/peut contrôler la correction (non impactées par des évolutions, parties de donnée ayant transitées, traitement partiel sur des données) ; modéliser les fautes potentielles pour générer des données mettant spécifiquement à l épreuve des défauts. Cette partie exploite l analyse de mutation qui n est pas encore étudiée dans ce contexte [15] ; contrôler (correction de données / oracle de test) des propriétés sur des modèles de données. Bien que plusieurs architectures de test de systèmes Big Data aient été proposées [3-11], aucune de ces propositions ne résout la génération de cas de test d une part. D autre part, il existe des approches pour la génération de cas de test exploitant la modélisation [12], mais elles ne permettent pas de produire des cas de test utilisant des données complexes et réparties. Travail demandé Objectifs Les objectifs de cette thèse sont : 1. Étudier les techniques existantes de génération de données de test et de modélisation de fautes [13]. 2. Proposer un méthode de génération de données de test adaptés aux systèmes de traitement massif de données réparties à grande échelle, à partir de modèles. 3. Adapter aux caractéristiques des systèmes considérés les approches de comparaison (totale ou partielle) de données [14]. Dans cette thèse, nous nous intéressons aux deux usages principaux de systèmes Big Data : (i) les services de traitement de transactions, qui sont généralement traitées audessus d un système de gestion de données (SGBD), et (ii) les services de traitement de données qui se basent sur des systèmes répartis, comme : MapReduce ou pair-à-pair (P2P). Nous utiliserons des techniques et des outils d ingénierie dirigée par les modèles proposés par l équipe AtlanMod pour modéliser les fautes et pour implémenter les algorithmes de génération et de comparaison de données de test. Plan de travail prévisionnel de l étude 1. Étude des techniques de génération de données de test. Analyse et évaluation de leur applicabilité aux données complexes. 2. Étude des techniques de comparaison de données pour l implémentation d oracles de test et analyse de leurs limitations quand elles sont appliquées aux données complexes. 4

5 3. Étude des techniques de modélisation de fautes. 4. Proposition et implémentation d algorithmes de génération de données complexes, à grande échelle. 5. Évaluation des algorithmes. Candidats Compétences Le candidat doit avoir des compétences en Génie Logiciel et en particulier dans le domaine de la Vérification & Validation et de l Ingénierie Dirigée par les Modèles. Déclarations de candidature et résultats universitaires connus Un étudiant du parcours GL du M2 Alma de Nantes, Thomas Degueule, s est montré intéressé par ce sujet. Il effectue son stage de M2 Alma dans nos équipes sur la première partie du sujet. En M1, il s est classé 4ème sur sa promotion de 40 étudiants. Il a déjà eu une première expérience de la recherche en mettant en oeuvre des expérimentations de travaux de thèse comme ingénieur d étude au L3I (Université de La Rochelle). 1. Stonebraker, M. et al. (2007). The End of an Architectural Era (It s Time for a Complete Rewrite). Proceedings of the 33rd International Conference on Very Large Data Bases (VLDB), Jeffrey Dean and Sanjay Ghemawat (2004). MapReduce : Simplified Data Processing on Large Clusters. 6th Symposium on OS Design and Implementation (OSDI) Gunawi, H. S. et al. (2011). Failure as a Service (FaaS) : A Cloud Service for Large- Scale, Online Failure Drills. EECS Department, University of California, Berkeley. 4. Yuetang Deng ; Phyllis G. Frankl ; David Chays (2005). Testing database transactions with AGENDA. 27th International Conference on Software Engineering (ICSE), Brad Long and Paul A. Strooper (2001). A Case Study in Testing Distributed Systems. 3rd International Symposium on Distributed Objects and Applications (DOA), Ion Stoica ; Robert Morris ; David R. Karger ; M. Frans Kaashoek ; Hari Balakrishnan (2001). Chord : A scalable peer-to-peer lookup service for internet applications. ACM SIGCOMM Kristen R. Walcott and Mary Lou Soffa and Gregory M. Kapfhammer and Robert S. Roos. TimeAware test suite prioritization. ISSTA

6 8. Andreas Ulrich and Hartmut Konig. Architectures for Testing Distributed Systems. IFIP TC ? Thomas Walter and Ina Schieferdecker and Jens Grabowski. Test Architectures for Distributed Systems : State of the Art and Beyond. IWTCS ? Eduardo Cunha de Almeida ; Gerson Sunyé ; Yves Le Traon ; Patrick Valduriez (2010). Testing peer-to-peer systems. Empirical Software Engineering Eduardo Cunha de Almeida ; João E. Marynowski ; Gerson Sunyé ; Patrick Valduriez (2010). PeerUnit : a framework for testing peer-to-peer systems. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE) Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot. Static Analysis of Model Transformations for Effective Test Generation, In proceedings of IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, USA, Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser. Traceability for Mutation Analysis in Model Transformation, LNCS : Models in Software Engineering, Workshops and Symposia at MODELS 2010, Volume 6627/2011, pp , M. Stephan and J.R. Cordy, "A Survey of Model Comparison Approaches and Applications", Proc. Modelsward 2013, 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 10 pp., February G. Fraser, A. Zeller. Mutation-Driven Generation of Unit Tests and Oracles. In IEEE Transactions on Software Engineering, pages 278? 292, 38(2),

7 CV du directeur de thèse Christian Attiogbe Titres Docteur en Informatique de l Université Paul Sabatier, Toulouse III, 1992 Maître de conférences, Université de Nantes, Habilitation à diriger des recherches, Septembre 2007 Professeur des Universités, Septembre 2008 Thème de Recherche Correction prouvée des logiciels Langages, modèles et sémantiques Méthodes et spécifications formelles des systèmes hétérogènes Systèmes interactifs Ateliers de développement logiciel Activités Responsable de l équipe Architectures et Logiciels Sûrs (AeLoS) Lina UMR 6241 Chef du département Informatique IUT 7

8 CV du co-encadrant Jean-Marie Mottu Titres Docteur en Informatique de l Université de Rennes 1, Rennes, 2008 Maître de conférences, Université de Nantes, 2009 Thème de Recherche Vérification et Validation des logiciels Test Logiciel Ingénierie Dirigée par les Modèles Ateliers de développement logiciel Activités de recherche De 2005 à 2008, doctorant dans l équipe INRIA Triskell, Rennes De 2008 à 2009, post-doctorant dans l équipe INRIA Dart, Lille Depuis 2009, chercheur dans l équipe AeLoS, Nantes Depuis 2011, membre du conseil du laboratoire du LINA (UMR CNRS 6241) 8

9 CV du co-encadrant Gerson Sunye Titres Docteur en Informatique de l Université Pierre et Marie Curie, Paris, 1999 Maître de conférences, Université de Nantes, 2002 Thème de Recherche Vérification et Validation des logiciels Test Logiciel Systèmes répartis, pair-à-pair Activités de recherche De sept à avril 2004 : Chercheur dans l équipe Lina MOC, Nantes. De oct à août 2010 : Chercheur dans l équipe INRIA Atlas, Nantes. De sept à août 2012 : Chercheur dans l équipe INRIA Triskell, Rennes. Depuis janvier 2013 : Chercheur dans l équipe INRIA AtlanMod, Nantes. 9

Organiser vos données - Big Data. Patrick Millart Senior Sales Consultant

Organiser vos données - Big Data. Patrick Millart Senior Sales Consultant Organiser vos données - Big Data Patrick Millart Senior Sales Consultant The following is intended to outline our general product direction. It is intended for information purposes only, and may not be

Plus en détail

Liste de conférences et revues Thème Com A

Liste de conférences et revues Thème Com A Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont

Plus en détail

Sujet de stage de Master 2 Informatique

Sujet de stage de Master 2 Informatique UNIVERSITE PARIS 13, Sorbonne Paris Cité Laboratoire d'informatique de Paris-Nord, UMR CNRS 7030 99, avenue Jean-Baptiste Clément - 93430 Villetaneuse France Tél : (33) 01 49 40 40 71 ; Fax : (33) 01 48

Plus en détail

Réplication adaptative sur les réseaux P2P

Réplication adaptative sur les réseaux P2P Réplication adaptative sur les réseaux pair à pair 10 mars 2006 1 Introduction 2 Réseaux pair à pair et tables de hachage distribuées 3 Le protocole app-cache 4 Le protocole LAR 5 Tests de performance

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

Plus en détail

BIG Data et R: opportunités et perspectives

BIG Data et R: opportunités et perspectives BIG Data et R: opportunités et perspectives Guati Rizlane 1 & Hicham Hajji 2 1 Ecole Nationale de Commerce et de Gestion de Casablanca, Maroc, rguati@gmail.com 2 Ecole des Sciences Géomatiques, IAV Rabat,

Plus en détail

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par. École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par

Plus en détail

Une méthode d apprentissage pour la composition de services web

Une méthode d apprentissage pour la composition de services web Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,

Plus en détail

Grid 5000 : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau

Grid 5000 : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau Nicolas Niclausse - INRIA Sophia Antipolis Méditerranée - projet Aladdin Grid 5000 2 juillet

Plus en détail

Industrial Phd Progam

Industrial Phd Progam Industrial Phd Progam Catalan Government: Legislation: DOGC ECO/2114/2012 Modification: DOGC ECO/2443/2012 Next: Summary and proposal examples. Main dates March 2013: Call for industrial Phd projects grants.

Plus en détail

Maîtrise énergétique des centres de données

Maîtrise énergétique des centres de données 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 Maîtrise énergétique des

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

http://blog.khaledtannir.net

http://blog.khaledtannir.net Algorithme de parallélisations des traitements Khaled TANNIR Doctorant CIFRE LARIS/ESTI http://blog.khaledtannir.net these@khaledtannir.net 2e SéRI 2010-2011 Jeudi 17 mars 2011 Présentation Doctorant CIFRE

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

Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair

Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair Raja Chiky, Bruno Defude, Georges Hébrail GET-ENST Paris Laboratoire LTCI - UMR 5141 CNRS Département Informatique et Réseaux

Plus en détail

Bourses d excellence pour les masters orientés vers la recherche

Bourses d excellence pour les masters orientés vers la recherche Masters de Mathématiques à l'université Lille 1 Mathématiques Ingénierie Mathématique Mathématiques et Finances Bourses d excellence pour les masters orientés vers la recherche Mathématiques appliquées

Plus en détail

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing)

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Bruno LEGEARD JDEV 2013 4-6 septembre 2013 Sommaire Partie I Introduction au Model-Based Testing

Plus en détail

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013 Projet ANR SAMOGWAS Specific Advanced MOdels for Genome-wide Association Studies Journée de lancement officielle Nantes - vendredi 11 octobre 2013 1 Les partenaires LINA Nantes GIGA-R Liège INSERM Nantes

Plus en détail

Préparer un état de l art

Préparer un état de l art Préparer un état de l art Khalil DRIRA LAAS-CNRS, Toulouse Unité de recherche ReDCAD École Nationale d ingénieurs de Sfax Étude de l état de l art? Une étude ciblée, approfondie et critique des travaux

Plus en détail

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010 Ada Diaconescu INFRES / S3 Appellation de Maître de Conférences Mars 2010 Parcours Études - Université Polytechnique Timisoara (1995-2000 ) Diplôme d Ingénieur en Informatique (BAC+5) Ingénieur R&D à Teltec,

Plus en détail

Chapitre 2: Couche Application I

Chapitre 2: Couche Application I Chapitre 2: Couche Application I Roch Glitho, PhD Associate Professor and Canada Research Chair My URL - http://users.encs.concordia.ca/~glitho/ Couche Application I (Infrastructures d application) Application

Plus en détail

BI dans les nuages. Olivier Bendavid, UM2 Prof. A. April, ÉTS

BI dans les nuages. Olivier Bendavid, UM2 Prof. A. April, ÉTS BI dans les nuages Olivier Bendavid, UM2 Prof. A. April, ÉTS Table des matières Introduction Description du problème Les solutions Le projet Conclusions Questions? Introduction Quelles sont les défis actuels

Plus en détail

Programmer des applications réparties

Programmer des applications réparties 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 2013 Programmer des applications

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Architecture distribuée

Architecture distribuée Architecture distribuée Conception et développement d algorithmes distribués pour le moteur Baboukweb Jean-Christophe DALLEAU Département de Mathématiques et Informatique Université de La Réunion 26 juin

Plus en détail

Change the game with smart innovation

Change the game with smart innovation Change the game with smart innovation Master Thesis 2013 2014 Faculty of Science engineering 12/08/2012 Master Thesis proposal for the academic year 2013. TABLE OF CONTENTS Section Un Introduction... 3

Plus en détail

Improving MapReduce Performance in Heterogeneous Environments

Improving MapReduce Performance in Heterogeneous Environments Improving MapReduce Performance in Heterogeneous Environments Minwei CHEN Université Claude Bernard Lyon 1 Master Recherche en Informatique M2 Technologies de l information et Web Email pro: minwei.chen@etu.univ-lyon1.fr

Plus en détail

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016 Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation

Plus en détail

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC Assurance qualité logicielle Logiciel conventionnel SBC Fiabilité Facilité d'entretien Facilité des modifications Principales causes d erreur Absence de spécification, manque de conformité (1) Erreurs

Plus en détail

Intégration des paramètres de maintenance dans la conception du Health Monitoring. Saintis Laurent Laboratoire LASQUO (futur LARIS)

Intégration des paramètres de maintenance dans la conception du Health Monitoring. Saintis Laurent Laboratoire LASQUO (futur LARIS) 2ème Colloque National de la Performance Industrielle LA MAINTENANCE A DISTANCE & E-MAINTENANCE Intégration des paramètres de maintenance dans la conception du Health Monitoring Saintis Laurent Laboratoire

Plus en détail

Lamia Oukid, Ounas Asfari, Fadila Bentayeb, Nadjia Benblidia, Omar Boussaid. 14 Juin 2013

Lamia Oukid, Ounas Asfari, Fadila Bentayeb, Nadjia Benblidia, Omar Boussaid. 14 Juin 2013 Cube de textes et opérateur d'agrégation basé sur un modèle vectoriel adapté Text Cube Model and aggregation operator based on an adapted vector space model Lamia Oukid, Ounas Asfari, Fadila Bentayeb,

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Rapport de l AERES sur l unité :

Rapport de l AERES sur l unité : Section des Unités de recherche Rapport de l AERES sur l unité : Groupe de Recherche en Physique des Hautes Energies GRPHE sous tutelle des établissements et organismes : Université de Haute Alsace Janvier

Plus en détail

L écosystème Hadoop Nicolas Thiébaud ni.thiebaud@gmail.com. Tuesday, July 2, 13

L écosystème Hadoop Nicolas Thiébaud ni.thiebaud@gmail.com. Tuesday, July 2, 13 L écosystème Hadoop Nicolas Thiébaud ni.thiebaud@gmail.com HUG France 250 membres sur la mailing liste 30 présentations 9 meetups organisés, de 20 à 100 invités Présence de Cloudera, MapR, Hortonworks,

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Gestion du déploiement de composants sur réseau P2P

Gestion du déploiement de composants sur réseau P2P Gestion du déploiement de composants sur réseau P2P Stéphane Frénot 1 INRIA ARES, Laboratoire CITI Bat. Léonard de Vinci 69621 Villeurbanne Cedex stephane.frenot@insa-lyon.fr ABSTRACT: The deployment of

Plus en détail

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013 ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche

Plus en détail

Systèmes Répartis. Pr. Slimane Bah, ing. PhD. Ecole Mohammadia d Ingénieurs. G. Informatique. Semaine 24.2. Slimane.bah@emi.ac.ma

Systèmes Répartis. Pr. Slimane Bah, ing. PhD. Ecole Mohammadia d Ingénieurs. G. Informatique. Semaine 24.2. Slimane.bah@emi.ac.ma Ecole Mohammadia d Ingénieurs Systèmes Répartis Pr. Slimane Bah, ing. PhD G. Informatique Semaine 24.2 1 Semestre 4 : Fev. 2015 Grid : exemple SETI@home 2 Semestre 4 : Fev. 2015 Grid : exemple SETI@home

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

Sécurisation du stockage de données sur le Cloud Michel Kheirallah

Sécurisation du stockage de données sur le Cloud Michel Kheirallah Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud

Plus en détail

Formulaire de candidature pour les bourses de mobilité internationale niveau Master/ Application Form for International Master Scholarship Programme

Formulaire de candidature pour les bourses de mobilité internationale niveau Master/ Application Form for International Master Scholarship Programme Formulaire de candidature pour les bourses de mobilité internationale niveau Master/ Application Form for International Master Scholarship Programme Année universitaire / Academic Year: 2013 2014 A REMPLIR

Plus en détail

Le Master Mathématiques et Applications

Le Master Mathématiques et Applications Le Master Mathématiques et Applications Franck BOYER franck.boyer@univ-amu.fr Institut de Mathématiques de Marseille Aix-Marseille Université Marseille, 20 Mai 2014 1/ 16 Structure générale Vue d ensemble

Plus en détail

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Mémoires 2010-2011 www.euranova.eu MÉMOIRES ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Contexte : Aujourd hui la plupart des serveurs d application JEE utilise des niveaux de cache L1

Plus en détail

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente ADELFE : Atelier de développement de logiciels à fonctionnalité émergente Gauthier Picard*, Carole Bernon*, Valérie Camps**, Marie- Pierre Gleizes* * Institut de Recherche en Informatique de Toulouse Université

Plus en détail

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential Rappels Génie logiciel Philippe Dugerdil Composants, packages Couches & dépendances Principes de structuration Réutilisation / responsabilité Réutilisation & composants 09.12.2010 Oldest architecture:

Plus en détail

FORUM NTIC BIG DATA, OPEN DATA Big Data: les challenges, les défis

FORUM NTIC BIG DATA, OPEN DATA Big Data: les challenges, les défis FORUM NTIC BIG DATA, OPEN DATA Big Data: les challenges, les défis Joseph Salmon Télécom ParisTech Jeudi 6 Février Joseph Salmon (Télécom ParisTech) Big Data Jeudi 6 Février 1 / 18 Agenda Contexte et opportunités

Plus en détail

Systèmes distribués Introduction

Systèmes distribués Introduction Systèmes distribués Introduction Nabil Abdennadher nabil.abdennadher@hesge.ch http://lsds.hesge.ch/distributed-systems/ 2015/2016 Semestre d Automne 1 Aujourd hui les réseaux et les SDI sont partout! Réseaux

Plus en détail

Cartographie des solutions BigData

Cartographie des solutions BigData Cartographie des solutions BigData Panorama du marché et prospective 1 1 Solutions BigData Défi(s) pour les fournisseurs Quel marché Architectures Acteurs commerciaux Solutions alternatives 2 2 Quels Défis?

Plus en détail

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu Euranova R&D Euranova est une société Belge constituée depuis le 1er Septembre 2008. Sa vision est simple: «Être un incubateur technologique focalisé sur l utilisation pragmatique des connaissances». Les

Plus en détail

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité : Définitions et Concepts Samir Tata, Télécom SudParis Élasticité Définitions Élasticité

Plus en détail

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1

Iyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1 SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de

Plus en détail

DR. MATHIEU LAJANTE. Maître de Conférences en Marketing. Fonctions. Formations universitaires. Responsabilités administratives

DR. MATHIEU LAJANTE. Maître de Conférences en Marketing. Fonctions. Formations universitaires. Responsabilités administratives DR. MATHIEU LAJANTE Maître de Conférences en Marketing IGR-IAE de Rennes (Université de Rennes 1) et Laboratoire CREM (UMR CNRS 6211) 11, Rue Jean Macé CS 70803 35708 RENNES Cedex 7 E-mail : mathieu.lajante@univ-rennes1.fr

Plus en détail

GIS. Spécialité GIS. Génie Informatique et Statistique GIS. Stéphane Janot stephane.janot@polytech-lille.fr

GIS. Spécialité GIS. Génie Informatique et Statistique GIS. Stéphane Janot stephane.janot@polytech-lille.fr Spécialité Génie Informatique et Statistique Stéphane Janot stephane.janot@polytech-lille.fr Analyse, conception Modélisation Ingénieurs spécialistes du traitement de l'information Entrepôt de données

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

Masters informatique et MIAGE

Masters informatique et MIAGE Masters informatique et MIAGE Formations en informatique de Lille Forum masters février 2012 IEEA / Informatique Formations en informatique de Lille http://fil.univ-lille1.fr 1 Master informatique Mention

Plus en détail

Curriculum Vitae 1 er février 2008

Curriculum Vitae 1 er février 2008 Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57

Plus en détail

Une brève introduction aux Données Massives - Challenges et perspectives. Romain Picot-Clémente Cécile Bothorel Philippe Lenca

Une brève introduction aux Données Massives - Challenges et perspectives. Romain Picot-Clémente Cécile Bothorel Philippe Lenca Une brève introduction aux Données Massives - Challenges et perspectives Romain Picot-Clémente Cécile Bothorel Philippe Lenca Plan 1 Big Data 2 4Vs 3 Hadoop et son écosystème 4 Nouveaux challenges, nouvelles

Plus en détail

Spécialité Sciences Mécaniques et Ingénierie

Spécialité Sciences Mécaniques et Ingénierie Master 2 Sciences, Technologies, Santé Mention Mécanique Spécialité Sciences Mécaniques et Ingénierie Parcours R&D en mécanique des fluides Parcours R&D en matériaux et structures Parcours Energétique

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R

Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R Yves Aragon, David Haziza & Anne Ruiz-Gazen GREMAQ, UMR CNRS 5604, Université des Sciences

Plus en détail

Gestion de gros volumes de données

Gestion de gros volumes de données Gestion de gros volumes de données Cas des projets CEDAR et PetaSky Laboratoire d'informatique en Image et Systèmes d'information LIRIS UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université

Plus en détail

CAPE: Context-Aware Agile Business Process Engine

CAPE: Context-Aware Agile Business Process Engine CAPE: Context-Aware Agile Business Process Engine Irina Rychkova, Manuele Kirsch Pinheiro, Bénédicte Le Grand To cite this version: Irina Rychkova, Manuele Kirsch Pinheiro, Bénédicte Le Grand. CAPE: Context-Aware

Plus en détail

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine

Plus en détail

SHAREPOINT PORTAL SERVER 2013

SHAREPOINT PORTAL SERVER 2013 Powered by TCPDF (www.tcpdf.org) SHAREPOINT PORTAL SERVER 2013 Sharepoint portal server 2013 DEVELOPING MICROSOFT SHAREPOINT SERVER 2013 CORE SOLUTIONS Réf: MS20488 Durée : 5 jours (7 heures) OBJECTIFS

Plus en détail

Cloud computing Votre informatique à la demande

Cloud computing Votre informatique à la demande Cloud computing Votre informatique à la demande Thomas RULMONT Définition du Cloud Computing L'informatique dans le nuage (en anglais, cloud computing) est un concept ( ) faisant référence à l'utilisation

Plus en détail

EXALOGIC ELASTIC CLOUD MANAGEMENT

EXALOGIC ELASTIC CLOUD MANAGEMENT EXALOGIC ELASTIC CLOUD MANAGEMENT Jean-Marc Digne Ingénieur Avant Vente Oracle France 1 The following is intended to outline our general product direction. It is intended for information purposes only,

Plus en détail

VMware : De la Virtualisation. au Cloud Computing

VMware : De la Virtualisation. au Cloud Computing VMware : De la Virtualisation. au Cloud Computing Tunis, le 12 Décembre 2012 Jamal Belhachemi BDM South EMEA 2010 VMware, Inc. Tous droits réservés. 2010 #1 dans les priorités des Directeurs Informatiques

Plus en détail

Acquisition des données - Big Data. Dario VEGA Senior Sales Consultant

Acquisition des données - Big Data. Dario VEGA Senior Sales Consultant Acquisition des données - Big Data Dario VEGA Senior Sales Consultant The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated

Plus en détail

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes 1 Sommaire Partie I Introduction au Model-Based Testing Comprendre ce qu est le Model Based Testing Le

Plus en détail

Traitement décentralisé de requêtes de biodiversité

Traitement décentralisé de requêtes de biodiversité Traitement décentralisé de requêtes de biodiversité Ndiouma Bame 1, Hubert Naacke 2, Idrissa Sarr 1 et Samba Ndiaye 1 1 Département de mathématique-informatique UCAD, Dakar SENEGAL Prenom.nom @ucad.edu.sn

Plus en détail

Groupe de Discussion Big Data Aperçu des technologies et applications. Stéphane MOUTON stephane.mouton@cetic.be

Groupe de Discussion Big Data Aperçu des technologies et applications. Stéphane MOUTON stephane.mouton@cetic.be Groupe de Discussion Big Data Aperçu des technologies et applications Stéphane MOUTON stephane.mouton@cetic.be Recherche appliquée et transfert technologique q Agréé «Centre Collectif de Recherche» par

Plus en détail

OLAP. Data Mining Decision

OLAP. Data Mining Decision Machine Learning Information Systems Data Warehouses Web & Cloud Intelligence OLAP Knowledge Management Data Mining Decision ENTREPÔTS, REPRÉSENTATION & INGÉNIERIE des CONNAISSANCES Une recherche pluridisciplinaire...

Plus en détail

Big Data. Cyril Amsellem Consultant avant-vente. 16 juin 2011. Talend 2010 1

Big Data. Cyril Amsellem Consultant avant-vente. 16 juin 2011. Talend 2010 1 Big Data Cyril Amsellem Consultant avant-vente 16 juin 2011 Talend 2010 1 Big Data Architecture globale Hadoop Les projets Hadoop (partie 1) Hadoop-Core : projet principal. HDFS : système de fichiers distribués

Plus en détail

SMU MEDITERRANEAN. SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002)

SMU MEDITERRANEAN. SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002) SMU SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002) MEDITERRANEAN institute OF TECHNOLOGY The Unique English-Speaking Engineering School in Tunisia 'Masters in Systems

Plus en détail

A la découverte du Traitement. des signaux audio METISS. Inria Rennes - Bretagne Atlantique

A la découverte du Traitement. des signaux audio METISS. Inria Rennes - Bretagne Atlantique A la découverte du Traitement des signaux audio METISS Inria Rennes - Bretagne Atlantique Les conférences scientifiques au Lycée Descartes Imagerie médicale et neuronavigation par Pierre Hellier Le respect

Plus en détail

GESTION DES APPLICATIONS ORACLE. Application Management Suites

GESTION DES APPLICATIONS ORACLE. Application Management Suites GESTION DES APPLICATIONS ORACLE Application Management Suites 1 The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated

Plus en détail

Accès personnalisé multicritères à de multiples sources d informations.

Accès personnalisé multicritères à de multiples sources d informations. Lyon - France Accès personnalisé multicritères à de multiples sources d informations. Samir kechid Université des Sciences et de la Technologie Houari Boumediene. USTHB BP 32 El Alia Bab Ezzouar Alger

Plus en détail

Formula Negator, Outil de négation de formule.

Formula Negator, Outil de négation de formule. Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente

Plus en détail

Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes

Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes 303 Schedae, 2007 Prépublication n 46 Fascicule n 2 Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes Samya Sagar, Mohamed Ben Ahmed Laboratoire

Plus en détail

ACTIVITÉS ACTUELLES. Laboratoire de recherche Recherche en Développement et Contrôle des Applications Distribuées (ReDCAD)

ACTIVITÉS ACTUELLES. Laboratoire de recherche Recherche en Développement et Contrôle des Applications Distribuées (ReDCAD) Curriculum Vitae Wafa GABSI MASMOUDI Route Menzel checker, Née le : 19.02.1985 à Sfax km 4.5 elkassas Nationalité : Tunisienne 3013 Sfax, Tunisie Etat civil : Mariée Tél : (216) 21 482 209 (216) 92 390

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

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test

Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Ecole Doctorale en Sciences de l Ingénieur de l ECP Formation doctorale en Génie Industriel Qualité de la conception de tests logiciels : plate-forme de conception et processus de test Quality of the design

Plus en détail

neocampus : campus du futur 27 février 2015

neocampus : campus du futur 27 février 2015 neocampus : campus du futur 27 février 2015 Démarrage juin 2013 ECO-CAMPUS TOULOUSE Président B Monthubert Confort au quotidien pour la communauté universitaire Diminution de l empreinte écologique de

Plus en détail

Intel Corporation Nicolas Biguet Business Development Manager Intel France

Intel Corporation Nicolas Biguet Business Development Manager Intel France Les serveurs pour l Entreprise Intel Corporation Nicolas Biguet Business Development Manager Intel France 1 Les orientations stratégiques Clients Réseaux Serveurs Fournir les les éléments de de base des

Plus en détail

Ordonnancement dynamique des transferts dans MapReduce sous contrainte de bande passante

Ordonnancement dynamique des transferts dans MapReduce sous contrainte de bande passante Ordonnancement dynamique des transferts dans MapReduce sous contrainte de bande passante Sylvain Gault To cite this version: Sylvain Gault. Ordonnancement dynamique des transferts dans MapReduce sous contrainte

Plus en détail

Master Management stratégique

Master Management stratégique Formations et diplômes Rapport d'évaluation Master Management stratégique Université Toulouse 1 Capitole UT1 Campagne d évaluation 2014-2015 (Vague A) Formations et diplômes Pour le HCERES, 1 Didier Houssin,

Plus en détail

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/

Plus en détail

ENVIRONNEMENTS ORACLE CRITIQUES AVEC VMAX 3

ENVIRONNEMENTS ORACLE CRITIQUES AVEC VMAX 3 ENVIRONNEMENTS ORACLE CRITIQUES AVEC VMAX 3 AVANTAGES CLES CRITIQUES Puissance Stockage hybride avec des niveaux de service performants optimisés pour le Flash à grande échelle, pour les charges applicatives

Plus en détail

MIGRATION & TESTING REAL APPLICATION TESTING. Consultant Avant Vente, Oracle France

MIGRATION & TESTING REAL APPLICATION TESTING. Consultant Avant Vente, Oracle France MIGRATION & TESTING REAL APPLICATION TESTING Cécile NAUD cecile.naud@oracle.com Consultant Avant Vente, Oracle France 1 Applications Management Enterprise Ready Framework Cloud Management Middleware Management

Plus en détail

Les technologies du Big Data

Les technologies du Big Data Les technologies du Big Data PRÉSENTÉ AU 40 E CONGRÈS DE L ASSOCIATION DES ÉCONOMISTES QUÉBÉCOIS PAR TOM LANDRY, CONSEILLER SENIOR LE 20 MAI 2015 WWW.CRIM.CA TECHNOLOGIES: DES DONNÉES JUSQU'À L UTILISATEUR

Plus en détail

Formalisation de bonnes pratiques dans les procédés de développement logiciels

Formalisation de bonnes pratiques dans les procédés de développement logiciels Formalisation de bonnes pratiques dans les procédés de développement logiciels Vincent Le Gloahec * Regis Fleurquin ** Salah Sadou *** * Alkante SAS, Rennes, France ** IRISA/Triskell, Campus Universitaire

Plus en détail

Sécurité logicielle. École de technologie supérieure (ÉTS) MGR850 Automne 2012 Automne 2012. Yosr Jarraya. Chamseddine Talhi.

Sécurité logicielle. École de technologie supérieure (ÉTS) MGR850 Automne 2012 Automne 2012. Yosr Jarraya. Chamseddine Talhi. MGR850 Automne 2012 Automne 2012 Sécurité logicielle Yosr Jarraya Chargé de cours Chamseddine Talhi Responsable du cours École de technologie supérieure (ÉTS) 1 Plan Motivations & contexte Développement

Plus en détail

Introduction aux applications réparties

Introduction aux applications réparties Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant

Plus en détail

Clouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr

Clouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr Clouds/Big Data @ Inria Frédéric Desprez Frederic.Desprez@inria.fr May 20, 2013 Outline 1. Inria Strategy in Clouds 2. HPC, Clouds: Where within Inria? 3. Inria Large-Scale initiatives Introduction Cloud

Plus en détail

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit. Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide

Plus en détail

Entreposage de données complexes pour la médecine d anticipation personnalisée

Entreposage de données complexes pour la médecine d anticipation personnalisée Manuscrit auteur, publié dans "9th International Conference on System Science in Health Care (ICSSHC 08), Lyon : France (2008)" Entreposage de données complexes pour la médecine d anticipation personnalisée

Plus en détail

20 ans du Master SIAD de Toulouse - BigData par l exemple - Julien DULOUT - 22 mars 2013. 20 ans du SIAD -"Big Data par l'exemple" -Julien DULOUT

20 ans du Master SIAD de Toulouse - BigData par l exemple - Julien DULOUT - 22 mars 2013. 20 ans du SIAD -Big Data par l'exemple -Julien DULOUT 20 ans du Master SIAD de Toulouse - BigData par l exemple - Julien DULOUT - 22 mars 2013 20 ans du SIAD -"BigData par l'exemple" -Julien DULOUT Qui a déjà entendu parler du phénomène BigData? Qui a déjà

Plus en détail

HADOOP ET SON ÉCOSYSTÈME

HADOOP ET SON ÉCOSYSTÈME HADOOP ET SON ÉCOSYSTÈME Mars 2013 2012 Affini-Tech - Diffusion restreinte 1 AFFINI-TECH Méthodes projets Outils de reporting & Data-visualisation Business & Analyses BigData Modélisation Hadoop Technos

Plus en détail

Pair-à-Pair: Architectures et Services

Pair-à-Pair: Architectures et Services Pair-à-Pair: Architectures et Services Fabrice Le Fessant Fabrice.Le_Fessant@inria.fr Équipe ASAP (Réseaux très large échelle) INRIA Saclay Île de France Octobre 2008 Fabrice Le Fessant () Architectures

Plus en détail