Présentation du Groupe INFRES/S3 Systèmes, Logiciels (Software), Services Département Informatique et Réseaux

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

Download "Présentation du Groupe INFRES/S3 Systèmes, Logiciels (Software), Services Département Informatique et Réseaux"

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 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

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

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

Plus en détail

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr

AADL. un langage pour la modélisation et la génération d applications. Thomas Vergnaud, thomas.vergnaud@enst.fr AADL un langage pour la modélisation et la génération d applications, thomas.vergnaud@enst.fr Les langages de description d architecture la conception des systèmes devient complexe difficulté de compréhension

Plus en détail

Un intergiciel adaptable à l'énergie pour les réseaux mobiles ad hoc

Un intergiciel adaptable à l'énergie pour les réseaux mobiles ad hoc Un intergiciel adaptable à l'énergie pour les réseaux mobiles ad hoc Guilhem Paroux, Isabelle Demeure ENST France Télécom R&D Contexte Réseau mobile ad hoc (MANET) Pas d'infrastructure préexistante 20

Plus en détail

Intergiciel sensible à l'énergie pour les réseaux mobiles ad hoc

Intergiciel sensible à l'énergie pour les réseaux mobiles ad hoc Intergiciel sensible à l'énergie pour les réseaux mobiles ad hoc Principes Moyens d'action Architecture Guilhem Paroux (France Télécom R&D / ENST) Isabelle Demeure (ENST) Plan de la présentation Les réseaux

Plus en détail

Conception d Applications Réparties

Conception d Applications Réparties Jean-François Roos LIFL - équipe GOAL- bâtiment M3 Extension - bureau 206 -Jean-Francois.Roos@lifl.fr 1 Objectifs du Cours Appréhender la conception d applications réparties motivations et concepts architectures

Plus en détail

Action Innovante Campus Mobile

Action Innovante Campus Mobile Action Innovante Campus Mobile www.enst.fr/~elc/campmob Action innovante Campus Mobile www.enst.fr/~elc/campmob! Objectifs Nouveaux usages liés à la mobilité Campus universitaire! Concept général Médiateur

Plus en détail

Apports des architectures pair-à-pair pour les réseaux ad hoc

Apports des architectures pair-à-pair pour les réseaux ad hoc Apports des architectures pair-à-pair pour les réseaux ad hoc Tuan Dung NGUYEN Thèse co-encadrée ENST Bretagne INT (début : 15 octobre 2005) Directeur de thèse : Guy BERNARD - INT Co-encadrants : Siegfried

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

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

Industrialisation du logiciel Temps Réel Critique

Industrialisation du logiciel Temps Réel Critique Industrialisation du logiciel Temps Réel Critique Sommaire Projets opérationnels Les outils du marché utilisés et les contraintes associées CS et les méthodes CS et la R&D Conclusion RdV de l'innovation

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

Modélisation: outillage et intégration

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

Plus en détail

et contrôle de topologie dans les Support de la qualité de service réseaux mobiles ad hoc rabah.meraihi@enst.fr GET / Télécom Paris Rabah Meraihi

et contrôle de topologie dans les Support de la qualité de service réseaux mobiles ad hoc rabah.meraihi@enst.fr GET / Télécom Paris Rabah Meraihi Support de la qualité de service et contrôle de topologie dans les réseaux mobiles ad hoc Rabah Meraihi GET / Télécom Paris rabah.meraihi@enst.fr Rabah Meraihi 1 Plan 1. Introduction et contexte 2. Qualité

Plus en détail

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

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

Plus en détail

«Contributions à l évaluation de la QoS pour les Réseaux Adhoc et les Réseaux de Capteurs Sans Fil»

«Contributions à l évaluation de la QoS pour les Réseaux Adhoc et les Réseaux de Capteurs Sans Fil» AVIS DE SOUTENANCE HABILITATION UNIVERSITAIRE Présentée à L Université Ibn Tofail, Faculté des Sciences de Kenitra Spécialité : Informatique et Télécommunications Par Youssef FAKHRI Doctorat National de

Plus en détail

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE

SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE SÛRETÉ DE FONCTIONNEMENT ET ARCHITECTURE GVA SÉMINAIRE ARCHITECTURES AGILES DE SYSTÈMES COMPLEXES BASÉES SUR DDS, LA VÉTRONIQUE EN CAS D EXEMPLE PLAN Architecture GVA et NGVA SDF dans Architecture GVA

Plus en détail

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

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 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étail

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

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

Prise en compte des ressources dans les composants logiciels parallèles

Prise 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étail

Conception et développement d applications avec OpenCCM

Conception et développement d applications avec OpenCCM * CE * URE Conception et développement d applications avec OpenCCM RNRT * * Philippe.Merle@lifl.fr Equipe GOAL Laboratoire d Informatique Fondamentale de Lille Revue finale CESURE, Marseille, 18 décembre

Plus en détail

CONCEPTION NUMÉRIQUE 3D

CONCEPTION NUMÉRIQUE 3D INGÉNIEUR EN CONCEPTION NUMÉRIQUE 3D - PAR LA VOIE DE L APPRENTISSAGE - INFORMATIQUE & RÉALITÉ VIRTUELLE MAQUETTE NUMÉRIQUE INGÉNIERIE CONCOURANTE SIMULATION Édition du 20/01/10 Le profil du candidat en

Plus en détail

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Ingénieur en Informatique en Contrat de Professionnalisation - Année I1 RSX102 Technologies pour les applications

Plus en détail

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Mohamed Mosbah LaBRI ENSEIRB - Université Bordeaux 1 mosbah@labri.fr dept-info.labri.fr/~mosbah/mafsd.html Connaître les caractéristiques

Plus en détail

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. 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étail

Proposition d équipe projet

Proposition d équipe projet Proposition d équipe projet Projet Outils, Méthodes, Architectures, pour la Reconfiguration Dynamique - POMARD - 3UpVHQWDWLRQ''HPLJQ\(7,6 Principe d utilisation des ARD code données Mémoires Tâche 1_1

Plus en détail

Exécution des applications réparties

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

Plus en détail

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

Module Génie Logiciel à Objet

Module Génie Logiciel à Objet Module Génie Logiciel à Objet Chapitre 1 - Introduction Mohamed Bakhouya - Benoît Delahaye Université Internationale de Rabat - Université de Nantes Remerciements Pascal André Gerson Sunyé 2013 Jacques

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

Analyse et développement de protocoles de communication pour un réseau social mobile

Analyse et développement de protocoles de communication pour un réseau social mobile Analyse et développement de protocoles de communication pour un réseau social mobile Christophe Berger - EPITA Promotion 2007 - Spécialisation CSI Stage effectué sous la direction de Naceur Malouch LIP6

Plus en détail

Lot 7 : Document Recette

Lot 7 : Document Recette Lot 7 : Document Recette Référence Document_Recette.pdf Version 2.0 Date 18/06/2009 Auteur Chef de projet Equipe INOVECO Lionel Croix Le présent document reprend le cahier des charges que l on s était

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) Intitulé (cadre 1) Ingénieur diplômé de l École Nationale Supérieure d Ingénieurs en Informatique, Automatique, Mécanique, Énergétique et Électronique

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

Administration des services dans le projet Safari

Administration des services dans le projet Safari Administration des services dans le projet Safari Atelier de travail OSGi CNAM Paris 5 septembre 2006 Abdelkrim Hebbar Bruno Mongazon D1-19/09/06 Projet Safari Résulte de la fusion de plusieurs propositions

Plus en détail

MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS. Présentation. Objectifs. Compétences visées. Organisation. Stage.

MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS. Présentation. Objectifs. Compétences visées. Organisation. Stage. MASTER MENTION INFORMATIQUE SPÉCIALITÉ PROGRAMMATION ET LOGICIELS SÛRS RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité :

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification Résultats des projets CARROLL Bilan et perspectives Validation et Vérification Paul Le Guernic, INRIA Workshop CARROLL 23 septembre 2005 Contexte Validation & Vérification dans CARROLL Perspectives Contexte

