| Registro completo |
| Provedor de dados: |
ArchiMer
|
| País: |
France
|
| Título: |
A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems
|
| Autores: |
Gobillot, Nicolas
Lesire, Charles
Doose, David
|
| Data: |
2019-10
|
| Ano: |
2019
|
| Palavras-chave: |
Robotics software
Real-time analysis
Modelling language
|
| Resumo: |
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)
|
| Tipo: |
Text
|
| Idioma: |
Inglês
|
| Identificador: |
https://archimer.ifremer.fr/doc/00473/58430/65964.pdf
DOI:10.1007/s10846-018-0967-5
https://archimer.ifremer.fr/doc/00473/58430/
|
| Editor: |
Springer Nature
|
| Formato: |
application/pdf
|
| Fonte: |
Journal Of Intelligent & Robotic Systems (0921-0296) (Springer Nature), 2019-10 , Vol. 96 , N. 1 , P. 123-138
|
| Direitos: |
info:eu-repo/semantics/openAccess
restricted use
|
