Laboratoire d’Informatique de Grenoble Direction : Brigitte Plateau, Professeur INPG Catherine Garbay, DR CNRS Christian Laugier, DR INRIA Hervé Martin,

Présentation au sujet: "Laboratoire d’Informatique de Grenoble Direction : Brigitte Plateau, Professeur INPG Catherine Garbay, DR CNRS Christian Laugier, DR INRIA Hervé Martin,"— Transcription de la présentation:

1 Laboratoire d’Informatique de Grenoble Direction : Brigitte Plateau, Professeur INPG Catherine Garbay, DR CNRS Christian Laugier, DR INRIA Hervé Martin, Professeur UJF Nom.Prénom@imag.fr ST Micro Electronics 15/06/07 1

2 PLAN DE L’EXPOSÉ  Le LIG en 3 transparents  Les relations existantes avec ST Microlectronics  Les ouvertures possibles

3 UN RASSEMBLEMENT DE FORCES  24 équipes soutenues par le CNRS et les universités de Grenoble, dont 10 équipes communes avec Centre de Recherche INRIA Grenoble Rhône-Alpes  Soit 470 personnes, dont 165 académiques, 270 doctorants et post-doctorants et 65 personnes en support

4 LES COMPÉTENCES DU LIG Logiciel : fondements, modèles pour l’ingénierie Interaction : perception, action, dialogue Infrastructure informatique: Du réseau aux données Connaissances: ontologies, agents, apprentissage Des compétences équilibrées sur 4 thématiques:

5 DES PARTENAIRES INDUSTRIELS MAJEURS  BULL, HP, IBM, Sun, Xerox  Gemplus, ST Micro-Electronics  Alcatel, Airbus, Dassault, EDF, France Telecom, Schneider, Total, Toyota,  Teamlog, Cap Gemini, Mandriva, Microsoft, Thales  start-up : Blue Eye Video, Cabrilog, Icatis, ProBayes, Scalagent  Lien fort avec Minalogic

6 Les relations existantes

7 LES ACTIONS EN COURS, communes avec l’INRIA  MOAIS-MESCAL : Partitionnement, Modélisation et compilation des MPSoCs (projet Sceptre de Minalogic)  POPART : Vérification compositionnelle de Socs (projet OpenTLM de Minalogic)  VASY: Validation d’architectures multiprocesseurs multithreadées(projet Multival de Minalogic)  SARDES : Architectures reconfigurables et Asynchrones intégrées sur puces (projet Aravis de Minalogic)  PRIMA : Logiciels de détection et de suivi de visages embarqués dans les téléphones mobiles (projet Minimage de Minalogic)

8 ACTIONS EN COURS (suite)  IIHM :créer de nouvelles techniques d'interaction et les embarquer sur un téléphone équipé de la carte Nomadik de ST. (projet Minalogic NOMAD)  ADELE : Cifre-- Equipe de Gilles Fourneris  2003-2006 Environnement Céline Ingénierie collaborative. « Awareness », 2006-2008 Environnements et gestion de projet Coordonner et gérer différentes « iles » logicielles, Cohérence des environnement hétérogènes participant au même projet,

9 SEPTRE- Jean-Louis Roch  Partenaires : STMicro, CapsEntreprise, ENS Lyon, LIG/INRIA (Moais, Mescal) LIP/INRIA (Arenaire, CompSys), IRISA(Caps), TIMA, Verimag  But: faciliter l’implémentation d’algorithmes multimédia et la génération de codes optimisés sur réseaux de processeurs reconfigurables  Approche: combiner compilation/contrôle d’exécution vers les architectures multi-processeurs on-chip (re)configurables  Produit : une chaîne de compilation complète, répartition de logiciels sur MPSocs, débogage/monitoring, dimensionnement, …

