Projets financés
Valorisation Ontologique des Dictionnaires ELectroniques
Projet VODEL Valorisation Ontologique des Dictionnaires ELectroniques 1) INTRODUCTION Le projet VODEL se situe dans le cadre de la recherche d?information sur Internet. Son objectif principal est l?exploitation conjointe des ontologies et des dictionnaires électroniques afin de profiter plein
Analyse statique de logiciels asynchrones de contrôle-commande
Projet THÉSÉE Analyse statique de logiciels asynchrones de contrôle-commande 1) Introduction Le projet se situe dans le contexte de la vérification de logiciel temps réel embarqué critique pour lequel la preuve d'absence d'erreurs à l'exécution, est une étape crutiale. À l'opposé des
Test de conformité de POlitiques de SEcurité de systèmes enfouis
L?objectif stratégique du projet POSÉ est de produire les outils conceptuels, méthodologiques et techniques pour la validation de conformité d?un système aux politiques de sécurité qui lui sont assignées. Les failles de sécurité des systèmes proviennent le plus souvent soit de vulnérabilités intr
Optimisation MultiDisciplinaire
OPTIMISATION MULTI-DISCIPLINAIRE INTRODUCTION Les nombreux outils industriels de simulation développés au cours de ces dernières années ont encore un impact limité sur la conception des systèmes complexes tels que les avions, les moteurs ou les fusées. Alors que les outils de modélisation de
Apprentissage Automatique de Transformations de documents semi structurés hétérogènes : Mise en correspondance de documents et conversion de documents
Projet Exploratoire ATASH Apprentissage automatique de transformations de documents semi structurés hétérogènes : Mise en correspondance de documents et conversion de documents LIFL ? MOSTRARE (Université Lille 3 - INRIA) LIP6 (Université Paris 6) XEROX (XRCE - Centre de recherche de Grenob
Open-ViBE : Un Environnement Logiciel Open-Source pour les Interfaces Cerveau-Machine
(A) Introduction: L'objectif du projet exploratoire Open-ViBE est de développer un environnement logiciel open-source proposant de nouvelles techniques pour obtenir des interfaces cerveau-machine plus efficaces (BCI ou « Brain-Computer Interfaces » : interfaces utilisant directement l'activité cér
Canevas logiciel permettant la création de bus de services d'entreprise ("Enterprise Service Bus", ESB), sur la base de la JSR208 "Java Business Integration".
1) Introduction Le projet JOnES (Java Open ESb), présenté ici, prolonge les travaux du consortium ObjectWeb dans la prise en compte des aspects Enterprise Application Integration (EAI). Ces aspects sous-tendent les systèmes d'information d'entreprises et de groupes en s?appuyant sur une approche o
Méthode de Modelisation pour la validation et la tracabilité des exigences. Cette méthode s'appuie sur la base de modélisation dans des environnements hétérogènes dans un environnement temps-réel.
Le projet MeMVaTEx exploratoire, d'une durée de 3 ans, est un projet relatif aux Méthodes de Modélisation pour la Validation et la Traçabilité des Exigences. Ce projet est une des composantes de Num@tec Automotive. L'objectif du projet est la définition d'une méthodologie, et de ses outils suppo
webContent: la plateforme de gestion de contenus pour le Web sémantique
Avec de plus en plus d'informations disponibles sur le Web, la gestion de contenus est un problème majeur auquel se trouvent confrontées les entreprises dans de nombreux secteurs d'activité. Nous proposons une plate-forme flexible et générique de gestion de contenus dont le but est d'intégrer des te
SCENARIplatform : Système de conception de Chaînes Editoriales pour les contenus Numériques Adaptables Réutilisables et Interactifs
INTRODUCTION : Le projet soumis a pour objet l'élaboration d'une plateforme logicielle permettant le développement de chaînes éditoriales pour la création, la gestion et la publication de documents hypermédia. Cette plateforme sera mise à disposition de l'ensemble de la communauté des fournisseurs
Déploiement, configuration et administration autonome de systèmes répartis
Les environnements informatiques d'aujourd'hui sont de plus en plus complexes. Ils intègrent de nombreux matériels et logiciels, très hétérogènes, tant sur le plan de leur architecture, que de leurs fonctions, ou encore des fonctions d?administration qui leur sont adjointes. Faire disparaître les ri
L'Humain Virtuel au Travail dans l'Usine du Futur
La plate-forme Perf RV 2 est l?extension de la plate-forme RNTL Perf RV, Plate-forme Française de Réalité Virtuelle, qui s?est déroulée entre 2000 et 2004. Alors que Perf RV a concentré ses efforts sur le développement d?outils pour le bureau d?étude du futur, Perf RV 2 s?intéresse à l?humain virtue
Génération automatique de Logiciels controlés
Ce projet se place dans le cadre de la priorité thématique systèmes embarqués. Mots-clés : applications embarquées logicielles ; contrôle ; temps-réel ; qualité de service ; compilation. Contexte Les systèmes embarqués pour les marchés grand public sont soumis à de fortes contraintes de coût, d
Typologies et grammaires de textes afin de rendre un TEXT plus « COOPératif » en gestion de l?information
Les outils de gestion de l'information prennent une place de plus en plus importante dans notre société. Pourtant, malgré les travaux destinés à améliorer leurs performances, ils ne parviennent toujours pas à donner pleine satisfaction aux utilisateurs. Le projet TextCoop a pour objectif d'introduir
Une plateforme open-source pour mettre l'ingénierie dirigée par les modèles au service du développement des applications temps-réel embarquées
OpenEmbeDD, plate-forme open-source d'ingénierie dirigée par les modèles pour le temps réel et l'embarqué (TR/E) Type plateForme Durée 36 mois 1-Introduction L'industrie du logiciel embarqué doit faire face à des défis économiques, techniques et stratégiques. Les méthodes actuelles sont souven
Composition de contrats pour la Fiabilité d'ARchitectures Orientées Services
Pilotage du projet : France Télécom Partenaires : - Entreprises : Alicante (PME), EDF R&D, France Télécom, - Laboratoires publics : IRISA/Triskell, I3S/(Rainbow et OCL), LIFL/GOAL Montant du projet (euros HT) : 1734590 Aide demandée (euros HT) : 1008306,15 Effort : 370 h/m Les assistants n
SYSTEME DE RECHERCHE ET DE LECTURE ENCYCLOPEDIQUE SUR LE WEB INTEGRANT UNE INTERFACE EN LANGAGE NATUREL POUR TRAITER LES QUESTIONS FACTUELLES (Qui? Quoi? Quand? Où?) et NON-FACTUELLES (Comment? Pourquoi?) EN S'APPUYANT SUR UN SYSTEME DE CATEGORISATION MUL
Le projet LireNet a pour objet de réaliser un système d?aide à la recherche de documents pertinents et de création de fiches de lectures sur le Web. Il s'agit de la recherche documentaire accessible à tous, différente de celle des grands moteurs Internet car ces derniers sont plus orientés sur le f
SIMulation pour le Procédé et l'Automatique 2
1) Introduction L'ingénierie des systèmes complexes nécessite des outils de prototypage numérique, adaptés pour : - faire la synthèse entre les métiers, - assurer le lien entre des outils spécialisés et les outils système, - assurer la continuité à tous les niveaux du processus de conception,
Environnemental Web Ontology Knowledge HUB
e-WOK_HUB (Environmental Web Ontology Knowledge Hub) INRIA (coord.), BRGM, CRITT, EADS, eCORE, ENSMP, IFP, LISI Thème 2 : 2.10, 2.11 Le projet exploratoire e-WOK_HUB est motivé par un scénario applicatif réel du BRGM et de l'IFP : gérer la mémoire de plusieurs projets sur la capture et le
Applications Parallèles pour l'Embarqué
SYNTHESE. Les deux principaux buts de ce projet sont (1) de proposer une approche réaliste de la parallélisation, adaptée aux nouvelles applications temps réel embarquées complexes, et pouvant être rapidement déployée sur les futurs systèmes embarqués, dont la plupart s'orientent vers des multiproce
Boîte d'outils industrielle pour l'évaluation sécuritaire de composants de systèmes embarqués aux plus hauts niveaux des Critères Communs 3.0
1. Introduction Domaine : systèmes embarqués Mots clés : évaluation sécuritaire, critères communs, méthodes formelles Le projet pré-compétitif EDEN2 vise à industrialiser une nouvelle méthodologie et à offrir une boîte d'outils permettant de produire différents éléments essentiels répondant aux e
Table Interactive de Collaboration
Le projet exploratoire DIGITABLE, d'une durée de 24 mois, s'intègre dans l'axe Réalité Virtuelle, Interface Homme-Machine et Simulation (Domaine 3.1 Interface homme machine, mots clés 3.4, 3.7, 3.16). Il répond aux besoins des entreprises étendues en proposant un environnement collaboratif multimoda
L?objectif du projet est d?explorer l?application de techniques de vérification de programme de type « software model checking » à la vérification automatique de règles métier
L'objectif de DECIDE ! est d'explorer l'application de techniques de vérification de programme de type « software model checking » à la vérification automatique de bases de règles métier. Il s'agit d'un projet exploratoire. Plus les systèmes de gestion de règles métier se répandent dans les applica
Analyse de programmes C critiques embarqués (C Analysis Toolbox)
1) Introduction L'objectif de ce projet est de développer une boîte à outils en logiciel libre permettant d'analyser des codes de taille industrielle écrits en C pendant les phases de : * développement, afin de garantir la réutilisabilité de composants * vérification, pour étudier la robust
Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique
1. Introduction La défaillance de systèmes logiciels embarqués peut avoir des conséquences économiques énormes. Il est donc nécessaire d'adopter des méthodes formelles d'analyse et de vérification pour de tels systèmes. Les méthodes dites de model-checking (basées sur la modélisation par aut
Simuler les espaces de la mobilité. Projet précompétitif de développement et d'intégration d'un outil dédié de simulation d'agents autonomes interactifs dans un environnement de gare.
L'exploitation des grands équipements de transport - gares, stations, aéroports - fait appel à une expertise spécifique des phénomènes de foule. Pour appréhender ces phénomènes, s'adapter aux fluctuations de l'affluence et prévenir les désastres conséquents à une mauvaise appréciation des conditions
Promovoir la simulation des contrôles non-destructifs par courants de Foucault (Eddy-Current)
1. Introduction Les avancées techniques dans la simulation numérique des méthodes de contrôle non-destructif, notamment pour les ultrasons mais également pour la radiographie ont permis à la simulation de prendre une place importante dans les domaines techniques concernés, aussi bien dans le nucl
Système de capteurs et Logiciel d'Animation permettant L'Observation du Mouvement d'un skieur freestyle
/Nom : SLALOM. /Titre : Système de capteurs et Logiciel d'Animation permettant L'Observation du Mouvement d'un skieur freestyle. /Partenaires : Artcoder, CEA/Leti, INRIA Rhône Alpes, CS Systèmes d?Information, Skis Rossignol SA. /Contexte et objectifs du projet: la capture du mouvement hum
claSsification Et Visualisation puor l'Exploration et la Navigation
1) Introduction SEVEN a pour but de faciliter l?exploration de grands volumes de données ou de résultats d?analyses complexes pour des utilisateurs non-spécialistes du traitement des données ou d?un domaine d?étude. Les données sont symboliques, il s?agit de documents textuels ou de documents au
MESURE DE PERFORMANCES ET CARACTERISTIQUES DE PLATES-FORMES EMBARQUEES JAVA- CARD
1) Introduction Le projet MESURE est un projet pré-compétitif dont l?objectif est de développer un ensemble d?outils de mesure des performances des cartes à microprocesseur (cartes à puce). Les plates-formes ouvertes aujourd?hui utilisées dans les grandes applications de la téléphonie mobile, du pa
eTourisme et Web Sémantique
Avec 75 millions de touristes étrangers par an, plus de 2 000 000 d'emplois concernés, 6,6% du PIB et 11,6 milliards d'euros de solde positif dans la balance commerciale, le tourisme est un secteur d'activité clé pour la France. L'e-tourisme, une vague de fond dématérialisant progressivement, l'inf