<?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-01054479</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-21T10:21:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</title>
            <author role="aut">
              <persName>
                <forename type="first">Markus</forename>
                <surname>Becker</surname>
              </persName>
              <idno type="halauthorid">313056-0</idno>
              <affiliation ref="#struct-74348"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Henning</forename>
                <surname>Zabel</surname>
              </persName>
              <idno type="halauthorid">852116-0</idno>
              <affiliation ref="#struct-74348"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Wolfgang</forename>
                <surname>Mueller</surname>
              </persName>
              <idno type="halauthorid">236152-0</idno>
              <affiliation ref="#struct-74348"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-08-07 11:17:32</date>
              <date type="whenModified">2020-03-05 17:40:45</date>
              <date type="whenReleased">2014-08-07 14:04:56</date>
              <date type="whenProduced">2010-09-20</date>
              <date type="whenEndEmbargoed">2014-08-07</date>
              <ref type="file" target="https://inria.hal.science/hal-01054479v1/document">
                <date notBefore="2014-08-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01054479v1/file/final_013.pdf" id="file-1054479-858891">
                <date notBefore="2014-08-07"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-15234-4_15.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01054479</idno>
            <idno type="halUri">https://inria.hal.science/hal-01054479</idno>
            <idno type="halBibtex">becker:hal-01054479</idno>
            <idno type="halRefHtml">&lt;i&gt;7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) &lt;/i&gt;, Sep 2010, Brisbane, Australia. pp.145-156, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-15234-4_15"&gt;&amp;#x27E8;10.1007/978-3-642-15234-4_15&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.145-156, &amp;#x27E8;10.1007/978-3-642-15234-4_15&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1054479-858891"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-AICT-329" corresp="IFIP-AICT">Distributed, Parallel and Biologically Inspired Systems</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC10" corresp="IFIP-TC">IFIP-TC10</idno>
            <idno type="stamp" n="IFIP-WCC">World Computer Congress</idno>
            <idno type="stamp" n="IFIP-2010">IFIP-2010</idno>
            <idno type="stamp" n="IFIP-DIPES">Distributed and Parallel Embedded Systems</idno>
            <idno type="stamp" n="IFIP-BICC">International Conference on Biologically-Inspired Collaborative Computing</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">A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Markus</forename>
                    <surname>Becker</surname>
                  </persName>
                  <idno type="halauthorid">313056-0</idno>
                  <affiliation ref="#struct-74348"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Henning</forename>
                    <surname>Zabel</surname>
                  </persName>
                  <idno type="halauthorid">852116-0</idno>
                  <affiliation ref="#struct-74348"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Wolfgang</forename>
                    <surname>Mueller</surname>
                  </persName>
                  <idno type="halauthorid">236152-0</idno>
                  <affiliation ref="#struct-74348"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">IFIP Advances in Information and Communication Technology</title>
                <meeting>
                  <title>7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) </title>
                  <date type="start">2010-09-20</date>
                  <date type="end">2010-09-23</date>
                  <settlement>Brisbane</settlement>
                  <country key="AU">Australia</country>
                </meeting>
                <editor>Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Distributed, Parallel and Biologically Inspired Systems</biblScope>
                  <biblScope unit="volume">AICT-329</biblScope>
                  <biblScope unit="pp">145-156</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-15234-4_15</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dl">Computer Science [cs]/Digital Libraries [cs.DL]</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>In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, we combine the native speed of an abstract real-time operating system (RTOS) model in SystemC with dynamic binary translation for fast Instruction Set Simulation (ISS) by QEMU. In order to support stepwise RTOS software refinement from system level to the target software, each task can be separately migrated between the native execution and the ISS. By adapting the dynamic binary translation approach to an efficient but yet very accurate synchronization scheme the overhead of QEMU user mode execution is only factor two compared to native SystemC. Furthermore, the simulation speed increases almost linearly according to the utilization of the task set abstracted by the native execution. Hereby, the simulation time can be considerably reduced by cosimulating just a subset of tasks on QEMU.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-74348" status="VALID">
          <idno type="ROR">https://ror.org/058kzsd48</idno>
          <orgName>University of Paderborn</orgName>
          <desc>
            <address>
              <addrLine>Warburger Straße 100 33098 Paderborn</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-paderborn.de/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>