Skip to Main content Skip to Navigation
Journal articles

Composants et composition pour les architectures de contrôle de robots

Olena Rogovchenko 1 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. Dans cet article, nous nous attaquons à l'une des difficultés de cette approche en contrôle robotique, la prise en compte des contraintes d'ordonnancement et de synchronisation lors de la composition. Nous réalisons une forme de composition par héritage entre composants définis par des architectures à subsomption. À partir de ce cas spécifique, nous déduisons une approche générale pour définir à terme différentes formes de composition (synchrone, tempsréel réparti, etc.) pour des composants exprimés avec différents formalismes (Esterel, réseaux de Petri, etc.). Notre objectif ultime est de proposer un modèle de composants 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-01175945
Contributor : Lip6 Publications <>
Submitted on : Monday, July 13, 2015 - 3:44:45 PM
Last modification on : Friday, May 24, 2019 - 5:20:25 PM

Links full text

Identifiers

Citation

Olena Rogovchenko, Jacques Malenfant. Composants et composition pour les architectures de contrôle de robots. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2008, 42 (4), pp.423-438. ⟨10.3166/jesa.42.423-438⟩. ⟨hal-01175945⟩

Share

Metrics

Record views

120