10 OPEN/TLM- Alain Girault  Partenaires : STMicro, Silicomp, Keesda, CEA/LETI, LIG/INRIA (PopArt), LIP/INRIA (Compsys), TIMA, Verimag  But : Validation de SoC  Approche : combiner une phase d’abstraction des composants du Soc avec une phase de vérification compositionnelle  La défi : les SoCs (programmés en TLM, sur ensemble de SystemC) sont trop gros pour être vérifiables par les méthodes et outils actuels

11 MINIMAGE - James Crowley  Partenaires : STMicro, CEA/LETI, LIG/INRIA (Prima), LJK/INRIA(Lear)  But : détection de visages et suivi en temps réel (visio-conférence sur téléphone mobile)  Cible : téléphone mobile, PDA, Webcam, ordinateur portable  Contraintes : optimiser la consommation électrique, le taille mémoire, vitesse d’exécution

12 ARAVIS- Jean-Bernard Stéfani  Partenaires : STMicro, Thomson, FT R&D, CEA/LETI, LIG/INRIA (Sardes), GIPSA/INRIA(Necs)  But : apporter des solutions architecturales et de conception pour les SoCs aux échelles 32 et 22 nm  Approche : combiner structure à grain grossier (DSPfabrics), logique asychrone (sans horloge) et automatique continue  Défi : implémenter plusieurs dizaines d’unités de traitement identiques sur un même SoC et les reconfigurer dynamiquement en fonction des besoins de l’application

13 MULTIVAL- Hubert Garavel  Partenaires : ST Micro, Bull, CEA/LETI, LIG/INRIA (Vasy)  But : Modélisation formelle et validation fonctionnelle et évaluation de performance d’architectures matérielles (FAUST, FAME2, FIMAP)  Contraintes : fort parallélisme asynchrone entrainant l’explosion combinatoire  Défis : vérifier en maîtrisant la complexité exponentielle, valider les aspects quantitatifs

14 NOMAD- Joëlle Coutaz  Partenaires : ST Micro (coord.), CEA-LETI, LIG (IIHM), PurpleLabs, Calao Systems, Movea  But : Développement d’une plate-forme pour les interfaces homme-machine des téléphones et terminaux mobiles du futur  Approche : interaction entre les nouvelles générations de capteurs, les interfaces graphiques 3D autour d’un processeur embarqué à très haute performance sous Linux  Défis : satisfaction des requis de latence, précision, stabilité de l’interaction, invention de nouveaux interacteurs et acceptabilité

15 Quelques potentialités

16 Collaborations potentielles : Adèle en Génie Logiciel - Jacky Estublier.  Logiciel embarqué communicant Plateforme à service pour logiciel adaptatif: OSGi++. Environnements de conception et de développement.  Environnements spécialisés. Génération d’Environnements métier spécialisés. Réconcilier les outils actuels et lignes de produit  Des capteurs aux Serveurs Applications gérant/contenant un grand nombre de « petits » logiciels embarqués. Conception, développement, déploiement, administration  Vision et approche Modèle / Metamodèle

17 Project Management Product Customer Support

18 Apel Codèle Project Management Product Customer Support Mélusine

19 IDE Description IDE spécialisé Manage development of Génère CADSEg CADSE Mélusine Apel Codèle Project Management Product Customer Support

20 Collaborations potentielles. 3  Logiciel embarqué communicant Plate forme à service pour logiciel adaptatif: OSGi++. Environnements de conception et de développement.  Environnements spécialisés. Génération d’Environnements métier spécialisés. Réconcilies les IDE/outils actuels et lignes de produit  Des capteurs aux Serveurs Applications gérant/contenant un grand nombre de « petits » logiciels embarqués. Conception, développement, déploiement, administration  Vision et approche Modèle / Metamodèle

21 Validation a posteriori (test) Support pour la modélisation, Validation par construction (preuve) Modèles pour la sécurité Ingénierie des besoins Spécification Conception Codage Tests Collaborations potentielles : Vasco Validation à base de modèles - Yves Ledru

