<?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-03353865</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-04-28T09:40:14+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Cross-layer Approach to Assess FMEA on Critical Systems and Evaluate High-Level Model Realism</title>
            <author role="aut">
              <persName>
                <forename type="first">Julie</forename>
                <surname>Roux</surname>
              </persName>
              <idno type="halauthorid">798482-0</idno>
              <affiliation ref="#struct-1043047"/>
              <affiliation ref="#struct-1043068"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Katell</forename>
                <surname>Morin-Allory</surname>
              </persName>
              <email type="md5">34e9879ba0d9772b4ada5f8636f65d4f</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">katell-morin-allory</idno>
              <idno type="idhal" notation="numeric">735899</idno>
              <idno type="halauthorid" notation="string">38434-735899</idno>
              <affiliation ref="#struct-1043047"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Beroulle</surname>
              </persName>
              <email type="md5">c81294c2af1b1a2ef1c14f12e742ba67</email>
              <email type="domain">lcis.grenoble-inp.fr</email>
              <ptr type="url" target="https://lcis.fr/members/vincent-beroulle"/>
              <idno type="idhal" notation="string">vincent-beroulle</idno>
              <idno type="idhal" notation="numeric">2213</idno>
              <idno type="halauthorid" notation="string">10809-2213</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0617-3087</idno>
              <idno type="IDREF">https://www.idref.fr/07094122X</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/122344</idno>
              <affiliation ref="#struct-1043068"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Régis</forename>
                <surname>Leveugle</surname>
              </persName>
              <email type="md5">44f04a88c663e7dd448f10ddaaef9b75</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">regis-leveugle</idno>
              <idno type="idhal" notation="numeric">749865</idno>
              <idno type="halauthorid" notation="string">558-749865</idno>
              <affiliation ref="#struct-1043044"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gilles</forename>
                <surname>Genévrier</surname>
              </persName>
              <idno type="halauthorid">2237759-0</idno>
              <affiliation ref="#struct-1072411"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Cézilly</surname>
              </persName>
              <idno type="halauthorid">2237757-0</idno>
              <affiliation ref="#struct-1072411"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lilian</forename>
                <surname>Bossuet</surname>
              </persName>
              <email type="md5">a04e25dd636ad060d04a37ccb008634b</email>
              <email type="domain">ixl.fr</email>
              <idno type="idhal" notation="numeric">885906</idno>
              <idno type="halauthorid" notation="string">139778-885906</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7964-3137</idno>
              <affiliation ref="#struct-17835"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Cerisier</surname>
              </persName>
              <idno type="halauthorid">2237760-0</idno>
              <affiliation ref="#struct-1050798"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lilian</forename>
                <surname>Bossuet</surname>
              </persName>
              <email type="md5">5a7a7c63833d6922788dd3829bc791aa</email>
              <email type="domain">univ-st-etienne.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-09-24 13:56:09</date>
              <date type="whenModified">2026-04-23 14:50:05</date>
              <date type="whenReleased">2021-09-24 13:56:09</date>
              <date type="whenProduced">2021-10-04</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="110792">
                <persName>
                  <forename>Lilian</forename>
                  <surname>Bossuet</surname>
                </persName>
                <email type="md5">5a7a7c63833d6922788dd3829bc791aa</email>
                <email type="domain">univ-st-etienne.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03353865</idno>
            <idno type="halUri">https://hal.science/hal-03353865</idno>
            <idno type="halBibtex">roux:hal-03353865</idno>
            <idno type="halRefHtml">&lt;i&gt;29th IFIP/IEEE International Conference on very Large Scale Integration, VLSI-SoC 2021&lt;/i&gt;, Oct 2021, Singapour, Singapore. &lt;a target="_blank" href="https://dx.doi.org/10.1109/VLSI-SoC53125.2021.9607001"&gt;&amp;#x27E8;10.1109/VLSI-SoC53125.2021.9607001&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">29th IFIP/IEEE International Conference on very Large Scale Integration, VLSI-SoC 2021, Oct 2021, Singapour, Singapore. &amp;#x27E8;10.1109/VLSI-SoC53125.2021.9607001&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ST-ETIENNE">Université Jean Monnet - Saint-Etienne</idno>
            <idno type="stamp" n="IOGS" corresp="PARISTECH">Institut d'Optique Graduate School</idno>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="TIMA">Techniques of Informatics and Microelectronics for integrated systems Architecture</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="LCIS">Laboratoire de Conception et d'Intégration des Systèmes</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</idno>
            <idno type="stamp" n="LABORATOIRE-HUBERT-CURIEN" corresp="UNIV-ST-ETIENNE">LAboratoire Hubert Curien</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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">Cross-layer Approach to Assess FMEA on Critical Systems and Evaluate High-Level Model Realism</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Julie</forename>
                    <surname>Roux</surname>
                  </persName>
                  <idno type="halauthorid">798482-0</idno>
                  <affiliation ref="#struct-1043047"/>
                  <affiliation ref="#struct-1043068"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Katell</forename>
                    <surname>Morin-Allory</surname>
                  </persName>
                  <email type="md5">34e9879ba0d9772b4ada5f8636f65d4f</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">katell-morin-allory</idno>
                  <idno type="idhal" notation="numeric">735899</idno>
                  <idno type="halauthorid" notation="string">38434-735899</idno>
                  <affiliation ref="#struct-1043047"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Beroulle</surname>
                  </persName>
                  <email type="md5">c81294c2af1b1a2ef1c14f12e742ba67</email>
                  <email type="domain">lcis.grenoble-inp.fr</email>
                  <ptr type="url" target="https://lcis.fr/members/vincent-beroulle"/>
                  <idno type="idhal" notation="string">vincent-beroulle</idno>
                  <idno type="idhal" notation="numeric">2213</idno>
                  <idno type="halauthorid" notation="string">10809-2213</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0617-3087</idno>
                  <idno type="IDREF">https://www.idref.fr/07094122X</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/122344</idno>
                  <affiliation ref="#struct-1043068"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Régis</forename>
                    <surname>Leveugle</surname>
                  </persName>
                  <email type="md5">44f04a88c663e7dd448f10ddaaef9b75</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">regis-leveugle</idno>
                  <idno type="idhal" notation="numeric">749865</idno>
                  <idno type="halauthorid" notation="string">558-749865</idno>
                  <affiliation ref="#struct-1043044"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gilles</forename>
                    <surname>Genévrier</surname>
                  </persName>
                  <idno type="halauthorid">2237759-0</idno>
                  <affiliation ref="#struct-1072411"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Cézilly</surname>
                  </persName>
                  <idno type="halauthorid">2237757-0</idno>
                  <affiliation ref="#struct-1072411"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lilian</forename>
                    <surname>Bossuet</surname>
                  </persName>
                  <email type="md5">a04e25dd636ad060d04a37ccb008634b</email>
                  <email type="domain">ixl.fr</email>
                  <idno type="idhal" notation="numeric">885906</idno>
                  <idno type="halauthorid" notation="string">139778-885906</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7964-3137</idno>
                  <affiliation ref="#struct-17835"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Cerisier</surname>
                  </persName>
                  <idno type="halauthorid">2237760-0</idno>
                  <affiliation ref="#struct-1050798"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC)</title>
                <meeting>
                  <title>29th IFIP/IEEE International Conference on very Large Scale Integration, VLSI-SoC 2021</title>
                  <date type="start">2021-10-04</date>
                  <date type="end">2021-10-07</date>
                  <settlement>Singapour</settlement>
                  <country key="SG">Singapore</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <date type="datePub">2021-11-17</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/VLSI-SoC53125.2021.9607001</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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>Embedded systems in critical applications are constrained by very strict standards. The safety of such systems is crucial, however, their safety analysis (e.g., Failure Mode and Effects Analysis, or FMEA) is often empirical and mainly relies on the experience of engineers. Performing empirical analyses on complex designs is a major challenge that leads engineers to make very pessimistic assumptions and consequently to over-design multiple countermeasures. Many fault injection techniques have been developed to evaluate the robustness of hardware designs from Register Transfer Level to Transaction Level. At the RT-level, these techniques are circuit-centered, and therefore do not rely on the overall system specifications. Besides, with complex hardware designs, fault simulations become very time-consuming. Conversely, at the transaction level, fault simulation is fast to the detriment of the realism of high-level models. In this paper, we present a new iterative cross-layer robustness analysis flow taking into account the overall critical system specifications and verifying the realism of high-level models. The first step of the flow leads to extract critical parameter ranges. Then, these ranges are used to quickly evaluate the robustness of each RTL block in the circuit. In the last step, we compute some metrics reflecting the realism of the high-level models. According to these metrics, we can determine if the high-level models must be improved. We apply this methodology to a case study of a real airborne system.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1043047" status="VALID">
          <orgName>Circuits, Devices and System Integration</orgName>
          <orgName type="acronym">TIMA-CDSI</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Laboratoire TIMA, 46, avenue Félix Viallet - 38031 GRENOBLE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://tima.univ-grenoble-alpes.fr/tima/fr/cdsi/cdsioverview.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1043043" type="direct"/>
            <relation name="UMR5159" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1042703" type="indirect"/>
            <relation active="#struct-1043329" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1043068" status="VALID">
          <idno type="IdRef">085131776</idno>
          <idno type="ISNI">0000 0004 0452 1129</idno>
          <idno type="RNSR">200315016N</idno>
          <idno type="ROR">https://ror.org/04eg25g76</idno>
          <orgName>Laboratoire de Conception et d'Intégration des Systèmes</orgName>
          <orgName type="acronym">LCIS</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>50, rue Barthélémy de Laffemas BP54 26902 VALENCE Cedex 09 France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lcis.grenoble-inp.fr</ref>
          </desc>
          <listRelation>
            <relation name="EA 3747" active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1043044" status="VALID">
          <orgName>Architectures and Methods for Resilient Systems</orgName>
          <orgName type="acronym">TIMA-AMfoRS</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Laboratoire TIMA, 46, avenue Félix Viallet - 38031 GRENOBLE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://tima.univ-grenoble-alpes.fr/tima/fr/timalaboratory/contacts.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1043043" type="direct"/>
            <relation name="UMR5159" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1042703" type="indirect"/>
            <relation active="#struct-1043329" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1072411" status="INCOMING">
          <orgName>THALES, 26000 Valence, France</orgName>
        </org>
        <org type="laboratory" xml:id="struct-17835" status="VALID">
          <idno type="IdRef">164609741</idno>
          <idno type="ISNI">0000 0000 9955 0977</idno>
          <idno type="RNSR">199511960B</idno>
          <idno type="ROR">https://ror.org/0028p8r67</idno>
          <orgName>Laboratoire Hubert Curien</orgName>
          <orgName type="acronym">LabHC</orgName>
          <date type="start">2006-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment F 18 Rue du Professeur Benoît Lauras42000 Saint-Etienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://laboratoirehubertcurien.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300036" type="direct"/>
            <relation active="#struct-300284" type="direct"/>
            <relation active="#struct-1327915" type="indirect"/>
            <relation name="UMR5516" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1050798" status="VALID">
          <orgName>Application Engineering, Design And Verification In ICs And Embedded Systems</orgName>
          <orgName type="acronym">AEDVICES</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>166 rue du Rocher de Lorzier, 38430 Moirans</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.aedvices.com/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1043043" status="VALID">
          <idno type="IdRef">02901364X</idno>
          <idno type="ISNI">0000 0001 2337 0176</idno>
          <idno type="RNSR">200311834E</idno>
          <idno type="ROR">https://ror.org/000063q30</idno>
          <orgName>Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés</orgName>
          <orgName type="acronym">TIMA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet38031 GRENOBLE Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://tima.univ-grenoble-alpes.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR5159" 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="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="institution" xml:id="struct-300036" status="VALID">
          <idno type="IdRef">110047702</idno>
          <orgName>Institut d'Optique Graduate School</orgName>
          <orgName type="acronym">IOGS</orgName>
          <desc>
            <address>
              <addrLine>2 avenue Augustin Fresnel, 91127 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.institutoptique.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300284" status="VALID">
          <idno type="IdRef">028209966</idno>
          <idno type="ISNI">0000 0001 2158 1682</idno>
          <idno type="ROR">https://ror.org/04yznqr36</idno>
          <idno type="Wikidata">Q623154</idno>
          <orgName>Université Jean Monnet - Saint-Étienne</orgName>
          <orgName type="acronym">UJM</orgName>
          <date type="start">1969-03-27</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>10, Rue Tréfilerie – CS 8230142023 Saint-Étienne Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-st-etienne.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1327915" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1327915" status="VALID">
          <idno type="IdRef">285395831</idno>
          <orgName>Université Jean Monnet (EPSCPE)</orgName>
          <orgName type="acronym">UJM EPE</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>10 rue Tréfilerie42100 Saint-Etienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-st-etienne.fr/fr/index.html</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>