Les systèmes de la robotique de service, tels que les robots médicaux, permettent<br />de réaliser des tâches complexes en milieu humain, et s'intègrent à ce titre dans les systèmes à<br />sécurité critique. Lors de la conception de ces nouvelles applications, la sécurité est souvent<br />traitée grâce à des techniques de sûreté de fonctionnement. Nous proposons cependant une<br />nouvelle approche plus globale, basée sur la notion de risque. L'objectif de cette thèse est<br />de proposer une démarche aux concepteurs pour appréhender la sécurité de tels systèmes, en<br />intégrant le concept de risque et en se plaçant à un niveau système. La maîtrise de la sécurité<br />dépend alors de l'activité de gestion du risque dont le coeur est l'analyse du risque. Cette<br />activité centrale se décompose en trois étapes : la description du système et de son utilisation,<br />l'identification des dangers, et l'estimation des risques de dommages induits par l'utilisation<br />du système. Nous proposons d'utiliser la notation UML (Unified Modeling Language) pour la<br />description du système. Les modèles UML sont alors couplés avec des activités du domaine<br />des facteurs humains, incluses dans l'analyse du risque proposée. Puis, pour les deux étapes<br />suivantes, les interactions entre cette notation et des techniques d'analyse du risque comme<br />l'AMDEC (Analyse des Modes de Défaillance, et de leurs Effets Critiques) et les arbres de<br />fautes sont étudiées. Cette démarche est ensuite appliquée sur le cas concret du développement<br />d'un robot télé-échographe actionné par des muscles artificiels de McKibben.

Les systèmes de la robotique de service, tels que les robots médicaux, permettent de réaliser des tâches complexes en milieu humain, et s'intègrent à ce titre dans les systèmes à sécurité critique. Lors de la conception de ces nouvelles applications, la sécurité est souvent traitée grâce à des techniques de sûreté de fonctionnement. Nous proposons cependant une nouvelle approche plus globale, basée sur la notion de risque. L'objectif de cette thèse est de proposer une démarche aux concepteurs pour appréhender la sécurité de tels systèmes, en intégrant le concept de risque et en se plaçant à un niveau système. La maîtrise de la sécurité dépend alors de l'activité de gestion du risque dont le coeur est l'analyse du risque. Cette activité centrale se décompose en trois étapes : la description du système et de son utilisation, l'identification des dangers, et l'estimation des risques de dommages induits par l'utilisation du système. Nous proposons d'utiliser la notation UML (Unified Modeling Language) pour la description du système. Les modèles UML sont alors couplés avec des activités du domaine des facteurs humains, incluses dans l'analyse du risque proposée. Puis, pour les deux étapes suivantes, les interactions entre cette notation et des techniques d'analyse du risque comme l'AMDEC (Analyse des Modes de Défaillance, et de leurs Effets Critiques) et les arbres de fautes sont étudiées. Cette démarche est ensuite appliquée sur le cas concret du développement d'un robot télé-échographe actionné par des muscles artificiels de McKibben.

Les systèmes s’adaptant à leur environnement et en interaction physique avec l’homme se développent de plus en plus dans des domaines comme le médical, l’assistance aux personnes ou le travail en usine. Ils diffèrent des systèmes classiques par leur capacité à s’adapter à l’environnement et à prendre des décisions en tenant compte de leur perception de l’environnement et notamment de l’homme. La défaillance de tels systèmes pouvant avoir des conséquences catastrophiques sur l’homme, l’analyse et la démonstration du niveau de confiance que l’ont peut leur accorder vis-à-vis de la sécurité-innocuité, et a fortiori leur certification, constituent aujourd’hui un vrai défi. La construction d’argumentaire de sécurité (ou dossier de sécurité, ou safety case), est un des moyens permettant de préparer la certification de tels systèmes. Il s’agit principalement de justifier pour chaque danger comment il a été traité et ramené à un niveau acceptable. Malheureusement, dans le cas des systèmes robotiques, de nombreuses incertitudes subsistent, et il n’existe pas à l’heure actuelle de méthode systématique permettant la construction de tels dossiers de sécurité et la démonstration du niveau de confiance sous-jacent. L’objectif des travaux est de contribuer à la définition d’une telle méthode en partant d’une technique d’analyse du risque dédiée à l’analyse des interactions humain-robot, puis en s’appuyant sur des modèles formalisés de construire l’argumentaire de sécurité et d’évaluer automatiquement le niveau de confiance dans cet argumentaire. / 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.