Equipe-projet

FOCUS

Foundations of Component-based Ubiquitous Systems
Foundations of Component-based Ubiquitous Systems

L‘informatique ubiquitaire (UC) fait référence à une situation où des dispositifs 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 UC, 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 possédés et utilisés par d'autres ; de nouveaux appareils ou pièces de 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 (les éléments qui forment un système peuvent être 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 UC. 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. Focus examine les fondements sémantiques pour l'UC. Ces fondements sont pensés comme des instruments pour parvenir à formaliser et vérifier d'importantes propriétés comportementales 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.

Centre(s) inria
Sophia Antipolis - Méditerranée
En partenariat avec
Université de Bologne (Italie)

Membres

Davide Sangiorgi

Responsable de l'équipe

Christine Claux

Assistant(e) de l'équipe

Dans l'actualité

13 fév. 2020
Communication / Événement
Place de la Bourse, Bordeaux
Kaleesi via Wikimedia - CC BY SA 4.0

Forum Dataquitaine

Lieu :
Kedge Business School
Communication / Événement