<?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-01709225</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-15T07:17:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms</title>
            <author role="aut">
              <persName>
                <forename type="first">M.</forename>
                <surname>Cunha</surname>
              </persName>
              <idno type="halauthorid">652035-0</idno>
              <affiliation ref="#struct-1044023"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">O.</forename>
                <surname>Matoussi</surname>
              </persName>
              <idno type="halauthorid">1170107-0</idno>
              <affiliation ref="#struct-1044023"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Pétrot</surname>
              </persName>
              <email type="md5">0bdc1d662ff44db2087cb9c86380bb66</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">frederic-petrot</idno>
              <idno type="idhal" notation="numeric">12920</idno>
              <idno type="halauthorid" notation="string">20156-12920</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0624-7373</idno>
              <idno type="IDREF">https://www.idref.fr/108969223</idno>
              <affiliation ref="#struct-1044023"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Laurence</forename>
                <surname>BEN TITO</surname>
              </persName>
              <email type="md5">19a1abf4f2fb18274de189b7c316c0b3</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-02-14 16:48:59</date>
              <date type="whenModified">2026-03-26 11:44:02</date>
              <date type="whenReleased">2018-02-14 16:48:59</date>
              <date type="whenProduced">2017</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="542059">
                <persName>
                  <forename>Laurence</forename>
                  <surname>BEN TITO</surname>
                </persName>
                <email type="md5">19a1abf4f2fb18274de189b7c316c0b3</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01709225</idno>
            <idno type="halUri">https://hal.science/hal-01709225</idno>
            <idno type="halBibtex">cunha:hal-01709225</idno>
            <idno type="halRefHtml">&lt;i&gt;ACM Transactions on Embedded Computing Systems (TECS)&lt;/i&gt;, 2017, 16 (2), pp.30:1-30:21. &lt;a target="_blank" href="https://dx.doi.org/10.1145/2990193"&gt;&amp;#x27E8;10.1145/2990193&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (2), pp.30:1-30:21. &amp;#x27E8;10.1145/2990193&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <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="UGA-COMUE">Université Grenoble Alpes [2016-2019]</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Detecting Software Cache Coherence Violations in MPSoC Using Traces Captured on Virtual Platforms</title>
                <author role="aut">
                  <persName>
                    <forename type="first">M.</forename>
                    <surname>Cunha</surname>
                  </persName>
                  <idno type="halauthorid">652035-0</idno>
                  <affiliation ref="#struct-1044023"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">O.</forename>
                    <surname>Matoussi</surname>
                  </persName>
                  <idno type="halauthorid">1170107-0</idno>
                  <affiliation ref="#struct-1044023"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Pétrot</surname>
                  </persName>
                  <email type="md5">0bdc1d662ff44db2087cb9c86380bb66</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">frederic-petrot</idno>
                  <idno type="idhal" notation="numeric">12920</idno>
                  <idno type="halauthorid" notation="string">20156-12920</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0624-7373</idno>
                  <idno type="IDREF">https://www.idref.fr/108969223</idno>
                  <affiliation ref="#struct-1044023"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">64804</idno>
                <idno type="issn">1539-9087</idno>
                <idno type="eissn">1558-3465</idno>
                <title level="j">ACM Transactions on Embedded Computing Systems (TECS)</title>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="volume">16</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">30:1-30:21</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/2990193</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="classification">PACS 8542</classCode>
              <classCode scheme="halDomain" n="info.info-ar">Computer Science [cs]/Hardware Architecture [cs.AR]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Software cache coherence schemes tend to be the solution of choice in dedicated multi/many core systems on chip, as they make the hardware much simpler and predictable. However, despite the developers’ effort, it is hard to make sure that all preventive measurements are taken to ensure coherence. In this work, we propose a method to identify the potential cache coherence violations using traces obtained from virtual platforms. These traces contain causality relations among events, which allow first to simplify the analysis, and second to avoid relying on timestamps. Our method identifies potential violations that may occur during a given execution for write-through and write-back cache policies. Therefore, it is independent of the software coherence protocol. We conducted experiments on parallel applications running on a lightweight SMP operating system, and we were able to detect coherence issues that we could then solve.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1044023" status="OLD">
          <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">2016-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://tima.univ-grenoble-alpes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-89889" type="direct"/>
            <relation name="UMR5159" active="#struct-441569" type="direct"/>
            <relation active="#struct-445543" type="direct"/>
          </listRelation>
        </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="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-445543" status="OLD">
          <idno type="IdRef">188399275</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes [2016-2019]</orgName>
          <orgName type="acronym">UGA [2016-2019]</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>