Validation of real-time properties of a robotic software architecture

Abstract : In this paper, we propose a mechanism allowing to evaluate the schedulability of a robotic software architecture, and then validate its real-time properties. The robotic software architecture is described through a Domain Specific Language (DSL), MAUVE, that allows to model communicating components. The evaluation of schedulability of the architecture consists in first computing the Worst-Case Execution Time (WCET) of the elementary functions of the components. Then the Worst Case Response Time (WCRT) of the component is computed from the elementary WCET and the component models, allowing to validate the schedulatiblity of the architecture. We illustrate our methodology on the evaluation of a control architecture for a ground mobile robot.
Type de document :
Communication dans un congrès
6th National Conference on Control Architectures of Robots, May 2011, Grenoble, France. 7 p., 2011
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00599689
Contributeur : Charles Lesire-Cabaniols <>
Soumis le : vendredi 10 juin 2011 - 15:56:13
Dernière modification le : mercredi 23 mai 2018 - 17:58:06
Document(s) archivé(s) le : lundi 5 décembre 2016 - 00:09:44

Fichier

Lesire-Validation.PDF
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00599689, version 1

Collections

Citation

Charles Lesire, David Doose, Hugues Cassé. Validation of real-time properties of a robotic software architecture. 6th National Conference on Control Architectures of Robots, May 2011, Grenoble, France. 7 p., 2011. 〈inria-00599689〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

179