Difference: WebHomeFrench (1 vs. 5)

Revision 516 Jun 2010 - Main.DavideSangiorgi

Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Line: 43 to 43
 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.
Added:
>
>

Page web Focus à l'INRIA

Voir ici.

 
META FILEATTACHMENT attachment="Britain.png" attr="h" comment="" date="1272356479" name="Britain.png" path="Britain.png" size="5595" stream="Britain.png" user="Main.UgoDallago" version="1"
META FILEATTACHMENT attachment="France.png" attr="h" comment="" date="1272356490" name="France.png" path="France.png" size="4849" stream="France.png" user="Main.UgoDallago" version="1"

Revision 407 May 2010 - Main.DavideSangiorgi

Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Line: 17 to 17
 

Présentation de l’équipe de recherche

Changed:
<
<
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
>
>
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.
Changed:
<
<
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 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).
 
Changed:
<
<
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.
>
>
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

Changed:
<
<
En UC, 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 UC de théories qui permettent de comprendre les systèmes, de les concevoir ou de les programmer, et de les analyser.
>
>
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.
 
Changed:
<
<
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.
>
>
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.
 
Changed:
<
<
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 emploierons 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.
>
>
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.
 

Revision 330 Apr 2010 - Main.DavideSangiorgi

Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<

Focus Research Team

>
>

Equipe Projet Focus

 
Line: 12 to 12
 
Added:
>
>
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 (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.

Approche et objectifs de la recherche

En UC, 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 UC 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’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.

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

 
META FILEATTACHMENT attachment="Britain.png" attr="h" comment="" date="1272356479" name="Britain.png" path="Britain.png" size="5595" stream="Britain.png" user="Main.UgoDallago" version="1"
META FILEATTACHMENT attachment="France.png" attr="h" comment="" date="1272356490" name="France.png" path="France.png" size="4849" stream="France.png" user="Main.UgoDallago" version="1"

Revision 228 Apr 2010 - Main.UgoDallago

Line: 1 to 1
 
META TOPICPARENT name="WebHome"
Changed:
<
<

-- UgoDallago - 27 Apr 2010

>
>

Focus Research Team

 
META FILEATTACHMENT attachment="Britain.png" attr="h" comment="" date="1272356479" name="Britain.png" path="Britain.png" size="5595" stream="Britain.png" user="Main.UgoDallago" version="1"
META FILEATTACHMENT attachment="France.png" attr="h" comment="" date="1272356490" name="France.png" path="France.png" size="4849" stream="France.png" user="Main.UgoDallago" version="1"

Revision 127 Apr 2010 - Main.UgoDallago

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

-- UgoDallago - 27 Apr 2010

META FILEATTACHMENT attachment="Britain.png" attr="h" comment="" date="1272356479" name="Britain.png" path="Britain.png" size="5595" stream="Britain.png" user="Main.UgoDallago" version="1"
META FILEATTACHMENT attachment="France.png" attr="h" comment="" date="1272356490" name="France.png" path="France.png" size="4849" stream="France.png" user="Main.UgoDallago" version="1"
 
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.