<?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 hal-03348046</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-04T10:55:35+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Explaining Safety Violations in Real-Time Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Mari</surname>
              </persName>
              <idno type="halauthorid">1543702-0</idno>
              <affiliation ref="#struct-1043329"/>
              <affiliation ref="#struct-209151"/>
              <affiliation ref="#struct-1043148"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thao</forename>
                <surname>Dang</surname>
              </persName>
              <email type="md5">2c2d010420bba0cd0180092be1809e63</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">thao-dang</idno>
              <idno type="idhal" notation="numeric">180504</idno>
              <idno type="halauthorid" notation="string">4664-180504</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3637-1415</idno>
              <idno type="IDREF">https://www.idref.fr/121779823</idno>
              <orgName ref="#struct-194"/>
              <affiliation ref="#struct-441569"/>
              <affiliation ref="#struct-1042703"/>
              <affiliation ref="#struct-1043148"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gregor</forename>
                <surname>Gössler</surname>
              </persName>
              <email type="md5">109a1f239a2d37fe03a63a82decb7fe6</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">goessler</idno>
              <idno type="idhal" notation="numeric">5331</idno>
              <idno type="halauthorid" notation="string">15508-5331</idno>
              <idno type="IDREF">https://www.idref.fr/179367110</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-209151"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gregor</forename>
                <surname>Gössler</surname>
              </persName>
              <email type="md5">109a1f239a2d37fe03a63a82decb7fe6</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder ref="#projanr-48445"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-09-17 16:47:18</date>
              <date type="whenModified">2025-09-27 19:24:24</date>
              <date type="whenReleased">2021-09-17 17:03:18</date>
              <date type="whenProduced">2021-09</date>
              <date type="whenEndEmbargoed">2021-09-17</date>
              <ref type="file" target="https://inria.hal.science/hal-03348046v1/document">
                <date notBefore="2021-09-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03348046v1/file/RR-9420.pdf" id="file-3348046-2936259">
                <date notBefore="2021-09-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="113130">
                <persName>
                  <forename>Gregor</forename>
                  <surname>Gössler</surname>
                </persName>
                <email type="md5">109a1f239a2d37fe03a63a82decb7fe6</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03348046</idno>
            <idno type="halUri">https://inria.hal.science/hal-03348046</idno>
            <idno type="halBibtex">mari:hal-03348046</idno>
            <idno type="halRefHtml">[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021</idno>
            <idno type="halRef">[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3348046-2936259"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="VERIMAG">VERIMAG</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="LIG-MFML-SPADES" corresp="LIG_MFML">Sound Programming of Adaptive Dependable Embedded Systems</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="report" n="6">Research Report</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Explaining Safety Violations in Real-Time Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Mari</surname>
                  </persName>
                  <idno type="halauthorid">1543702-0</idno>
                  <affiliation ref="#struct-1043329"/>
                  <affiliation ref="#struct-209151"/>
                  <affiliation ref="#struct-1043148"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thao</forename>
                    <surname>Dang</surname>
                  </persName>
                  <email type="md5">2c2d010420bba0cd0180092be1809e63</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">thao-dang</idno>
                  <idno type="idhal" notation="numeric">180504</idno>
                  <idno type="halauthorid" notation="string">4664-180504</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3637-1415</idno>
                  <idno type="IDREF">https://www.idref.fr/121779823</idno>
                  <orgName ref="#struct-194"/>
                  <affiliation ref="#struct-441569"/>
                  <affiliation ref="#struct-1042703"/>
                  <affiliation ref="#struct-1043148"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gregor</forename>
                    <surname>Gössler</surname>
                  </persName>
                  <email type="md5">109a1f239a2d37fe03a63a82decb7fe6</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">goessler</idno>
                  <idno type="idhal" notation="numeric">5331</idno>
                  <idno type="halauthorid" notation="string">15508-5331</idno>
                  <idno type="IDREF">https://www.idref.fr/179367110</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-209151"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-9420</idno>
                <meeting>
                  <title>Proceedings 19th FORMATS 2021</title>
                  <date type="start">2021-08-24</date>
                  <date type="end">2021-08-26</date>
                  <settlement>Paris</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Proceedings 19th FORMATS 2021</biblScope>
                  <date type="datePub">2021-09</date>
                </imprint>
                <authority type="institution">Inria - Research Centre Grenoble – Rhône-Alpes</authority>
                <authority type="institution">Verimag, Université Grenoble Alpes</authority>
              </monogr>
              <relatedItem target="https://inria.hal.science/hal-03348010v1" type="IsVersionOf" subtype="http://purl.org/coar/resource_type/c_c94f"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">safety</term>
                <term xml:lang="en">real-time</term>
                <term xml:lang="en">causal explanations</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We tackle the problem of explaining faults in real-time systems. Intuitively, an explanation of the violation of a safety property by an execution is a concise excerpt of the faulty execution that retains only the elements that were relevant for entailing the violation, thus exhibiting how causes accumulate over time and propagate to entail the effect. Fault explanation therefore goes beyond the well-known concepts of fault diagnosis and localization.We provide a formal definition of causal explanations on dense-time models, based on the wellstudied formalisms of timed automata and zone-based abstractions. Our approach is able to account for limited observability of the faulty execution. We propose a symbolic formalizationto effectively construct such explanations, which we have implemented in a prototype tool. We illustrate our approach on several examples.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-209151" status="OLD">
          <idno type="RNSR">201321224T</idno>
          <orgName>Sound Programming of Adaptive Dependable Embedded Systems</orgName>
          <orgName type="acronym">SPADES</orgName>
          <date type="start">2002-06-01</date>
          <date type="end">2006-10-09</date>
          <desc>
            <address>
              <addrLine>Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/spades</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-24471" type="direct"/>
            <relation active="#struct-3886" type="indirect"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-300275" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1043148" status="VALID">
          <idno type="IdRef">184945623</idno>
          <idno type="ISNI">0000 0004 0382 7652</idno>
          <idno type="RNSR">199511789R</idno>
          <idno type="ROR">https://ror.org/05afmzm11</idno>
          <orgName>VERIMAG</orgName>
          <orgName type="acronym">VERIMAG - IMAG</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>VerimagBâtiment IMAGUniversité Grenoble Alpes700, avenue centrale38401 Saint Martin d’Hères</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-verimag.imag.fr/?lang=fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5104" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" 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="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-24471" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035 </idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-48445" status="VALID">
          <idno type="anr">ANR-18-CE25-0007</idno>
          <idno type="program">APPEL À PROJETS GÉNÉRIQUE 2018</idno>
          <orgName>DCore</orgName>
          <desc>Debogage causal pour systèmes concurrents</desc>
          <date type="start">2018</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>