Plus en détail

Figure 1. Structure répartie

Figure 1. Structure répartie Chapitre I: Applications Réparties et Middleware 1. Définition d une application répartie Une application répartie est constituée d un ensemble de processus (d objets, d agents, d acteurs) s exécutant

Plus en détail

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME 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étail

L'architecture Mesh. frati@nyx.unice.fr

L'architecture Mesh. frati@nyx.unice.fr L'architecture Mesh frati@nyx.unice.fr On connaissait déjà le mode sans infrastructure : le mode Ad-Hoc mode habituel pour connecter deux ordinateurs entre eux (d égal à égal) permettant des partages de

Plus en détail

Tivoli Endpoint Manager Introduction. 2011 IBM Corporation

Tivoli 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étail

APPLICATIONS MOBILES Catalogue de services Econocom-Osiatis 21.01.2014

APPLICATIONS 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étail

Bases de données et environnements distribués Chapitre I : Objets distribués, concepts fondamentaux

Bases de données et environnements distribués Chapitre I : Objets distribués, concepts fondamentaux Bases de données et environnements distribués Chapitre I : Objets distribués, concepts fondamentaux Eric Leclercq Département IEM / UB 10/2005 email : Eric.Leclercq@u-bourgogne.fr http://ludique.u-bourgogne.fr/~leclercq

Plus en détail

Analyse,, Conception des Systèmes Informatiques

Analyse,, 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étail

Conception Exécution Interopérabilité. Déploiement. Conception du service. Définition du SLA. Suivi du service. Réception des mesures

Conception Exécution Interopérabilité. Déploiement. Conception du service. Définition du SLA. Suivi du service. Réception des mesures Software propose une offre d intégration unique, qui apporte l équilibre parfait entre investissements et performances pour les entreprises qui doivent sans cesse améliorer leurs processus. Des caractéristiques

Plus en détail

Réseaux M2 CCI SIRR. Introduction / Généralités

Ré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étail

HTML5 Quels enjeux pour la mobilité et le RIA?

HTML5 Quels enjeux pour la mobilité et le RIA? HTML5 Quels enjeux pour la mobilité et le RIA? Julien Roche Philippe Guédez Ludovic Garnier 2 Sommaire Evolution des usages du Web Applications mobiles multiplateformes Contributions d HTML5 au RIA Conclusion

Plus en détail

Dispatcher Training Simulator Vision simplifiée - Mode réplique. Structure informatique des CdC. Par ordre temporel. Activités d un opérateur

Dispatcher Training Simulator Vision simplifiée - Mode réplique. Structure informatique des CdC. Par ordre temporel. Activités d un opérateur Systèmes de conduite des grands réseaux électriques Fonctions et structures des systèmes d'énergie électrique Fonctionnement physique des systèmes d'énergie électrique Centres de conduite Problèmes ouverts

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

Descriptif de module. Page Nabil Ouerhani

Descriptif de module. Page Nabil Ouerhani RS430.100.15. 1/9 La description de module définit les conditions cadres du déroulement de l enseignement des matières du module. Filière(s) Orientation Public Informatique (INF) Développement Logiciel

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

Diagrammes de Package, de déploiement et de composants UML

Diagrammes 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étail

Clusters for Application Service Providers. T. Monteil, J.M. Garcia P. Pascal, S. Richard

Clusters for Application Service Providers. T. Monteil, J.M. Garcia P. Pascal, S. Richard Clusters for Application Service Providers (www.laas.fr/casp) T. Monteil, J.M. Garcia P. Pascal, S. Richard 1 Généralités Le monde du calcul dans un environnement ASP Les ASP : Application Service Provider

Plus en détail

Résumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES

Résumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES Aristote ----- Cloud Interopérabilité Retour d'expérience L A F O R C E D E L I N N O V A T I O N Résumé Les systèmes d'information logistique (SIL) sont des outils qui amènent des gains de productivité

Plus en détail

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue!

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Vasiliki Sfyrla Une approche des systèmes embarqués Les systèmes embarqués existent depuis longtemps.

