Détail d'une fiche   Version PDF

OASIS (SR0159DR)

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

OASIS →  SCALE (SR0621RR)


Statut: Terminée

Responsable : Eric Madelaine (Par intérim)

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Réseaux, systèmes et services, calcul distribué
Thème : Programmation distribuée et génie logiciel

Période : 01/02/2000 -> 31/12/2013
Dates d'évaluation : 09/10/2012

Etablissement(s) de rattachement : U. NICE SOPHIA ANTIPOLIS (UNS), CNRS
Laboratoire(s) partenaire(s) : I3S (UMR7271)

CRI : Centre Inria d'Université Côte d'Azur
Localisation : Centre Inria d'Université Côte d'Azur
Code structure Inria : 041026-0

Numéro RNSR : 200018391V
N° de structure Inria: SR0159DR

Présentation

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.