Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01200728
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

Identifiers

  • HAL Id : tel-01200728, version 1

Citation

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⟩

Share

Metrics

Record views

344

Files downloads

1922