Formalizing, Implementing and Reusing Controller's Behaviors and Interactions

Robin Passama 1 David Andreu 1, 2 Christophe Dony 3 Thérèse Libourel Rouge 3
2 DEMAR - Artificial movement and gait restoration
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
3 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : This paper presents a formal component-based language used to design and to implement control architectures. This language aims at providing concepts and notations to favor reusability of software components and quality during their design. It is based on an object Petri nets notation for behaviors and interactions descriptions, but also for execution purposes.
Type de document :
Communication dans un congrès
CESA'06: IEEE-IMACS Int. Conf. on Computational Engineering in Systems Applications, Oct 2006, Beijing, China, pp.58-69, 2006
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00368171
Contributeur : Isabelle Gouat <>
Soumis le : vendredi 13 mars 2009 - 18:22:31
Dernière modification le : vendredi 12 janvier 2018 - 01:55:47

Identifiants

  • HAL Id : lirmm-00368171, version 1

Citation

Robin Passama, David Andreu, Christophe Dony, Thérèse Libourel Rouge. Formalizing, Implementing and Reusing Controller's Behaviors and Interactions. CESA'06: IEEE-IMACS Int. Conf. on Computational Engineering in Systems Applications, Oct 2006, Beijing, China, pp.58-69, 2006. 〈lirmm-00368171〉

Partager

Métriques

Consultations de la notice

114