22 Collaborations potentielles : Vasco Les systèmes embarqués ont un fort besoin de validation (criticité, coût de correction,…) –Sécurité embarquée : Modélisation de la sécurité, Certification, Traçabilité, du modèle au code –Test de l’embarqué sécurisé : Conception et évaluation des tests Conception de métriques adaptées

23 Collaborations potentielles : MultiCom Usability Platform Jean Caelen Objectives –Methods and techniques for the evaluation of mobile devices and ubiquitous environments Evaluation is –Usability: ease of use –Usage: added value for the user

24 MultiCom Usability Platform Complementary methods and contexts –In a usability laboratory  usability (100m 2 versatile experiment room in the CTL building) –In the real world  usage

25 Collaborations potentielles : GETALP- Hervé Blanchon GETALP : Groupe d'Etude pour la Traduction Automatique et le Traitement Automatisé des Langues et de la Parole 4 topics –Machine Translation –Automatic Speech Recognition –Spoken and Written Ressources –Spoken dialog systems and emotions 4 challenges (transversal) –Multilinguality –Under-resourced languages –Multimodality –Evaluation

26 Speech-to-speech translation on handheld devices –Available components Automatic speech recognition Machine translation Word sense disambiguation –Challenges highly demanding task for very limited computation resources Adverse mobile environments Porting and optimizing components Collaborations potentielles : Getalp

27 Collaborations potentielles : Drakkar- Andrzej Duda Network protocols and communication applications Advances in networking –next-generation Internet (IPv6, QoS, advanced routing, mobility) –wireless networks (802.11, Bluetooth, sensor networks, ad hoc networks)

28 Main results Performance of 802.11 WLANs –identification and analysis of performance anomaly –analysis of short-term fairness –how to obtain low delays Next generation WLANs (802.11n) –Idle Sense, an optimal access method (SIGCOMM 2005) –implemented on Intel chipset, measurements Fast discovery in Bluetooth networks Dynamic label switching for ad hoc networks Energy efficient layer 2 and 3 for sensor networks

29 Current project: All-Wireless Internet New disruptive interconnection architecture based on wireless links –new protocol architecture (routing, addressing, localization) –mobility, multi-homing, multi-interface integrated from scratch –autonomic operation (auto-configuration, discovery) –advanced wireless networks (suitable MAC, cross-layer design, smart antennas, WiMax) –opportunistic communications (content distribution in close neighborhood)

30 Sensor networks Characteristics: –no infrastructure, radio communication, multihop topology, finite energy resources, low-rate data traffic Different optimization goal: –increase the life span of the network Need to revisit all protocols –MAC, routing, applications Drakkar research objectives –energy-efficient routing –new MAC layers for sensor networks –localization, geographic routing

31 Maximum lifetime routing Transform max lifetime routing into min delay routing Map residual energy to interests propagation delays Interests propagation Data propagation not needed

32 Micro Frame Preamble Preamble Sampling MAC –our proposal - microframes Avoid unwanted receptions –of the preamble –of data

33 Currently funded projects WIP - All-Wireless Internet, IST STREP project –LIP6-UPMC, LIG, Thomson, Siemens, CTTC, IT Lisbon, U. Thessaloniki AIRNET - Mobility in an All-Wireless Interconnection, RNRT project –LIG, LIP6-UPMC, Eurécom, LSIIT, INRIA/MADYNES, France Télécom R&D, Thales, Ozone ARESA - Embedded Systems and Sensor Networks, RNRT project –France Télécom R&D, CITI-ARES, LIG, TIMA, Verimag, Coronis-Systems

34 Conclusion Omni-communication –wireless opportunistic communication between all kinds of devices –wireless, mobile, embedded, sensors Find new communication applications –collaborative ad hoc spaces, proximity interaction –coupling with the physical world Methodology –explore new ideas –simulate or build prototypes –analyze, measure, get insight, validate concepts

35 LIG Une première liste de thèmes à approfondir avec les équipes concernées une ouverture affichée de collaboration