Plus en détail

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

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

Plus en détail

Internet Radio Urban Local Area Network HIPERCOM INRIA. Journée veille technologique

Internet Radio Urban Local Area Network HIPERCOM INRIA. Journée veille technologique Le projet IRULAN Internet Radio Urban Local Area Network HIPERCOM INRIA 1 Plan 1. Le projet IRULAN 2. Technologies & architectures 3. Protocole des réseaux ad hoc 4. Performances 5. Extensions Philippe.jacquet@inria.fr

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

Plus en détail

Contributions à 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 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étail

Perspectives 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. 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

ACI Sécurité ALIDECS:

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

Plus en détail

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité

Plus en détail

CONSOTEL : Leader de l édition TEM grâce aux performances des solutions Oracle

CONSOTEL : Leader de l édition TEM grâce aux performances des solutions Oracle CONSOTEL : Leader de l édition TEM grâce aux performances des solutions Oracle Interview «CONSOTEL» du 11 Octobre 2011, postée sur : http://www.itplace.tv Christian COR, Directeur Associé Brice Miramont,

Plus en détail

Spécialité robotique de service et intégration des systèmes embarqués. F. Jumel A. Guenard J. Saraydaryan. N. Abouchi G.

Spécialité robotique de service et intégration des systèmes embarqués. F. Jumel A. Guenard J. Saraydaryan. N. Abouchi G. Spécialité robotique de service et intégration des systèmes embarqués F. Jumel A. Guenard J. Saraydaryan N. Abouchi G. Pignault 1 Projet de spécialité robotique Création d une Spécialité Robotique de Service

Plus en détail

L INNOVATION AU SERVICE DE SOLUTIONS MÉTIER TECHNOLOGIES

L INNOVATION AU SERVICE DE SOLUTIONS MÉTIER TECHNOLOGIES L INNOVATION AU SERVICE DE SOLUTIONS MÉTIER TECHNOLOGIES DU VIRTUEL AU RÉEL le constat Une plate-forme logistique dispose de nombreux équipements et systèmes d informations. Ils interagissent et communiquent

Plus en détail

CEISAR Survey on IT education

CEISAR Survey on IT education CEISAR Survey on IT education Objectives In June 2007, the CEISAR conducted a survey to understand what company needs are in terms of training on Computer Science and Management of IS. Our objective was

Plus en détail

Évaluation et implémentation des langages

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

Plus en détail

Philippe MABILLEAU ing. PhD Professeur au département de génie électrique et de génie informatique Université de Sherbrooke

Philippe MABILLEAU ing. PhD Professeur au département de génie électrique et de génie informatique Université de Sherbrooke Philippe MABILLEAU ing. PhD Professeur au département de génie électrique et de génie informatique Université de Sherbrooke Survol de la domotique Réseaux domotiques Architecture et communication Limitation

Plus en détail

État des lieux, et perspectives pour le développement des logiciels embarqués sur satellite. État des lieux

État des lieux, et perspectives pour le développement des logiciels embarqués sur satellite. État des lieux État des lieux, et perspectives pour le développement des logiciels embarqués sur satellite État des lieux 1 État des lieux (1/3) Les spécifications sont textuelles avec un effort de standardisation L

Plus en détail

Systèmes d exploitation et Programmation Concurrente. L équipe «SEPC» L organisation de l année 14/09/2014

Systèmes d exploitation et Programmation Concurrente. L équipe «SEPC» L organisation de l année 14/09/2014 Systèmes d exploitation et Programmation Concurrente Yves Denneulin Yves.Denneulin@imag.fr Jacques Mossière Sebastien Viardot Le cours L équipe «SEPC» Yves Denneulin : ISI, Telecom et SLE Les TD/TP Vincent

Plus en détail

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

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

Plus en détail

PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03

PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03 PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03 Plan Contexte Problèmes CORBA PaCO++ Conclusion / perspectives Contexte : couplage de code Structural Mechanics Optics Thermal Dynamics Satellite design

Plus en détail

Systèmes d information

