<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-01276555</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-04T14:54:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Trusting robots : Contributions to dependable autonomous collaborative robotic systems</title>
            <title xml:lang="fr">Vers des robots collaboratifs autonomes sûrs de fonctionnement</title>
            <author role="aut">
              <persName>
                <forename type="first">Jérémie</forename>
                <surname>Guiochet</surname>
              </persName>
              <email type="md5">08d214ffa3810be6ab6a9181efd535f9</email>
              <email type="domain">laas.fr</email>
              <ptr type="url" target="http://homepages.laas.fr/guiochet/"/>
              <idno type="idhal" notation="string">jeremie-guiochet</idno>
              <idno type="idhal" notation="numeric">7639</idno>
              <idno type="halauthorid" notation="string">18443-7639</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1285-8974</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=yxa9u84AAAAJ&amp;hl=fr&amp;oi=ao</idno>
              <idno type="IDREF">https://www.idref.fr/074324012</idno>
              <orgName ref="#struct-389097"/>
              <affiliation ref="#struct-389097"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jérémie</forename>
                <surname>Guiochet</surname>
              </persName>
              <email type="md5">08d214ffa3810be6ab6a9181efd535f9</email>
              <email type="domain">laas.fr</email>
            </editor>
            <funder ref="#projanr-30843"/>
            <funder ref="#projanr-34411"/>
            <funder ref="#projeurop-78822"/>
            <funder ref="#projeurop-88108"/>
            <funder ref="#projeurop-170250"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-02-19 15:46:33</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2016-02-23 10:41:35</date>
              <date type="whenProduced">2015-12-08</date>
              <date type="whenEndEmbargoed">2016-02-19</date>
              <ref type="file" target="https://hal.science/tel-01276555v1/document">
                <date notBefore="2016-02-19"/>
              </ref>
              <ref type="file" n="1" target="https://hal.science/tel-01276555v1/file/mainHDRguiochet.pdf" id="file-1276555-1356356">
                <date notBefore="2016-02-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="179852">
                <persName>
                  <forename>Jérémie</forename>
                  <surname>Guiochet</surname>
                </persName>
                <email type="md5">08d214ffa3810be6ab6a9181efd535f9</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-01276555</idno>
            <idno type="halUri">https://hal.science/tel-01276555</idno>
            <idno type="halBibtex">guiochet:tel-01276555</idno>
            <idno type="halRefHtml">Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015</idno>
            <idno type="halRef">Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1276555-1356356"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="LAAS-TEL" corresp="LAAS">Thèses du Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="LAAS-TSF" corresp="LAAS-RISC">Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="LAAS-INFORMATIQUE-CRITIQUE" corresp="LAAS">LAAS-Informatique Critique</idno>
            <idno type="stamp" n="TEL-INSATOULOUSE" corresp="INSA-TOULOUSE">Thèses et HDR de l'INSA Toulouse</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="GDR_MACS">Groupement de Recherche en Modélisation, Analyse et Conduite des Systèmes dynamiques</idno>
            <idno type="stamp" n="LAAS-RISC" corresp="LAAS">Réseaux, Informatique, Systèmes de Confiance</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="TEST7-HALCNRS">test 7 du portail hal cnrs</idno>
            <idno type="stamp" n="LAAS-TRUST" corresp="LAAS-RISC">Trustworthy systems: foundations and practices</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Trusting robots : Contributions to dependable autonomous collaborative robotic systems</title>
                <title xml:lang="fr">Vers des robots collaboratifs autonomes sûrs de fonctionnement</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jérémie</forename>
                    <surname>Guiochet</surname>
                  </persName>
                  <email type="md5">08d214ffa3810be6ab6a9181efd535f9</email>
                  <email type="domain">laas.fr</email>
                  <ptr type="url" target="http://homepages.laas.fr/guiochet/"/>
                  <idno type="idhal" notation="string">jeremie-guiochet</idno>
                  <idno type="idhal" notation="numeric">7639</idno>
                  <idno type="halauthorid" notation="string">18443-7639</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1285-8974</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=yxa9u84AAAAJ&amp;hl=fr&amp;oi=ao</idno>
                  <idno type="IDREF">https://www.idref.fr/074324012</idno>
                  <orgName ref="#struct-389097"/>
                  <affiliation ref="#struct-389097"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">Rapport LAAS n° 15670</idno>
                <imprint>
                  <date type="dateDefended">2015-12-08</date>
                </imprint>
                <authority type="institution">Université de Toulouse 3 Paul Sabatier</authority>
                <authority type="supervisor">Marie-Pierre Gleizes</authority>
                <authority type="jury">Jacques MALENFANT</authority>
                <authority type="jury">Walter SCHON</authority>
                <authority type="jury">Jean-Marc THIRIET</authority>
                <authority type="jury">Charles PECHEUR</authority>
                <authority type="jury">David POWELL</authority>
                <authority type="jury">Mohamed KAÂNICHE</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">safety case</term>
                <term xml:lang="en">risk analysis</term>
                <term xml:lang="en">fault tolerance</term>
                <term xml:lang="en">Dependability</term>
                <term xml:lang="en">confidence assessment</term>
                <term xml:lang="en">safety critical autonomous systems</term>
                <term xml:lang="en">robot safety</term>
                <term xml:lang="fr">analyse du risque</term>
                <term xml:lang="fr">systèmes autonomes critiques</term>
                <term xml:lang="fr">sécurité des robots</term>
                <term xml:lang="fr">Sûreté de fonctionnement</term>
                <term xml:lang="fr">tolérance aux fautes</term>
                <term xml:lang="fr">évaluation de la sécurité.</term>
                <term xml:lang="fr">argumentaire de sécurité</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</classCode>
              <classCode scheme="halTypology" n="HDR">Habilitation à diriger des recherches</classCode>
              <classCode scheme="halOldTypology" n="HDR">Habilitation à diriger des recherches</classCode>
              <classCode scheme="halTreeTypology" n="HDR">Habilitation à diriger des recherches</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This manuscript of HDR (Habilitation à Diriger des Recherches, french accreditation to supervise research) presents research work of Jérémie Guiochet carried out at LAAS-CNRS in the Dependable computing and Fault Tolerance (TSF) team. His research work is mainly related to the dependability of collaborative autonomous robotic systems. Specific challenges raised by these systems, including human-system physical interactions and the presence of uncertainties in the perception and decision mechanisms, induce the need to revisit dependability and risk analysis methods. The main contributions address the following topics: safety assessment of collaborative robotic systems (hazard Identi- fication with UML-HAZOP and quantitative assessment of confidence in safety cases), and fault tolerance mechanisms for autonomous robotic systems (redundant planning and synthesis of on-line verifiable safety rules). This manuscript also opens perspectives in the fields of testing of autonomous robots in virtual worlds, uncertainty management for the certification of autonomous robots in human environments, and safety monitoring at different levels in an autonomous software architecture.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Ce manuscript d'Habilitation à Diriger des Recherches (HDR) présente les travaux menés par Jérémie Guiochet au LAAS-CNRS au sein de l’équipe Tolérance aux Fautes et Sûreté de fonctionnement informatique (TSF). Ces travaux se sont principalement articulés autour de la problématique de la sûreté de fonctionnement des systèmes robotique collaboratifs autonomes. Les spécificités de ces systèmes, notamment les interactions physiques humain-robot et la présence d’incertitudes liées aux mécanismes de perception ou de décision, font que les méthodes de sûreté de fonctionnement ou d’analyse du risque utilisées pour les systèmes critiques doivent être reconsidérées. Les principales contributions se concentrent sur deux axes : les méthodes d'analyse de la sécurité-innocuité pour des systèmes robotique collaboratifs (Identification des dangers avec HAZOP-UML et évaluation quantitative de la confiance dans un argumentaire de sécurité de type \emph{safety case}), et les mécanismes de tolérance aux fautes pour des systèmes robotique autonomes (planification redondante et synthèse de règles de sécurité vérifiables en ligne). Ces travaux ouvrent également des perspectives concernant le test des systèmes autonomes dans des mondes virtuels, la gestion des incertitudes pour la certification des robots autonomes en milieu humain, et la surveillance en ligne des différents niveaux d’une architecture logicielle de robot autonome.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-389097" status="OLD">
          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique</orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <date type="end">2024-08-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>
            <relation active="#struct-459" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-459" status="OLD">
          <idno type="IdRef">199278792</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="RNSR">199517454Y</idno>
          <idno type="ROR">https://ror.org/03vcm6439</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes</orgName>
          <orgName type="acronym">LAAS</orgName>
          <date type="start">1968-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UPR8001" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116255" status="VALID">
          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <idno type="ROR">https://ror.org/01h8pf755</idno>
          <idno type="Wikidata">Q858979</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <date type="start">1963-10-21</date>
          <desc>
            <address>
              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-30843" status="VALID">
          <idno type="anr">ANR-08-TECS-0009</idno>
          <idno type="program">Technologies pour la santé et l’autonomie (y.c. Emergence)</idno>
          <orgName>MIRAS</orgName>
          <desc>Robot avec interaction multimodale pour l'assistance à la déambulation</desc>
          <date type="start">2008</date>
        </org>
        <org type="anrProject" xml:id="projanr-34411" status="VALID">
          <idno type="anr">ANR-11-INSE-0009</idno>
          <idno type="program">Ingénierie Numérique et Sécurité</idno>
          <orgName>AMORES</orgName>
          <desc>Architecture pour les systèmes résilients MObiles et ubiquitaiRES</desc>
          <date type="start">2011</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-78822" status="OLD">
          <idno type="number">34345</idno>
          <orgName>PHRIENDS</orgName>
          <desc>Physical human-robot interaction: dependability and safety</desc>
        </org>
        <org type="europeanProject" xml:id="projeurop-88108" status="VALID">
          <idno type="number">287513</idno>
          <idno type="program">FP7-ICT-2011-7</idno>
          <idno type="call">FP7-ICT-2011-7</idno>
          <orgName>SAPHARI</orgName>
          <desc>Safe and Autonomous Physical Human-Aware Robot Interaction</desc>
          <date type="start">2011-01-11</date>
          <date type="end">2015-10-31</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-170250" status="VALID">
          <idno type="number">644400</idno>
          <idno type="program">H2020-ICT-2014</idno>
          <idno type="call">H2020-ICT-2014-1</idno>
          <orgName>CPSELabs</orgName>
          <desc>CPS Engineering Labs - expediting and accelerating the realization of cyber-physical systems</desc>
          <date type="start">2015-02-01</date>
          <date type="end">2018-04-30</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>