<?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-01332728</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-22T02:12:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Deterministic reversible MPSoC debugger based on virtual platform execution traces</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">N.</forename>
                <surname>Fournel</surname>
              </persName>
              <idno type="halauthorid">417440-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>Lucie</forename>
                <surname>Torella</surname>
              </persName>
              <email type="md5">66185431a413e8ba3d3ee290a2814345</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-06-16 14:10:35</date>
              <date type="whenModified">2026-03-26 11:44:02</date>
              <date type="whenReleased">2016-06-16 14:10:35</date>
              <date type="whenProduced">2016</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="115957">
                <persName>
                  <forename>Lucie</forename>
                  <surname>Torella</surname>
                </persName>
                <email type="md5">66185431a413e8ba3d3ee290a2814345</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01332728</idno>
            <idno type="halUri">https://hal.science/hal-01332728</idno>
            <idno type="halBibtex">cunha:hal-01332728</idno>
            <idno type="halRefHtml">&lt;i&gt;Design Automation for Embedded Systems&lt;/i&gt;, 2016, 20 (1), pp.47-63. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s10617-015-9167-8"&gt;&amp;#x27E8;10.1007/s10617-015-9167-8&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Design Automation for Embedded Systems, 2016, 20 (1), pp.47-63. &amp;#x27E8;10.1007/s10617-015-9167-8&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">Deterministic reversible MPSoC debugger based on virtual platform execution traces</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">N.</forename>
                    <surname>Fournel</surname>
                  </persName>
                  <idno type="halauthorid">417440-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">12538</idno>
                <idno type="issn">0929-5585</idno>
                <idno type="eissn">1572-8080</idno>
                <title level="j">Design Automation for Embedded Systems</title>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="volume">20</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">47-63</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/s10617-015-9167-8</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="classification">PACS 8542</classCode>
              <classCode scheme="halDomain" n="spi.nano">Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics</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>The increasing complexity of multiprocessor system on chip (MPSoC) makes the software developers life harder when chasing bugs. The debugging process is particularly tedious as it involves analyzing parallel execution flows. Executing a program many times is an integral part of the process in conventional debugging, but the non-determinism due to parallel execution often leads to different execution paths and different behaviors. In this paper, we propose an approach based on simulation, as it is nowadays an integral part of the MPSoC design flow, to ease pin-pointing bugs in a parallel execution. To that aim, we collect traces using a virtual platform, and when an execution fails, re-execute the traces, in either forward or reverse direction. We define a trace model suitable for this task, and detail a strategy for providing forward and reverse execution features to avoid long simulation times during a debug session. We demonstrate experimentally that re-execution is a deterministic process which, when debugging using the usual trial and error developer approach, is much faster than simulation.</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>