r5 - 16 Jun 2010 - 08:04:49 - DavideSangiorgiYou are here: TWiki >  Main Web > WebHomeFrench

Equipe Projet Focus

Focus (FOundations of Component-based Ubiquitous Systems) est le fruit d’une collaboration entre l’Inria et l’Université de Bologne, avec la participation externe de la Fondation Bruno Kessler (Trento, Italie) et de l’ENS Lyon (France).

Présentation de l’équipe de recherche

L‘informatique ubiquitaire (IU) fait référence à une situation où des systèmes  informatiques sont distribués ou intégrés dans des activités et des objets du quotidien. Les réseaux sont à grande échelle, comprenant à la fois des composants matériels et des composants logiciels.

En IU, les systèmes sont extrêmement mobiles et dynamiques : les programmes ou le matériel peuvent se déplacer et souvent fonctionner dans des réseaux contrôlés et utilisés par d’autres ; de nouveaux appareils ou composants logiciels peuvent être ajoutés, l’environnement du système ou les besoins logiciels peuvent changer. Les systèmes sont aussi hétérogènes (un système peut être constitué d'éléments assez différents les uns des autres) et ouverts (les composants d’un système peuvent n’avoir qu’une connaissance partielle de l’ensemble du système, et peuvent ne connaître qu’un sous-ensemble des entités qui fonctionnent dans le système).

En informatique, un phénomène important récent est l’émergence de l’interaction et de la communication comme concepts clés en matière de programmation et d’architecture de système. Ceci est particulièrement évident en IU. Des systèmes distribués complexes sont pensés et conçus comme une composition structurée d’unités de calcul, généralement appelées composants. Ces composants sont supposés interagir entre eux et ces interactions sont censées être orchestrées en conversations et dialogues.

Approche et objectifs de la recherche

En IU, les systèmes sont complexes. En conséquence, comme pour les systèmes complexes dans d’autres disciplines, telles que la physique, l'économie ou la biologie, on a besoin en IU de théories qui permettent de comprendre les systèmes, de les concevoir ou de les programmer, et de les analyser.

Focus examine les fondements sémantiques pour l’IU. Ces fondements sont pensés comme des instruments pour parvenir à formaliser et vérifier des propriétés comportementales importantes des systèmes, ainsi que pour proposer des constructions linguistiques pour ces derniers. Des prototypes sont développés pour tester l’implémentation et l’utilisation des modèles et des techniques.

Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul. Ces modèles, avec leurs caractéristiques algébriques, permettent d’aborder la compositionalité --- une propriété centrale dans notre approche des problèmes. En conséquence, les techniques que nous employons seront principalement des techniques opérationnelles, basées sur les notions d’équivalence comportementale, et des techniques basées sur l’algèbre, la logique mathématique et la théorie des types.

Collaborations et projets de recherche

Nous avons coopéré, ou sommes en train de coopérer, avec diverses équipes Inria, notamment Indes, Sardes et Moscova, ainsi qu'avec l’ENS Lyon et les universités de Paris VII, Cambridge, Copenhagen, Munich, Lisbonne, Sendai, et d’autres encore.

Nous participons aux projets EU Sensoria (Software Engineering for Service-Oriented Overlay Computers) et Hats (Highly Adaptable and Trustworthy Software using Formal Models), ainsi qu’à quelques projets nationaux de plus petite taille.

Page web Focus à l'INRIA

Voir ici.

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r5 < r4 < r3 < r2 < r1 | More topic actions
 
Powered by TWiki
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services.
By continuing to navigate the website you consent to the use of cookies. To learn more, or deny your consent, consult the privacy policy
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.