A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems

The integration of autonomous robots in real applications is a challenge. It needs that the behaviour of these robots is proved to be safe. In this paper, we focus on the real-time software embedded on the robot, and that supports the execution of safe and autonomous behaviours. We propose a methodology that goes from the design of component-based software architectures using a Domain Specific Language, to the analysis of the real-time constraints that arise when considering the safety of software applications. This methodology is supported by a code generation toolchain that ensures that the code eventually executed on the robot is consistent with the analysis performed. This methodology is applied on a ground robot exploring an area. Categories (2), (3)

Keyword(s)

Robotics software, Real-time analysis, Modelling language

Full Text

FilePagesSizeAccess
Publisher's official version
162 Mo
Author's final draft
256 Mo
How to cite
Gobillot Nicolas, Lesire Charles, Doose David (2019). A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems. Journal Of Intelligent & Robotic Systems. 96 (1). 123-138. https://doi.org/10.1007/s10846-018-0967-5, https://archimer.ifremer.fr/doc/00473/58430/

Copy this text