A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems
Type | Article | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Date | 2019-10 | ||||||||||||
Language | English | ||||||||||||
Author(s) | Gobillot Nicolas1, Lesire Charles2, Doose David2 | ||||||||||||
Affiliation(s) | 1 : Ifremer, La Seyne-sur-Mer, France 2 : ONERA, Toulouse, France |
||||||||||||
Source | Journal Of Intelligent & Robotic Systems (0921-0296) (Springer Nature), 2019-10 , Vol. 96 , N. 1 , P. 123-138 | ||||||||||||
DOI | 10.1007/s10846-018-0967-5 | ||||||||||||
WOS© Times Cited | 12 | ||||||||||||
Keyword(s) | Robotics software, Real-time analysis, Modelling language | ||||||||||||
Abstract | 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) |
||||||||||||
Full Text |
|