Skip to Main content Skip to Navigation

Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain

Quynh Anh Do Hoang 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Robotic systems that continuously adapt to their environment and physically interact with human are increasingly used in various fields like personal assistance or factory work. They are characterised by their ability to adapt to the environment, to take decision in the light of their perception of the environment and particularly of the human. As the failure of such systems may lead to catastrophic consequences, analysis and justification of the level of confidence in these systems with regards to safety, and furthermore their certification is a real challenge. The construction of a Safety Case is one of the means that can be used to support the certification of such systems. It is aimed at describing and justifying how every hazard has been mitigated and its severity maintained as low as reasonably possible. However, for robotic systems that have to deal with many uncertainties, there is a lack of a systematic approach to support the construction of their Safety Case and the assessment of its underlying confidence. Our research aims at contributing to the development of such a systematic approach starting with a risk analysis focusing on human-robot interactions, followed by Safety Case construction from formalized models and finally an automatic assessment of the confidence in safety argumentation. As a case study, the safety of a rehabilitation robot for strolling is analysed and justified based on the approaches developed in this thesis.
Document type :
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download
Contributor : Arlette Evrard <>
Submitted on : Thursday, September 17, 2015 - 9:53:11 AM
Last modification on : Thursday, June 10, 2021 - 3:01:41 AM
Long-term archiving on: : Tuesday, December 29, 2015 - 7:41:10 AM


  • HAL Id : tel-01200728, version 1


Quynh Anh Do Hoang. Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain. Informatique [cs]. INP DE TOULOUSE, 2015. Français. ⟨tel-01200728⟩



Record views


Files downloads