Measurement-based real-time analysis of robotic software architectures - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Measurement-based real-time analysis of robotic software architectures

Résumé

Providing guarantees on the system behavior is mandatory in order to let the robots enter our everyday life. Among these guarantees, proving the fulfillment of real-time constraints on the software is a key issue, as their violation could result into unexpected and unsafe behaviors. In this paper, we present a methodology to guarantee real-time constraints on component-based software architectures of robots. This methodology relies on the MAUVE language to model the component architecture, and on a set of analysis tools that first estimate the worst case execution time of elementary functions from actual component traces, and then check the real-time constraints of each component. We illustrate this process on the architecture developed for the autonomous navigation of a partially known area by a mobile robot.
Fichier principal
Vignette du fichier
DCSD16065.1468424980.pdf (194.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01411373 , version 1 (07-12-2016)

Identifiants

  • HAL Id : hal-01411373 , version 1

Citer

Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, et al.. Measurement-based real-time analysis of robotic software architectures. IROS 2016, Oct 2016, DAEJEON, South Korea. ⟨hal-01411373⟩

Collections

ONERA TDS-MACS
99 Consultations
248 Téléchargements

Partager

Gmail Facebook X LinkedIn More