Validation of real-time properties of a robotic software architecture - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
Lesire-Validation.PDF (343.98 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00599689 , version 1 (10-06-2011)

Identifiers

  • HAL Id : inria-00599689 , version 1

Cite

Charles Lesire, David Doose, Hugues Cassé. Validation of real-time properties of a robotic software architecture. 6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 7 p. ⟨inria-00599689⟩
258 View
172 Download

Share

Gmail Facebook X LinkedIn More