Skip to Main content Skip to Navigation
Journal articles

Interfaces riches pour des architectures de contrôle de robots compositionnelles

Olena Rogovchenko Jacques Malenfant 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : Programmer par assemblage de composants est un objectif aussi attractif dans le domaine du contrôle des robots que dans tous les autres domaines du développement logiciel, mais pose des défis spécifiques à ce domaine comme la prise en compte des contraintes d’ordonnancement, de synchronisation et d’accès aux ressources contraintes temporellement lors de la composition. Dans cet article, nous définissons un modèle de composants adapté aux architectures de contrôle de robots, de manière à aborder la question cruciale de la composition en réalisant une composition concurrente, exemplaire de différentes formes de composition (synchrone, temps-réel réparti, etc.) pour des composants dont le comportement est exprimé avec différents formalismes (Esterel, architectures à subsomption, etc.). Notre objectif ultime est de proposer un modèle de composants complètement implanté, depuis la conception jusqu’au déploiement, permettant de produire des assemblages respectant par construction les contraintes globales (temporelles, ressources, etc.) à partir de composants de base eux-mêmes garantis.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01176407
Contributor : Lip6 Publications <>
Submitted on : Wednesday, July 15, 2015 - 1:23:41 PM
Last modification on : Monday, November 30, 2020 - 4:44:08 PM

Links full text

Identifiers

Citation

Olena Rogovchenko, Jacques Malenfant. Interfaces riches pour des architectures de contrôle de robots compositionnelles. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, 30 (6), pp.711-739. ⟨10.3166/tsi.30.711-739⟩. ⟨hal-01176407⟩

Share

Metrics

Record views

176