Systèmes d information 11 Systèmes Cette famille rassemble des métiers dont la finalité est de concevoir, développer, exploiter et entretenir des solutions (logicielles et matérielles) répondant aux besoins collectifs et individuels

Plus en détail

CURSUS MASTER EN INGENIERIE INFORMATIQUE : SYSTEMES INTELLIGENTS COMMUNICANTS

CURSUS MASTER EN INGENIERIE INFORMATIQUE : SYSTEMES INTELLIGENTS COMMUNICANTS CURSUS MASTER EN INGENIERIE INFORMATIQUE : SYSTEMES INTELLIGENTS COMMUNICANTS Domaine ministériel : Sciences, Technologies, Santé Présentation Nature de la formation : Diplôme national de l'enseignement

Plus en détail

Détecteurs de Défaillances et Qualité de Service dans un Réseau Ad-Hoc Hétérogène

Détecteurs de Défaillances et Qualité de Service dans un Réseau Ad-Hoc Hétérogène Détecteurs de Défaillances et Qualité de Service dans un Réseau Ad-Hoc Hétérogène Corine Marchand - Jean-Marc Vincent Projet Apache-INRIA Soutenu par : France Télécom R&D CRE MIRRA Laboratoire ID-IMAG

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

Projet vocal mobile. Collaboration INSA. Agenda

Projet vocal mobile. Collaboration INSA. Agenda Projet vocal mobile Collaboration INSA Agenda 2 Objectifs Vision d ensemble Cas d utilisation Diagramme de composants Exigences non fonctionnelles Livrables 1 Frequentiel en bref 3 " Domaine d activité

Plus en détail

Une application de commerce électronique en utilisant CLAIM

Une application de commerce électronique en utilisant CLAIM Rapport du projet A4MA Une application de commerce électronique en utilisant CLAIM Étudiants : DINH Quang Ninh (dinhquangninh@gmail.com) PHAM Trong-Tôn (trongtonfr@yahoo.fr) Wiki : http://dev.deptrai.org/wiki/doku.php?id=projet_a4ma:start

Plus en détail

UE 8 Systèmes d information de gestion Le programme

UE 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étail

Equipe Réseaux et Protocoles du LSIIT. RGE Nancy, jeudi 8 février 2007

Equipe Réseaux et Protocoles du LSIIT. RGE Nancy, jeudi 8 février 2007 Equipe Réseaux et Protocoles du LSIIT RGE Nancy, jeudi 8 février 2007 1 Composition de l équipe 4 enseignants-chercheurs permanents Stéphane Cateloin, Dominique Grad, Thomas Noel, Jean-Jacques Pansiot

Plus en détail

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI Modalité de contrôle des connaissances Master Informatique : spécialité IFI La deuxième année de la spécialité IFI est constituée de plusieurs parcours identifiés, chacun sous la responsabilité d un enseignant-

Plus en détail

Présentation du laboratoire Verimag Vérification et langages synchrones

Présentation du laboratoire Verimag Vérification et langages synchrones Présentation du laboratoire Verimag Vérification et langages synchrones Mathias Péron journée des doctorants de MSTII Le laboratoire Verimag domaine logiciels et systèmes temps réel critiques. tutelles

Plus en détail

INGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING

INGENIERIE 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étail

Description et regroupement de ressources pour les réseaux virtuels

Description et regroupement de ressources pour les réseaux virtuels École nationale d ingénieurs de Sfax Description et regroupement de ressources pour les réseaux virtuels Houssem Medhioub M. Mohamed Jmaiel Président M. Slim Kanoun Membre M. Maher Ben Jemaa Encadreur

Plus en détail

Parcours Conception, Modélisation et Architecture des Systèmes Informatiques Complexes mention Informatique Paris-Saclay

Parcours 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étail

Synergies entre Artisan Studio et outils PLM

Synergies 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étail

Systèmes et applications distribués Intergiciels et applications communicantes

Systèmes et applications distribués Intergiciels et applications communicantes Systèmes et applications distribués Intergiciels et applications communicantes Philippe Quéinnec Télécommunication et Réseaux 2e année ENSEEIHT 24 février 2014 Inspiré de cours de G. Padiou, Ph. Mauran

