Abstractions for time and resource conscious composition in the context of distributed autonomous robotic systems

par Olena Rogovchenko

Thèse de doctorat en Informatique

Sous la direction de Jacques Malenfant.

Soutenue en 2010

à Paris 6 .

  • Titre traduit

    Abstraction et composition pour la programmation des systèmes embarqués répartis pour la robotique autonome


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Le domaine de la conception et de l'implantation de robots autonomesest aujourd'hui en pleine révolution. Forte croissance de la demande,large spectre d'applications, et l'explosion de la puissance de calculembarquée s'accompagnent d'une forte complexification de laprogrammation de leurs architectures de contrôle. Dans ce contexte,une approche à base de composants doit permettre de construire plusrapidement des architectures de contrôle complexes présentant desgaranties de bon fonctionnement. Dans ce domaine, cet objectif seheurte à de nombreuses difficultés. Les modèles à composantscourants, qui capturent pour l'essentiel un comportement fonctionneln'explicitant que les interactions de type appel/résultat, ne peuventrendre compte de l'ensemble des besoins pour construire unearchitecture de contrôle. Trop de caractéristiques vitales, liées auxpropriétés temporelles des tâches et à l'utilisation des ressourcesphysiques, demeurent implicites dans ces modèles. Le but de cette thèse est de développer un modèle formel d'interfaces riches permettant de représenter de manière systématique toutes les contraintes du système des contraintes fonctionnelles du composant aux contraintes physiques sur les ressources. Ces interfaces riches sont ensuite utilisées pour construire des assemblages de composants à travers un ensemble d'opérateurs de composition.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (116 p.)
  • Annexes : Bibliogr. p. 111-116

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2010 659
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.