Projets financés

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

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

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

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

(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

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

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

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

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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

/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

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

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

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