Présentation du Groupe INFRES/S3 Systèmes, Logiciels (Software), Services Département Informatique et Réseaux
|
|
- Emma Marois
- il y a 8 ans
- Total affichages :
Transcription
1 Présentation du Groupe INFRES/S3 Systèmes, Logiciels (Software), Services Département Informatique et Réseaux infres.enst.fr/~demeure/s3 Animatrice : Isabelle Demeure isabelle.demeure@enst enst.fr
2 INFRES/S3 dans l organigramme de l ENST Direction de l ENST Dir. FI Dir. Recherche Dir. FC... COMELEC INFRES SHS TSI ICC Information, Cognition et Complexité S3 Systèmes, LogicielS, Services MIC2 Mathématiques de l Information, des Communications et du Calcul RMS Réseaux, Mobilité, Sécurité 2 2
3 Plan Les membres du groupe Les thématiques d enseignement recherche du groupe L enseignement La recherche Résultats en termes de publications et budget Quelques projets... Les activités du laboratoire matériel et logiciel 3 3
4 Membres du groupe S3 11 permanents 11 thésards 4 ingénieurs CDD 3 stagiaires
5 Trombinoscope des permanents de S3 Isabelle Demeure, Prof, Animatrice Patrick Busch, Technicien Philippe Dax, Directeur d Etudes, Support Systèmes Bertrand Dupouy, MC Serge Gadret, chargé d enseignt, support système Jérôme Hugues, MC Gérard Mouret, Ingénieur de Recherche, Resp. Labo Elie Najm, Professeur Laurent Pautet, Samuel Tardieu, Sylvie Vignes, Professeur MC MC 5 5
6 Doctorants (11) Doctorants encadrés par Isabelle Demeure : HoaHaDuong Xavier Gréhant Ludovic Martin, Zakia Kazi Aoul, Guilhem Paroux, Doctorant encadré par Elie Najm : Irfan Hamid, Doctorants encadrés par Laurent Pautet : Khaled Barbaria, Isabelle Perseil, Bechir Zalila, Etienne Borde Doctorant encadré par Jérôme Hugues : Olivier Gilles 6 6
7 Thématiques du groupe S3
8 Thématiques du groupe Architecture de systèmes informatiques soumis à des contraintes tq temps réel, embarqués, répartis, intégrant la mobilité, auto-configurables, adaptables, fiables Développement d intergiciels (middleware) composants/briques répondant à un besoin spécifiques, Intergiciels dédiés et solutions génériques. Modélisation fonctionnelle et comportementale pour spécificier, vérifier, guider le développement, valider SERVICES multimédia, mobile, Contraintes temporelles, mobilité, hétérogénéité INTERGICIEL Système d exploitation A RESEAU RESEAU Système d exploitation B Matériel C E D Matériel D 8 8
9 Caractéristiques du groupe Activités d enseignement et de recherche de tout groupe Beaucoup des travaux de l équipe donnent lieu au prototypage de «plates-formes» et services : Comme moyen de démonstration et d évaluation Pour la maîtrise des nouvelles technologies et l anticipation sur leur usage et leur évolution. Une partie des prototypes s appuient sur le laboratoire matériel Qui fait aussi des prestations pour des projets d autres groupes du département Une partie des membres du groupe font partie de l équipe de support système du département: Support des stations de travail, des ordinateurs personnels, du réseau, de l équipement vidéo du département INFRES Support aux projets de recherche et à l enseignement (TP, Projets) 9 9
10 Enseignements du groupe S3
11 Rappels sur l organisation de l enseignement à l ENST Cycle Optionnel Unifié (COU) Base des Connaissances Indispensables (BCI) Unités d Enseignement (UE) UE de projet UE de spécialité UE de base Modules (1A) P A R C O U R S Cycle ingénieur Mastères spécialisés Master of Science MSC Masters co-habilités 11 11
12 Détail des enseignements du groupe 1/3 BCI base de connaissances indispensables (1ère année) INF104 - Stations de travail & Archi. des systèmes (Resp. B. Dupouy) 5 Parcours ASTRE Appli. & Syst. Temps Réel Répartis Embarqués, Corres. : L. PAUTET. IDL - Ingénierie du logiciel, correspondante : S. VIGNES. SR Syst. Répartis et Services Réseau, Corres : I. DEMEURE & E. NAJM. SystEmbarq Archi. pour systèmes embarqués et la robotique, Corres : A. POLTI et S. TARDIEU. ThéoPaInfo - Théorie et paradigmes de l'informatique, Corres : S. TARDIEU. 4 Unités d'enseignement de base INF222 - Modèles et Vérification ; 3 occurrences annuelles (Resp : J. Hugues, S. Vignes, E. Najm). INF223 - Concurrence et communication ; 2 occurrences annuelles (Resp : B. Dupouy, L. Pautet). INF224 - Paradigmes de programmation ; 2 occurrences (Resp : S. Tardieu et E. Lecolinet). INF227 - Architecture et parallélisme ; 2 occurrences annuelles (Resp : B. Dupouy, G. Blanchet, A. Polti)
13 Détail des enseignements du groupe 2/3 6 Unités d'enseignement de spécialité INF341 Spécif., modélisation et conception de syst. logiciels S. VIGNES INF342 Syst. Embarqués Temps Réel L.PAUTET INF346 - Systèmes répartis I. DEMEURE INFRES352 - Modélisation et conception de services et logiciels répartis E. Najm INF355 - Paradigmes et langages non classiques S. TARDIEU ELEC344 Archi. des syst. embarqués, A. POLTI et S. TARDIEU UE de projet INF38x J. HUGUES et S. VIGNES coordonnent l'ensemble des projets logiciels d équipe qui font l objet d un suivi méthodologique et d un suivi scientifique et technique. ELEC381 - Projet archi. des syst. embarqués, A. POLTI & S. TARDIEU
14 Détail des enseignements du groupe 3/3 2 Mastères spécialisés Conception et Archi. de Syst. Informatiques (CASI), Responsable : I. Demeure Ingénierie du Logiciel (IDL), Responsable : S. Vignes 1 Master of Science "Networked Computing Systems", Responsable : I. Demeure. Co-habilitation de la Mention Informatique du Master 2 de l'université Pierre et Marie Curie (correspondante ENST : Isabelle Demeure), Filière "temps réel" du parcours SAR (Systèmes et Applications Répartis). Resp. L. Pautet. UE (les cours et TP ayant lieu dans les locaux de l'enst) : FSET - Fondements des Systèmes Embarqués Temps Réel, Resp : L. Pautet. ETER Environnements pour l'embarqué, le Temps Réel et la Répartition, Resp : L. Pautet. LS Langages Synchrones, Resp. : J. Hugues. ISE Ingénierie des Systèmes Embarqués, Resp. : J. Hugues
15 Recherche
16 Résultats : publications, budget Toute la recherche du groupe se fait dans le cadre du projet structurant SAFIR (Resp : Elie Najm) Publications du 1er janvier 2006 au 31 aout 2007, 50 entrées dans la base de publications : 3 revues 33 colloques avec actes 2 chapitres de livres 12 rapports de contrat, rapports techniques Eléments budgétaires (année 2006) Recettes projets : 429 Keuros, soit 23% réalisé INFRES Projets européens : recettes 216 Keuros IST-ASSERT, IST-POPEYE, et soldes de contrats Contrats Ministère (RNRT, ESA, ACI, etc) : recettes 130 Keuros ACI-EDEMOI, RNRT-Transhumance,... Contrats Industriels : recettes 83 Keuros Alcatel MOBIC, Adacore, CIFRE, etc Financement thésards (bourses) : 91 Keuros Recettes projets prévues sur 2007 : 516 Keuros 16 16
17 Travaux ingénierie des systèmes & logiciels Architecture de systèmes : 2 cibles privilégiées (contrats en cours, en particulier) : Systèmes temps réels fiables pour l'avionique, Systèmes pour réseaux mobiles adhoc. S ouvrir aux problématiques de grilles et de plate-formes pour simulation et jeux multi-joueurs. Développement d intergiciels Vers une chaîne complète de production d intergiciels pour systèmes embarqués temps réel Vers un intergiciel pour réseau mobile ad hoc (adaptable au contexte dynamique et spontané, sensible à l énergie...). Modélisation fonctionnelle et comportementale Vers un cadre méthodologique suivant l approche MDD (Model Driven Development) 17 17
18 Quelques projets de recherche Intergiciels critiques (Ocarina, PolyORB, IST-ASSERT) Techniques formelles appliquées à la sécurité des aéroports Projet EDEMOI, ACI ministère Intergiciels pour Réseaux Mobiles ad hoc (RNRT-Transhumance, IST-POPEYE) Une architecture orientée services pour la fourniture de documents multimédia composés adaptables (PAAM) Environnement musical virtuel personnalisé (RIAM SoundDelta) Wiki en mobilité (RNTL-XWIKI concerto) ASS CHALLENGERS : les Grilles et au-delà A vous de de choisir
19 Intergiciels pour systèmes critiques
20 Intergiciels pour systèmes critiques Les intergiciels sont des composants logiciels Réduction des coûts, réutilisation de l expertise MAIS restent un point névralgique Besoin de l industrie, standards, complexité En charge du bon fonctionnement du système Objectifs Guider les industriels dans le choix, l utilisation, l adaptation d intergiciels Fournir des preuves de bon fonctionnement Deux projets complémentaires : PolyORB et Ocarina 20 20
21 PolyORB: intergiciel schizophrène Modèle canonique d intergiciel Réutilisable, adaptable, configurable, mais surtout analysable Supporte de nombreux standards (CORBA, DDS, JMS) Utilisé par l industrie (contrat AdaCore): Eurocontrol, EADS, Indra & AWS (WEB) DSA (RPC) CORBA (DOC) OMG DDS Application personalities DIOP (UDP) MIOP (multicast) IIOP Neutral Core Layer SOAP Middleware functions Protocol personalities 21 21
22 AADL: configuration de l intergiciel Utiliser un intergiciel reste complexe Difficulté d apprentissage d un standard lourd Difficulté à analyser (utilisation des ressources) Proposition : utiliser les modèles pour aider l ingénieur Solution retenue: SAE AADL Architecture Analysis & Description Language Standard récent (2004), auquel nous contribuons AADL permet de décrire les entités interagissantes d un logiciel Ses propriété non fonctionnelles (QoS, etc) Pour permettre son analyse et la construction automatique du système à partir de sa description Projet: Ocarina, une bibliothèque pour AADL Parsers et afficheurs, Vérification sémantique, Transformation de modèle Configuration de l intergiciel Ocarina 1.1 Générateurs de code Ada/PolyORB et Ada,C /PolyORB-HI Vérification et validation Ordonnancement Réseaux de Petri 22 22
23 Exploitation 3 thèses soutenues, 5 en cours, 25 publications Partenariats AdaCore & ObjectWeb (middleware), Thalès (AADL), ARTIST2, ARTEMIS, SAE (AADL) Projets en cours IST-ASSERT (AADL), ANR Flex-eWare, Débouchés industriels PolyORB: AdaCore fournit le support auprès d EuroControl, EADS, TechnoServ, Ocarina: contacts avec Ellidiss 23 23
24 Démonstrateur ASSERT ASSERT: Construction de systèmes spatiaux prouvés Partenaires: ESA, MBDA, EADS Astrium, Scénario: un satellite envoie une consigne à deux autres Du modèle au code Capture des besoins Raffinement du modèle Analyses (ressources, etc.) Génération de code: Ocarina Contraintes du spatial Runtime adapté: PolyORB Prêt à fonctionner sur platesformes LEON 80% du code est déduit du modèle, restent les blocs fonctionnels purs à écrire, en général SDL, SCADE, 24 Concurrency view 1s Send LEON TSIM Physical view AADL Process as Partition SC_1 Sender_Thread Data_Source: out event data port SpaceWire AADL Thread as Ada Task object Data_Sink: in event data port Data_Sink: in event data port SpaceWire LEON TSIM Receiver Update + read Local Object update system implementation toy_example.sample_1 subcomponents P1 : processor the_processor; P2 : processor the_processor; GNC : process GNC_Proc; TMTC : process TMTC_Proc; properties Actual_Processor_Binding => reference P1 applies to GNC; Actual_Processor_Binding => reference P2 applies to TMTC; end toy_example.sample_1; 100 ms 100 ms Receiver_Thread Receiver_Thread Receiver Update SC_2 SC_3 read Local Object update LEON TSIM AADL Data as Ada Protected object 500 ms Read 500 ms Read Watcher_Thread Watch Watcher_Thread Watch 24
25 Techniques formelles appliquées à la sécurité des aéroports Projet EDEMOI, ACI ministère Sylvie Vignes Elaboration d'une DEmarche et d'outils pour la MOdélisation Informatique, la validation et la restructuration de réglementations de " sûreté " (sécurité), et la détection des biais dans les aéroports.
26 Objectif Deux points clés pour la sécurité des aéroports : La conformité aux standards La qualité, la consistance et la complétude des standards Objectif d EDEMOI : Utiliser des techniques de spécification formelle et de vérification du domaine de l informatique pour spécifier formellement et vérifier les règles et procédures de sécurité des aéroports. Fournir un référentiel structuré et si possible formel Vérifier/Tester l absence d erreurs Utilisation par les autorités de certification Comme support pour l apprentissage des réglementations Pour identifier des hypothèses cachées Pour permettre l évolution des standards Pour montrer la correction des procédures Comme support pour vérifier la conformité d un aéroport donné aux standards internationaux (génération de tests -> audit) Credit Photo : FOTAI 26 26
27 Security properties The primary security property can be stated as follows: P1 : Passengers, crew, ground personnel and the general public must be safeguarded against acts of unlawful interference (article 2.1.1, 2nd chapter of Annex 17) Set of preventive measures to achieve this goal (article 4.1, 4th chapter of Annex 17) Each Contracting State shall establish measures to prevent weapons, explosives or any dangerous devices which may be used to commit an act of unlawful interference, the carriage or bearing of which is not authorized, from being introduced, by any means whatsoever, on board an aircraft engaged in international civil aviation
28 Processus EDEMOI Test cases Step 1 : Goals are identified as security properties Step 4 : Tests are generated from the formal models Hierarchy of Security properties Step 2 : Class diagrams link goals to relevant domain elements UML diagrams (with UML profile) 28 B Formal Specification Step 3 : Class diagrams are linked to formal specifications 28
29 Current Results A requirements engineering approach based on a specific UML profile Detection of several NL imprecisions. 3 models of Annex 17 of ICAO/OACI UML diagrams B specification (4 Composants, 827 Lines, 253 Proofs) Focal specification (16 Modules, 4157 Lines, 35 Proofs) On-going contacts with the certification authorities ICAO/OACI and ECAC/CEAC 29 29
30 Intergiciels pour Réseaux Mobiles ad hoc Isabelle Demeure 3 thésards : Hoa Ha Duong,, Ludovic Martin, Guilhem Paroux 3 CDD : Francisco Bas, Javier Hernandez, Jaime Biosca 2 projets : RNRT-Transhumance, Transhumance, IST-POPEYE
31 Contexte Environnement MANET Mobile Ad hoc NETworks Réseau autoconfiguré (sans infrastructure préexistante) de terminaux mobiles Caractéristiques Gestion du réseau distribuée Terminaux mobiles Ressources potentiellement contraintes Energie, CPU, Stockage Bande passante et connectivité fluctuantes Topologie dynamique partition du réseau Terminaux : PDA ou Smartphones (RNRT-Transhumance) PC portable (IST-POPEYE) Dimensions du système RNRT-Transhumance : à taille humaine < 20 nœuds (organisation «plate») IST-POPEYE : 100 nœuds (organisation hiérarchique) Les utilisateurs se déplacent à pieds (<8 km/h) Applications collaboratives décentralisées 31 31
32 Scénario château de La Villette Un séminaire avec quelques centaines de participants est organisé au château de La Villette ne possèdant pas d infrastructure réseau. L'intergiciel installé sur les terminaux des participants permet la constitution d un MANET. Des outils collaboratifs sont déployés pour permettre aux participants de partager leurs documents et de travailler ensemble éditeur multi-utilisateur, partage de fichier, tableau blanc. L espace de travail est cohérent malgré les mouvements des participants. Les utilisateurs peuvent choisir un mode d économie d energie où en-dessous d un certain seuil, les fonctionnalités des services sont un peu dégradées pour permettre de prolonger la durée de vie de la batterie
33 Travaux Conception et prototypage d un intergiciel pour MANET Entièrement distribué (pas de serveur central) Sensible au niveau d énergie Offrant des service de partage de données évolués entre participants 33 33
34 Intergiciel adaptable à l'énergie pour MANETs Applications (Jeu, Chat, ) API INTERGICIEL (groupes, événements, ) Routage (OLSR) Pourquoi gérer l'énergie dans l intergiciel? PDA = réserve d'énergie limitée (autonomie : 3h) L'intergiciel est une nouvelle source de consommation Bande passante, CPU, Compléter la gestion de l'énergie faite par l'os et le matériel Adapter le fonctionnement de l'intergiciel en offrant moins de fonctionnalités mais en consommant moins Adaptation = Algorithme alternatif ou paramètre ajustable Protocole de transport avec ou sans ACK Rayon de connaissance du réseau Profondeur de recherche de service Réplication des données plus ou moins gourmande 34 34
35 Partage de données sur MANET Le partage de données Travail collaboratif sur des données partagées Données partagées sur un espace accessible par tous les utilisateurs (espace de partage) Défi Choix de ne pas utiliser de serveurs L espace de partage est créé par tous les utilisateurs La vue de l espace de partage peut être partielle Résistance à une partition du réseau et à la disparition des nœuds Réplication des données Persistance Accessibilité Maintien de la cohérence des réplicas Limiter la consommation énergétique d 1 d 2 d 3 d 4 d 5 Sharing space A B C d 1 d 2 d 3 d 4 d A 1 View of A & B A B C d A 2 d A 3 d B 2 d B 3 d B 4 d d 4 1 d 5 View of C d C 1 d C 4 d C 5 ϕ memory ϕ memory ϕ memory 35 35
36 Wiki en mobilité (RNTL-XWIKI concerto)
37 Projet RNTL XWIKI Concerto Dates: début 2007 à fin 2008 Partenaires: XPertNet, INRIA, ENST (S. Tardieu), Mandriva, EISTI XWiki : logiciel libre d'édition collaborative utilisé principalement en entreprise. possède un système de gabarits permettant d'étendre facilement ses fonctionalités côté serveur. Le but de XWiki Concerto est d'apporter les fonctionalités suivantes à XWiki : édition du wiki en mode déconnecté (sur laptop ou tablette Internet) échange des informations en mode pair-à-pair redondance du stockage des informations pour augmenter la disponibilité et la tolérance aux pannes édition du wiki et notamment du contenu enrichi sur terminal aux capacités réduites 37 37
38 Environnement musical virtuel personnalisé (RIAM SoundDelta)
39 Projet RIAM SoundDelta Dates: début 2007 à fin 2008 Partenaires: ReMu, ENST (S. Tardieu, J-C Moissinac), LIMSI, L2TI Initiative d un artiste compositeur pour que des spectateurs évoluent dans un environnement musical virtuel personnalisé. Chaque participant est équipé d'un boîtier intelligent et d'écouteurs, qui lui permettent de recevoir un flux audio dépendant de sa position, de là où porte son regard et du temps. Par exemple, des sources virtuelles peuvent être portées par des objets du décor ou d'autres participants. L'ENST se charge de la localisation fine du participant, en combinant notamment le traitement du signal GPS avec les données provenant d'une centrale inertielle. À l'issue du projet, une expérience grandeur nature sera effectuée dans le quartier de la Goutte d'or à Paris avec 200 personnes
40 Une architecture orientée services pour la fourniture de documents multimédia composés adaptables Zakia Kazi-Aoul Directeurs de thèse Isabelle Demeure, Jean-Claude Moissinac
41 Scénario : «Suzy and her PDA» PDA : taille réduite de l écran, batterie faible Préférences de Suzy : Pas de vidéo si batterie faible, Texte en anglais Document composé sur «Shakira», mis sur Internet par un particulier (fan de shakira) Texte en français, Vidéo AVI, Image GIF, format PC 1600x1200 Texte en français Vidéo AVI Image GIF 1600x1200 Analyse du document Texte Image Traduction de texte Réduction taille image Texte traduit Transcodage Image image adaptée Reconstruction du document adapté Texte en anglais Audio MP3 Image JPEG 60x60 AudioVideo Transmodage Audio Document du fan Traitement adaptatif dans PAAM 41 Document adapté restitué à Suzy 41
42 PAAM : un système... qui adapte des documents multimédia composés au contexte d un utilisateur, dans le contexte d une application d échange de contenus, où les adaptateurs sont fournis par des noeuds distribués dans le réseau Adaptateurs offerts par des utilisateurs (ex: transcodeur vidéo AVI MPEG) Ou par des prestataires de services Défis : Analyser les documents composés et le contexte de l utilisateur pour décider des adaptations à réaliser Annoncer, rechercher et composer des adaptateurs Assurer le passage à l échelle, l extensibilité et la robustesse Système conçu et prototypé dans le cadre de la thèse de Zakia Kazi Aoul (soutenance automne 2007) 42 42
43 Contribution à Specific Support Action CHALLENGERS funded by the European Commission Les Grilles et au-delà Michel Riguidel Sylvie Vignes
44 Principaux instigateurs des grilles info. actuelles Les applications e-science émergentes : expériences à grande échelle, simulations, détecteurs interconnectés. Certaines applications e-business : finance, commerce Des capacités de calcul faramineuses De très volumineux flots de données. Digital Biology Life Sciences CERN High Energy Physics De nombreux experts (et ressources) appartenant à diverses organisations collaborent pour un travail de synthèse, modélisation, simulation, analyse et interprétation. Finance: Portfolio analysis Internet & Ecommerce 44 44
45 Les défis de l ASS CHALLENGERS Aller au-delà de la réussite des grilles scientifiques Se projeter en 2020 et au delà! Solliciter des experts aux compétences variées : sociologiques, en affaires internationales, juridiques et informatiques (dont concernant INFRES-S3) Infrastructure, support de transactions, sécurité, confiance, résilience Pour préparer de futurs appels à projets européens concernant : des grilles offrant des services de la vie quotidienne, de connaissances, de communication entre communautés virtuelles des grilles d entreprises ou organisations virtuelles 45 45
46 Le laboratoire matérielle en support des projets de recherche Gérard Mouret (Ingénieur de recherche) assisté de Patrick Busch (technicien)
47 Labo : plate-forme SPIF Plate-forme matérielle et logicielle pour des projets sur les systèmes temps réels embarqués. En 2002, projet AIRNET (ENST/Airstar/LIP6), SPIF est le système embarqué d un Ballon dirigeable lenticulaire En 2003, Projet ITEA-Ambience, SPIF sert de base à des routeurs mobiles Plateforme temps réel du labo, avec 6 cartes Spif accessibles par le réseau de l'école, OS RTEMS. Utilisée pour les TPs temps réel embarqué
48 Labo : détecteur de photons uniques Projet structurant TRAQUE (R.Alléaume). Construire un détecteur de photons uniques, sur fibre optique à 1550 nm, brique de base d'une liaison optique apte à supporter un protocole de cryptographie quantique. 3 entreprises dans le monde (1 en suisse, 2 aux US) commercialisent un produit entièrement intégré. Les détecteurs présents en France ont été soit achetés très chers ( cf équipe Gallion), soit assemblés à partir d'appareils de labo de physique (Orsay). Difficultés pour atteindre les -60 C, nécessaires au bon fonctionnement de la photodiode, pour réaliser l'électronique sensible capable de discriminer et d'amplifier le signal généré par la photodiode lors de la réception d'un seul photon
49 Labo : interfaces tangibles à retour tactile Projet structurant VIA (E.Lecolinet), projet Enéide, Environnements Numériques de Demain, du Pôle Cap Digital Nous avons réalisé les interfaces tangibles à retour tactile, suivantes : un stylet pour IPAQ, qui offre un retour d'information symbolique, sous une forme tactile via une cellule braille intégrée au stylet. un trackball Logitech modifié, qui retourne le même type d'information, sur le même principe que le stylet ci-dessus. une télécommande radio (ZigBee ), équipée d'un joystick (input) et d'une cellule braille (output). une balle de mousse, équipée pour l'instant d'un lien radio ZigBee et de 4 vibreurs indépendants, un sous chaque doigt
Plan du cours. Autres modèles pour les applications réparties Introduction. Mode de travail. Introduction
Plan du cours Autres modèles pour les applications réparties Introduction Riveill@unice.fr http://rangiroa.polytech.unice.fr Notre terrain de jeu : les systèmes répartis Un rappel : le modèle dominant
Plus en détailMaster (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étailMaster 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étailPrise en compte des ressources dans les composants logiciels parallèles
Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations
Plus en détailVers 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étailParcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay
1 Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay Eric Goubault, Sylvie Putot, Alexandre Chapoutot, Laurent Pautet Eric.Goubault@polytechnique.edu,
Plus en détailConception 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étailRéseaux M2 CCI SIRR. Introduction / Généralités
Réseaux M2 CCI SIRR Introduction / Généralités Isabelle Guérin Lassous Isabelle.Guerin-Lassous@ens-lyon.fr http://perso.ens-lyon.fr/isabelle.guerin-lassous 1 Objectifs Connaissances générales sur les réseaux
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailOrganisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et
Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières
Plus en détailLes Réseaux Informatiques
Les Réseaux Informatiques Licence Informatique, filière SMI Université Mohammed-V Agdal Faculté des Sciences Rabat, Département Informatique Avenue Ibn Batouta, B.P. 1014 Rabat Professeur Enseignement
Plus en détailParcours en deuxième année
Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure
Plus en détailSujet 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étailL INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009
1 L INRIA, institut français des STIC (en Île-de-France) 24 septembre 2009 Institut National de Recherche en Informatique et en Automatique 2 Institut dédié aux Sciences et Technologies de l Information
Plus en détailPrincipes. 2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA. Programmation en Corba. Stéphane Vialle
2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle 1 Principes 2 Architecture 3 4 Aperçu d utilisation
Plus en détailDiagrammes de Package, de déploiement et de composants UML
labsticc.univ-brest.fr/pages_perso/babau/ Diagrammes de Package, de déploiement et de composants UML Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC 2 1 Plan Description
Plus en détailProposition 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étailDESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDE LE 26/01/2012
DA Télémédecine et SI de Santé DESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDE LE 26/01/2012 PROJET N 1 : IMPLEMENTATION D'UNE INTERFACE SWEETHOME DEDIEE
Plus en détailPrésentation du Master Ingénierie Informatique et du Master Science Informatique 2007-2008, Année 2 Université Paris-Est Marne-la-Vallée
Présentation du Master Ingénierie Informatique et du Master Science Informatique 2007-2008, Année 2 Université Paris-Est Marne-la-Vallée Responsable du Master Informatique : Marc Zipstein Responsable de
Plus en détailModules du DUT Informatique proposés pour des DCCE en 2014/2015
Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de
Plus en détailÉ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étailAPPLICATIONS MOBILES Catalogue de services Econocom-Osiatis 21.01.2014
APPLICATIONS MOBILES Catalogue de services 21.01.2014 Sommaire 1 2 Catalogue d applications mobiles types Organisation (5) Communication & Collaboration (3) Gestion d activités de services (3) CRM / B2C
Plus en détailINGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING
INGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING Préparez ce diplôme à l école de d ingénierie de l IGA OBJECTIFS DE LA FORMATION Dans un contexte de mutation économique et
Plus en détailNFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
Plus en détailConception et contrôle des SMA tolérants aux fautes
Conception et contrôle des SMA tolérants aux fautes Une plate-forme multiagents tolérante aux fautes à base de réplication Nora FACI Contexte SMA large échelle Nombre important d agents Ressources éloignées
Plus en détailSoftware Engineering and Middleware A Roadmap
Software Engineering and Middleware A Roadmap Ecrit par: Dr. Wolfgang Emmerich Présenté par : Mustapha Boushaba Cours : IFT6251 Wolfgang Emmerich Enseignant à University College London: Distributed Systems
Plus en détailPROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN
PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,
Plus en détailPanorama des études à travers les filières. FEEL du 23 octobre 2014
Panorama des études à travers les filières FEEL du 23 octobre 2014 Plan Structure générale des études à l'ensimag 1A : le tronc commun 2A/3A : entrée dans les filières et spécialisation Modalités du choix
Plus en détailGarantir une meilleure prestation de services et une expérience utilisateur optimale
LIVRE BLANC Garantir une meilleure prestation de services et une expérience utilisateur optimale Mai 2010 Garantir une meilleure prestation de services et une expérience utilisateur optimale CA Service
Plus en détailContributions à l expérimentation sur les systèmes distribués de grande taille
Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte
Plus en détailInitiation aux bases de données (SGBD) Walter RUDAMETKIN
Initiation aux bases de données (SGBD) Walter RUDAMETKIN Bureau F011 Walter.Rudametkin@polytech-lille.fr Moi Je suis étranger J'ai un accent Je me trompe beaucoup en français (et en info, et en math, et...)
Plus en détailSynergies entre Artisan Studio et outils PLM
SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits
Plus en détailCORBA. (Common Request Broker Architecture)
CORBA (Common Request Broker Architecture) Projet MIAGe Toulouse Groupe 2 1 CORBA, introduction (1/4) Les systèmes répartis permettent de créer des applications basées sur des composants auto-gérables,
Plus en détailIntroduction 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étailDescription du programme du Master M2 MIAGE SIIN (1)
Description du programme du Master M2 MIAGE SIIN (1) Modules obligatoires : D219 Haut débit et nomadisme 40h. D226 Image numérique - 40 h. D227 Technologies des réseaux 40 h. D228 Développement d applications
Plus en détailIyad 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étailTivoli Endpoint Manager Introduction. 2011 IBM Corporation
Tivoli Endpoint Manager Introduction Enjeux pour les départements IT Comment gérer : l inventaire la mise à jour la sécurité la conformité Sur des environnements hétérogènes OS : Windows, Mac, UNIX, Linux,
Plus en détail1. Introduction à la distribution des traitements et des données
2A SI 1 - Introduction aux SI, et à la distribution des traitements et des données Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Support de cours élaboré avec l aide de
Plus en détailEléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)
Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances
Plus en détailUFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018
UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique
Plus en détailMaster Théorie et pratiques des arts interactifs
Master Théorie et pratiques des arts interactifs Co-directeurs du Master Université de Poitiers Bertrand Augereau augerau@sic.univ-poitiers.fr École Européenne Supérieure de l Image Sabrina GRASSI-FOSSIER
Plus en détailDescription des UE s du M2
Parcours en deuxième année Unités d Enseignement (UE) ECTS Ingénierie des réseaux haut 4 débit Sécurité des réseaux et 4 télécoms Réseaux mobiles et sans fil 4 Réseaux télécoms et 4 convergence IP Infrastructure
Plus en détailPierre De Dobbeleer. Spécialiste Project Management, Electronique, Réseaux et télécommunications
Pierre De Dobbeleer Contact: 11 rue Rogier, 5000 Namur 3éme étage Tel: +32 471 37 64 82 Age: 46 ans Divorcé, 2 enfants Spécialiste Project Management, Electronique, Réseaux et télécommunications Domaines
Plus en détail3A-IIC - Parallélisme & Grid GRID : Définitions. GRID : Définitions. Stéphane Vialle. Stephane.Vialle@supelec.fr http://www.metz.supelec.
3A-IIC - Parallélisme & Grid Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Principes et Objectifs Evolution Leçons du passé Composition d une Grille Exemple d utilisation
Plus en détailPré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étailRapport d activité. Mathieu Souchaud Juin 2007
Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix
Plus en détailUE 8 Systèmes d information de gestion Le programme
UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications
Plus en détailTHÈ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étailConception et Intégration de Systèmes Critiques
Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle
Plus en détailProblématiques de recherche. Figure Research Agenda for service-oriented computing
Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements
Plus en détailUrbanisme du Système d Information et EAI
Urbanisme du Système d Information et EAI 1 Sommaire Les besoins des entreprises Élément de solution : l urbanisme EAI : des outils au service de l urbanisme 2 Les besoins des entreprises 3 Le constat
Plus en détailViSaGe. Virtualisation du Stockage dans les Grilles. Informatiques. RenPar 16, 6-8 Avril 2005 Thiebolt François thiebolt@irit.fr
1 ViSaGe Virtualisation du Stockage dans les Grilles Informatiques RenPar 16, 6-8 Avril 2005 Thiebolt François thiebolt@irit.fr IRIT Projet RNTL labellisé pré-compétitif Solution ViSaGe ViSaGe Accès transparent
Plus en détailMANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP
MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP METHODES & CONCEPTS POUR UNE INGENIERIE INNOVANTE Ecole Nationale Supérieure des Mines de Rabat Département INFORMATIQUE www.enim.ac.ma MANAGEMENT
Plus en détail4.2 Unités d enseignement du M1
88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter
Plus en détailGPC Computer Science
CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site
Plus en détailHypervision et pilotage temps réel des réseaux IP/MPLS
Hypervision et pilotage temps réel des réseaux IP/MPLS J.M. Garcia, O. Brun, A. Rachdi, A. Al Sheikh Workshop autonomique 16 octobre 2014 Exemple d un réseau opérateur national 8 technologies : 2G / 3G
Plus en détailINF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude
INF 1250 INTRODUCTION AUX BASES DE DONNÉES Guide d étude Sous la direction de Olga Mariño Télé-université Montréal (Québec) 2011 INF 1250 Introduction aux bases de données 2 INTRODUCTION Le Guide d étude
Plus en détailPerspectives pour l entreprise. Desktop Cloud. JC Devos IBM IT Architect jdevos@fr.ibm.com. 2010 IBM Corporation
Perspectives pour l entreprise Desktop Cloud JC Devos IBM IT Architect jdevos@fr.ibm.com Principe technique Disposer d un poste de travail virtuel accessible par la plupart des terminaux disponibles Ce
Plus en détail«Les projets collaboratifs pour les nuls»
«Les projets collaboratifs pour les nuls» Les jeudis du numérique à Vannes 28/05/15 Sommaire 1) Le projet collaboratif 2) Les appels à projets 3) Le financement 4) Le rôle d Images & Réseaux Les questions
Plus en détailProfil d études détaillé. Section : Informatique et systèmes Finalité : Technologie de l informatique
Section : Informatique et systèmes Finalité : Technologie de l informatique Page 1/6 1. Introduction L enseignement de la Haute Ecole Louvain en Hainaut donne la place centrale à l étudiant. Celui-ci trouvera
Plus en détailCours 13. RAID et SAN. 2004, Marc-André Léger
Cours 13 RAID et SAN Plan Mise en contexte Storage Area Networks Architecture Fibre Channel Network Attached Storage Exemple d un serveur NAS EMC2 Celerra Conclusion Démonstration Questions - Réponses
Plus en détailUniversité Libre de Tunis
Ingénieur: Génie Informatique Code et Intitulé des Matières Enseignées Plan d'etudes : Semestre 1 S1-01 Algorithmique et Structures de Données 1 S1-02 Programmation C S1-03 Logiques Mathématiques S1-04
Plus en détailAnnonces internes SONATRACH RECHERCHE POUR SA DIRECTION CENTRALE INFORMATIQUE ET SYSTÈME D INFORMATION :
Bourse de l emploi Annonces internes SONATRACH RECHERCHE POUR SA DIRECTION CENTRALE INFORMATIQUE ET SYSTÈME D INFORMATION : Deux (02) Ingénieurs Sécurité Système d Information Direction Qualité, Méthodes
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailLes marchés Security La méthode The markets The approach
Security Le Pôle italien de la sécurité Elsag Datamat, une société du Groupe Finmeccanica, représente le centre d excellence national pour la sécurité physique, logique et des réseaux de télécommunication.
Plus en détailMasters 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étailMétiers d études, recherche & développement dans l industrie
Les fiches Métiers de l Observatoire du Travail Temporaire Emploi, compétences et trajectoires d intérimaires cadres Métiers d études, recherche & développement dans l industrie R&D Production Ingénieur
Plus en détailRESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)
RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) Master Droit Economie Gestion, mention Management des Systèmes d Information, spécialité Management et Technologies
Plus en détailPROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux
PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances
Plus en détailAlgorithmique et systèmes répartis
Algorithmique et systèmes répartis Tendances et avenir Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT 30 novembre 2012 Gérard Padiou Algorithmique et systèmes répartis 1 /
Plus en détailPrésentation du M2 SIC : Systèmes Informatiques et Applications Marines
Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Jean-Philippe Babau (resp. M2 SIAM) http://dept-info.univ-brest.fr/master2_siam.php http://labsticc.univ-brest.fr/pages_perso/babau/
Plus en détailFilière MMIS. Modélisation Mathématique, Images et Simulation. Responsables : Stefanie Hahmann, Valérie Perrier, Zoltan Szigeti
Filière MMIS Modélisation Mathématique, Images et Simulation Responsables : Stefanie Hahmann, Valérie Perrier, Zoltan Szigeti Valerie.Perrier@imag.fr Modélisation mathématique, Images et simulation (MMIS)
Plus en détailSpécialité IAD. Master de Sciences et technologie de l UPMC. Mention informatique. Partenaires : ENST, ENSTA. Responsables : T. Artières, C.
Master de Sciences et technologie de l UPMC Mention informatique Spécialité IAD Partenaires : ENST, ENSTA Responsables : T. Artières, C. Gonzales Secrétariat : N. Nardy LES THÉMATIQUES ABORDÉES Les thématiques
Plus en détailréussir la transition vers le Cloud Computing: équilibre entre rentabilité, fonctionnalité et fiabilité
réussir la transition vers le Cloud Computing: équilibre entre rentabilité, fonctionnalité et fiabilité Intervenants : Julien NABET Head of Staff Programme Cloud Computing OBS Ibra DIAKHATE Directeur exploitation
Plus en détailRéunion Information Investissements d Avenir
Réunion Information Investissements d Avenir Logiciel Embarqué et Objets Connectés Sophia, 16 Juillet 2013 Investissements Avenir : Réorientation Réorientation de 2,2 Mds$ du budget non engagé des IA Soutien
Plus en détailRetour d expériences avec UML
Retour d expériences avec UML UML pour les systèmes biologiques Marie-Hélène Moirez-Charron, UMR AGIR, équipe MAGE INRA Toulouse mailto:marie-helene.charron@toulouse.inra.fr PLAN Contexte de travail UML,
Plus en détailMASTER INFORMATIQUE COLLABORATIVE EN ENTREPRISE (ICE)
MASTER INFORMATIQUE COLLABORATIVE EN ENTREPRISE (ICE) RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine : Sciences, Ingénierie et Technologies Présentation Le Master Informatique Collaborative
Plus en détailIntroduction à la conception de systèmes d information
Introduction à la conception de systèmes d information 2008-2009 M1 MIAGE SIMA / M1 Informatique MIF17 Yannick Prié UFR Informatique - Université Claude Bernard Lyon 1 Objectifs de ce cours Présentation
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailLutin Laboratoire des Usages en Technologies
Lutin Laboratoire des Usages en Technologies d Information Numérique (à la Cité des Sciences) Offres à destination des entreprises (club d entreprises) Le principe de la plate-forme RNRT Le laboratoire
Plus en détailPrésentation du Programme Régional de Formations Qualifiantes
Présentation du Programme Régional de Formations Qualifiantes Le Programme Régional de Formations Qualifiantes (PRFQ) a pour objectif d aider les ligériens à accéder et à se maintenir dans un emploi durable
Plus en détailSystèmes et réseaux d information et de communication
233 DIRECTEUR DES SYSTÈMES ET RÉSEAUX D INFORMATION ET DE COMMUNICATION Code : SIC01A Responsable des systèmes et réseaux d information FPESIC01 Il conduit la mise en œuvre des orientations stratégiques
Plus en détailMaster Information et communication spécialité Produits et services multimédia
18/09/2013 http://www.univ-fcomte.fr Master Information et communication spécialité Produits et services multimédia UFR Sciences, techniques, et gestion de l'industrie http://stgi.univ-fcomte.fr/ Dénomination
Plus en détailLes réseaux de campus. F. Nolot 2008 1
Les réseaux de campus F. Nolot 2008 1 Les réseaux de campus Les architectures F. Nolot 2008 2 Les types d'architectures L'architecture physique d'un réseau de campus doit maintenant répondre à certains
Plus en détailArchitecture Technique
Architecture Technique Le Réseau & Télécom Les Systèmes et Serveurs Le Matériel Serveur La supervision Serveur Le Poste Client Les Applications dans cet environnement 2 Réseau & Télécom Administration
Plus en détailMettez les évolutions technologiques au service de vos objectifs métier
Mettez les évolutions technologiques au service de vos objectifs métier 2 OXIA a pour mission de concevoir et mettre en oeuvre les meilleures solutions technologiques visant à améliorer la productivité,
Plus en détailPrésentation Alfresco
Présentation d un CMS : Alfresco Présentation Alfresco Ludovic Plantin, Frédéric Sénèque, Xu Zhao Polytech Grenoble Décembre 2008 Plantin, Sénèque, Xu (Polytech) Présentation Alfresco Décembre 2008 1 /
Plus en détailWINDEV MOBILE. ios SMARTPHONE SUPPORT: IOS, ANDROID, WINDOWS PHONE 8.
WINDEV MOBILE ios SMARTPHONE SUPPORT: IOS, ANDROID, WINDOWS PHONE 8. WINDOWS Mobile permet de créer des applications pour les smartphones, les tablettes et les terminaux mobiles. Les applications sont
Plus en détail4. Utilisation d un SGBD : le langage SQL. 5. Normalisation
Base de données S. Lèbre slebre@unistra.fr Université de Strasbourg, département d informatique. Présentation du module Contenu général Notion de bases de données Fondements / Conception Utilisation :
Plus en détailÉVÉNEMENT «DYNAMISEZ VOTRE INTRANET» INTRANET, PANORAMA 2012 ET NOUVELLES TENDANCES WWW.CROSS-SYSTEMS.CH JÉRÔME BAILLY WWW.CROSS-SYSTEMS.
ÉVÉNEMENT «DYNAMISEZ VOTRE INTRANET» INTRANET, PANORAMA 2012 ET NOUVELLES TENDANCES JÉRÔME BAILLY 10.10.2012 CONTACT JÉRÔME BAILLY CROSS AGENCY JBAILLY@CROSS-SYSTEMS.CH +41 78 878 78 26 SKYPE: JEROME.BAILLY
Plus en détailMaster Informatique et Systèmes. Architecture des Systèmes d Information. 03 Architecture Logicielle et Technique
Master Informatique et Systèmes Architecture des Systèmes d Information 03 Architecture Logicielle et Technique Damien Ploix 2014-2015 Démarche d architecture SI : structuration en vues Quels métiers?
Plus en détailDispositif sur budget fédéral
w w w. c n f e t p. c o m R é f o r m e B T S S I O Services Informatiques aux Organisations Dispositif sur budget fédéral 31 rue des Naudières 44400 REZE Tél. 02 40 32 88 00 Fax 02 40 84 12 95 contact@cnfetp-nantes.com
Plus en détailSystème à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0
Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive Sommaire - Le Robot M.I.M.I. (Multipode Intelligent à Mobilité Interactive) - Présentation du Système à Enseigner. - Composition
Plus en détailFILIÈRE TRAVAIL COLLABORATIF
FILIÈRE TRAVAIL COLLABORATIF 89 MICROSOFT EXCHANGE SQL Server... /... TRAVAIL COLLABORATIF Introduction à l installation et à la gestion d Exchange Server 2007 Durée 3 jours MS5909 Gérer la sécurité de
Plus en détailSQL Server 2012 Implémentation d'une solution de Business Intelligence (Sql Server, Analysis Services...)
Avant-propos 1. À qui s'adresse ce livre? 15 2. Pré-requis 15 3. Objectifs du livre 16 4. Notations 17 Introduction à la Business Intelligence 1. Du transactionnel au décisionnel 19 2. Business Intelligence
Plus en détailECTS CM TD TP. 1er semestre (S3)
Organisation du parcours M2 IRS en alternance De façon générale, les unités d enseignements (UE) sont toutes obligatoires avec des ECTS équivalents à 3 sauf le stage sur 27 ECTS et réparties sur deux semestres
Plus en détailProgramme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION. Mentions Ingénierie des Systèmes d Information Business Intelligence
É C O L E D I N G É N I E U R D E S T E C H N O L O G I E S D E L I N F O R M A T I O N E T D E L A C O M M U N I C A T I O N Programme scientifique Majeure ARCHITECTURE DES SYSTEMES D INFORMATION Mentions
Plus en détailGénie logiciel (Un aperçu)
(Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de
Plus en détailFORMATION CN01a CITRIX NETSCALER
FORMATION CN01a CITRIX NETSCALER Contenu de la formation CN01a CITRIX NETSCALER Page 1 sur 6 I. Généralités 1. Objectifs de cours Installation, configuration et administration des appliances réseaux NetScaler
Plus en détailSwitching PCIe Photonique/Silicium Intel Connectique Intel MXC
Switching PCIe Photonique/Silicium Intel Connectique Intel MXC Le PCI Express comme standard Depuis ces dernières années, le PCI Express est le standard reconnu comme étant le principal interconnexion
Plus en détail