Equipe de recherche OASIS

Objets actifs, sémantique, Internet et sécurité

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 industrielles et internationales

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

Mots-clés : Programmation a objets repartie Semantique et environnements Analyses de programmes Sécurite

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social