Team oasis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2002
Project: oasis

Project : oasis

Section: Overall Objectives


Overall Objectives

Dans le cadre des applications réparties (réseaux Internet et intranets, cartes à puce et terminaux), l'objectif du projet est de proposer des principes fondamentaux, des techniques et des outils pour la construction, l'analyse, la validation, la vérification et la maintenance de systèmes fiables.

Le projet rassemble deux domaines d'expertise clairement identifiés :

A partir de ces compétences, l'objectif du projet est de créer une synergie et d'obtenir des résultats sur les thématiques suivantes :

D'autre part, l'avènement d'Internet a créé la nécessité d'étendre, de manière fondamentale, les conceptions existantes de mobilité et sécurité. Nous disposons de compétences, d'outils et de méthodes qu'il nous parait intéressant de mettre à profit dans un domaine d'application devenu majeur. Plus précisément, nous visons les domaines d'applications suivants : applications embarquées, carte à puce, commerce électronique, télécommunications, téléphonie mobile.


previous
next