  |
| |
 |
|
|
|
| |
|
|
| |
|
|
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.
Objectifs scientifiques
- création de langages et d'abstractions de programmation prouvés
corrects et facilitant la programmation d'applications distribuéees.
- construction d'un environnement fondé sur la sémantique pour le développement, l'analyse et la vérification d'applications réparties et communicantes liées à l'Internet,
- construction de bibliothèques facilitant la programmation et la maintenance d'applications multi-threadées, distribuées, sécurisées, en particulier pour les applications collaboratives et le commerce électronique.
Axes de Recherche
- spécifications, environnements et vérifications
- étude formelle des modèles, langages et programmes à objets
Notre démarche pour atteindre ces objectifs est:
- théorique: nous étudions et définissons des modèles et langages à objets (définitions sémantiques, équivalences, analyses)
- appliquée: nous partons de problèmes concrets et actuels, pour lesquels nous proposons des solutions techniques
- pragmatique: nous validons les modèles et solutions proposés par des expérimentations en vraie grandeur
Relations internationales et industrielles
- relations suivies avec le Chili (Un. de Chile, Santiago), la Chine (U. Tsinghua, Pekin);
- contrats de recherche avec France Telecom, Thales, Tagsys, etc.;
- création de la startup ActiveEon;
- implication forte aux Masteres de l'UNS.
OASIS est un projet commun avec le laboratoire CNRS I3S et l'Université de Nice Sophia Antipolis.
Responsable Scientifique : Eric Madelaine
email : Eric.Madelaine@sophia.inria.fr
Tel : 04 92 38 78 07
Fax : 04 92 38 76 44
Voir aussi la page officielle INRIA Oasis
|
|
|
|
|
|
|
