<?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-01259493</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-18T19:52:07+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults</title>
            <author role="aut">
              <persName>
                <forename type="first">Damien</forename>
                <surname>Hardy</surname>
              </persName>
              <email type="md5">aec53937708459a1069935f0a97606cc</email>
              <email type="domain">univ-rennes1.fr</email>
              <idno type="idhal" notation="string">damien-hardy</idno>
              <idno type="idhal" notation="numeric">6371</idno>
              <idno type="halauthorid" notation="string">13541-6371</idno>
              <idno type="IDREF">https://www.idref.fr/149302916</idno>
              <idno type="ORCID">https://orcid.org/0009-0007-5558-3556</idno>
              <affiliation ref="#struct-460935"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Isabelle</forename>
                <surname>Puaut</surname>
              </persName>
              <email type="md5">6c38abac417cf4ae70f18aaf63e47d37</email>
              <email type="domain">irisa.fr</email>
              <idno type="idhal" notation="string">isabelle-puaut</idno>
              <idno type="idhal" notation="numeric">739471</idno>
              <idno type="halauthorid" notation="string">28904-739471</idno>
              <idno type="IDREF">https://www.idref.fr/071169733</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9310-9651</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?hl=fr&amp;user=h5mRwlcAAAAJ</idno>
              <affiliation ref="#struct-460935"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yiannakis</forename>
                <surname>Sazeides</surname>
              </persName>
              <email type="md5">adaed2edab004255217c0d8482ad0926</email>
              <email type="domain">cs.ucy.ac.cy</email>
              <idno type="idhal" notation="numeric">830922</idno>
              <idno type="halauthorid" notation="string">117134-830922</idno>
              <affiliation ref="#struct-7830"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Damien</forename>
                <surname>Hardy</surname>
              </persName>
              <email type="md5">d4d31d849eeb30633ddc465393420045</email>
              <email type="domain">irisa.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-03-25 09:53:43</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2016-03-25 09:58:27</date>
              <date type="whenProduced">2016-03-14</date>
              <date type="whenEndEmbargoed">2016-03-25</date>
              <ref type="file" target="https://inria.hal.science/hal-01259493v1/document">
                <date notBefore="2016-03-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01259493v1/file/final.pdf" id="file-1293605-1374598">
                <date notBefore="2016-03-25"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="129279">
                <persName>
                  <forename>Damien</forename>
                  <surname>Hardy</surname>
                </persName>
                <email type="md5">d4d31d849eeb30633ddc465393420045</email>
                <email type="domain">irisa.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01259493</idno>
            <idno type="halUri">https://inria.hal.science/hal-01259493</idno>
            <idno type="halBibtex">hardy:hal-01259493</idno>
            <idno type="halRefHtml">&lt;i&gt;Design, Automation and Test in Europe&lt;/i&gt;, Mar 2016, Dresden, Germany</idno>
            <idno type="halRef">Design, Automation and Test in Europe, Mar 2016, Dresden, Germany</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1293605-1374598"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</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="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</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="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="IRISA-D3">ARCHITECTURE</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</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">Probabilistic WCET estimation in presence of hardware for mitigating the impact of permanent faults</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Damien</forename>
                    <surname>Hardy</surname>
                  </persName>
                  <email type="md5">aec53937708459a1069935f0a97606cc</email>
                  <email type="domain">univ-rennes1.fr</email>
                  <idno type="idhal" notation="string">damien-hardy</idno>
                  <idno type="idhal" notation="numeric">6371</idno>
                  <idno type="halauthorid" notation="string">13541-6371</idno>
                  <idno type="IDREF">https://www.idref.fr/149302916</idno>
                  <idno type="ORCID">https://orcid.org/0009-0007-5558-3556</idno>
                  <affiliation ref="#struct-460935"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Isabelle</forename>
                    <surname>Puaut</surname>
                  </persName>
                  <email type="md5">6c38abac417cf4ae70f18aaf63e47d37</email>
                  <email type="domain">irisa.fr</email>
                  <idno type="idhal" notation="string">isabelle-puaut</idno>
                  <idno type="idhal" notation="numeric">739471</idno>
                  <idno type="halauthorid" notation="string">28904-739471</idno>
                  <idno type="IDREF">https://www.idref.fr/071169733</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9310-9651</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?hl=fr&amp;user=h5mRwlcAAAAJ</idno>
                  <affiliation ref="#struct-460935"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yiannakis</forename>
                    <surname>Sazeides</surname>
                  </persName>
                  <email type="md5">adaed2edab004255217c0d8482ad0926</email>
                  <email type="domain">cs.ucy.ac.cy</email>
                  <idno type="idhal" notation="numeric">830922</idno>
                  <idno type="halauthorid" notation="string">117134-830922</idno>
                  <affiliation ref="#struct-7830"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Design, Automation and Test in Europe</title>
                  <date type="start">2016-03-14</date>
                  <date type="end">2016-03-18</date>
                  <settlement>Dresden</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-pf">Computer Science [cs]/Performance [cs.PF]</classCode>
              <classCode scheme="halDomain" n="info.info-ar">Computer Science [cs]/Hardware Architecture [cs.AR]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Fine-grained disabling and reconfiguration of hardwareelements (functional units, cache blocks) will become economicallynecessary to recover from permanent failures, whoserate is expected to increase dramatically in the near future.This fine-grained disabling will lead to degraded performanceas compared to a fault-free execution.Until recently, all static worst-case execution time (WCET)estimations methods were assuming fault-free processors, resultingin unsafe estimates in the presence of faults. The firststatic WCET estimation technique dealing with the presenceof permanent faults in instruction caches was proposed in [1].This study probabilistically quantified the impact of permanentfaults on WCET estimates. It demonstrated that the probabilisticWCET (pWCET) estimates of tasks increase rapidly with theprobability of faults as compared to fault-free WCET estimates.In this paper, we show that very simple reliability mechanismsallow mitigating the impact of faulty cache blocks on pWCETs.Two mechanisms, that make part of the cache resilient to faultsare analyzed. Experiments show that the gain in pWCET forthese two mechanisms are on average 48% and 40% as comparedto an architecture with no reliability mechanism.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-460935" status="OLD">
          <idno type="RNSR">201622151M</idno>
          <orgName>Pushing Architecture and Compilation for Application Performance</orgName>
          <orgName type="acronym">PACAP</orgName>
          <date type="start">2016-07-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419364" type="direct"/>
            <relation active="#struct-105128" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-7830" status="VALID">
          <orgName>Computer Science Department [Cyprus]</orgName>
          <desc>
            <address>
              <addrLine>School of Pure and Applied Sciences, University of Cyprus, 75 Kallipoleos Street, P.O. Box 20537, CY-1678, Nicosia, CYPRUS</addrLine>
              <country key="CY"/>
            </address>
            <ref type="url">http://www.cs.ucy.ac.cy/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-71226" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</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="department" xml:id="struct-419364" status="OLD">
          <orgName>ARCHITECTURE</orgName>
          <orgName type="acronym">IRISA-D3</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d3-architecture</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105128" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105128" status="OLD">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" 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-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </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-71226" status="VALID">
          <idno type="IdRef">034521089</idno>
          <idno type="ISNI">0000000121167908</idno>
          <idno type="ROR">https://ror.org/02qjrjx09</idno>
          <orgName>University of Cyprus [Nicosia]</orgName>
          <orgName type="acronym">UCY</orgName>
          <date type="start">1989-01-01</date>
          <desc>
            <address>
              <addrLine>1 Panepistimiou Avenue, University House "Anastasios G. Leventis", P.O. Box 20537, Aglatzia</addrLine>
              <country key="CY"/>
            </address>
            <ref type="url">http://www.ucy.ac.cy/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>