Formalizing, Implementing and Reusing Controller's Behaviors and Interactions - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2006

Formalizing, Implementing and Reusing Controller's Behaviors and Interactions

Résumé

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.
Fichier non déposé

Dates et versions

lirmm-00368171 , version 1 (13-03-2009)

Identifiants

  • HAL Id : lirmm-00368171 , version 1

Citer

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. ⟨lirmm-00368171⟩
123 Consultations
0 Téléchargements

Partager

More