Présentation de l’équipe

Dans le cadre des applications réparties (réseaux Internet et intranets, cartes à puce et terminaux), l’objectif de l’équipe-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.

OASIS est une équipe-projet commune avec le laboratoire CNRS I3S et l’Université de Nice Sophia Antipolis.

Les objectifs scientifiques sont :

• 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 (par exemple Java, Java Card) ;
• 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

• collaboration avec Eurecom.
• participation active aux GDR ALP
• participation active aux GDR ARP
• participation à l’action de recherche coopérative JavaCard
• contrat NSF-INRIA-CNRS avec USC, Los Angeles,
• en partenariat avec l’équipe de Andrew Wendelborn, University of Adelaide ;
• relations suivies avec le Brésil (Recife, Sao Luis) et le Portugal (Braga) ;
• co-responsabilité du groupe de travail "Concurrence et applications" du JavaGrande Forum
• Contrats de recherche avec SIMULOG, Sun Microsystems, BULL, TOG ;
• implication forte aux DEAs Informatique et RSDde l’UNSA ;
• implication forte aux DEAs RSD de l’UNSA.