Plus en détail

Software Design Description

Software Design Description Software Design Description ABSTRACT: KEYWORDS: APPROVED: AUTHOR PROJECT MANAGER PRODUCT OWNER General information/recommendations A SDD provides a representation of a software system created to facilitate

Plus en détail

Zoom études : Informatique et télécoms Auditorium de l Institut Français du Bénin

Zoom études : Informatique et télécoms Auditorium de l Institut Français du Bénin Zoom études : Informatique et télécoms Auditorium de l Institut Français du Bénin Samedi 3 octobre 2015 1 Introduction Informatique et Télécoms Secteurs au service des autres domaines!!! Conception de

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

Pôle éolien en Picardie : Contribution du pôle universitaire de Saint-Quentin

Pôle éolien en Picardie : Contribution du pôle universitaire de Saint-Quentin Pôle éolien en Picardie : Contribution du pôle universitaire de Saint-Quentin Valéry BOURNY INSSET, 48 Rue Raspail, 02100 Saint-Quentin valery.bourny@u-picardie.fr Jeudi 21 octobre 2010, Région Picardie

Plus en détail

Projets Logiciels: Processus de développement pratiqué à TELECOM ParisTech

Projets Logiciels: Processus de développement pratiqué à TELECOM ParisTech Projets Logiciels: Processus de développement pratiqué à TELECOM ParisTech INF380-2013! Sylvie.Vignes@telecomParistech.fr Département INFRES, groupe S3 Cadre du processus 2! q Basé sur un processus incrémental:

Plus en détail

PTSI PT ÉTUDE DES SYSTEMES

PTSI PT ÉTUDE DES SYSTEMES PTSI PT ÉTUDE DES SYSTEMES Table des matières 1 - PRESENTATION GENERALE... 1 1.1 - Définition d'un système... 1 1.2 - Exemples... 1 1.3 - Cycle de vie d'un système... 1 1.4 Langage de description SysML...

Plus en détail

DESCRIPTIF DES PROJETS 3EME ANNEE QUI SERONT PRESENTES LORS DE LA JOURNEE DE PROJET DE FIN D ETUDE LE 26/01/2012

DESCRIPTIF 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étail

Conception et contrôle des SMA tolérants aux fautes

Conception 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étail

CMI INFORMATIQUE : ICONE - PARCOURS IID

CMI INFORMATIQUE : ICONE - PARCOURS IID Université de la ROCHELLE 1/3 CMI INFORMATIQUE : ICONE - PARCOURS IID L1 S1 Informatique d'usage 2 L1 S1 Unités de découverte : 3 unités à choisir parmi : biotech. L1 S1 Unités de découverte : Matériaux,

Plus en détail

Le génie Logiciel (suite)

Le génie Logiciel (suite) Le génie Logiciel (suite) Lors du cours précédent, on a étudié différents cycles de vie, dont la cascade, ou la spirale. Analyse des besoins L analyse des besoins est une étape menant à l élaboration de

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

MODESTE. Modélisation pour la sécurité : test et raffinement en vue d un processus de certification IMAG. MODESTE p.1/12

MODESTE. Modélisation pour la sécurité : test et raffinement en vue d un processus de certification IMAG. MODESTE p.1/12 MODESTE p.1/12 MODESTE Modélisation pour la sécurité : test et raffinement en vue d un processus de certification Marie-Laure Potet (LSR) Marie-Laure.Potet@imag.fr Yassine Lakhnech (Verimag) Yassine.Lakhnech@imag.fr

Plus en détail

Michel Riguidel riguidel@enst.fr. Frédéric Cuppens

Michel Riguidel riguidel@enst.fr. Frédéric Cuppens Action Spécifique n 21 : Sécurité www.infres.enst.fr/as21/ Michel Riguidel riguidel@enst.fr Frédéric Cuppens Riguidel/Cuppens. juin 02. P 1 Participants Plan Contexte scientifique Thèmes de recherche Travaux

Plus en détail