Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD

Daniel Simon 1, * Roger Pissard-Gibollet 2 Konstantin Kapellos 3 Bernard Espiau 3
* Auteur correspondant
1 ICARE - Instrumentation, control and architecture of advanced robots
CRISAM - Inria Sophia Antipolis - Méditerranée
3 BIP - Biped Robot
Inria Grenoble - Rhône-Alpes
Abstract : Robotic systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure an efficient nominal behavior of the system together with safe and graceful degradation otherwise. In a mixed synchronous/asynchronous approach, ranging from user's requirements to run-time code, ORCADD provides formalized control structures, the coordination of which is specified using the ESTEREL synchronous language and formally verified using the FC2TOOLS package. CAD tools have been designed and integrated to help the users along the steps of programming, verification and implementation processes
Type de document :
Communication dans un congrès
Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on, 1999, Hong Kong, China. pp.158-165, 1999
Liste complète des métadonnées

https://hal.inria.fr/hal-00930120
Contributeur : Soraya Arias <>
Soumis le : mercredi 15 janvier 2014 - 09:11:45
Dernière modification le : jeudi 11 janvier 2018 - 16:20:51
Document(s) archivé(s) le : mardi 15 avril 2014 - 22:05:10

Fichier

rtcsa99.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00930120, version 1

Collections

Citation

Daniel Simon, Roger Pissard-Gibollet, Konstantin Kapellos, Bernard Espiau. Synchronous composition of discretized control actions: design, verification and implementation with ORCCAD. Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on, 1999, Hong Kong, China. pp.158-165, 1999. 〈hal-00930120〉

Partager

Métriques

Consultations de la notice

178

Téléchargements de fichiers

136