 |
| |
 |
|
|
|
| |
|
|
| |
|
|
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
- 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 et ARP;
- participation à l'action de recherche coopérative JavaCard ;
- en partenariat avec l'équipe de Andrew Wendelborn, University of Adelaide;
- relations suivies avec le Brésil (Recife, Sao Luis), le Portugal (Braga), le Chili (Un. de Chile, Santiago);
- co-responsabilité du groupe de travail "Concurrence et applications" du JavaGrande Forum;
- Contrats de recherche avec SIMULOG, Sun Microsystems, BULL, TOG;
- implication forte aux Masteres Informatique et RSD de l'UNSA.
OASIS est un projet commun avec le laboratoire CNRS I3S et l'Université de Nice Sophia Antipolis.
Responsable Scientifique : Denis Caromel
email : Denis.Caromel@sophia.inria.fr
email : Eric.Madelaine@sophia.inria.fr
Tel : 04 92 38 76 31
Fax : 04 92 38 76 44
|
|
|
|
|
|
|