<?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-01294394</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-20T00:25:50+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting</title>
            <author role="aut">
              <persName>
                <forename type="first">Yasmina</forename>
                <surname>Abdeddaïm</surname>
              </persName>
              <email type="md5">ac0e5eba9f99912b41c69d0cfe85e770</email>
              <email type="domain">esiee.fr</email>
              <idno type="idhal" notation="string">abdedday</idno>
              <idno type="idhal" notation="numeric">15024</idno>
              <idno type="halauthorid" notation="string">23313-15024</idno>
              <idno type="IDREF">https://www.idref.fr/079061192</idno>
              <affiliation ref="#struct-1001627"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Younès</forename>
                <surname>Chandarli</surname>
              </persName>
              <email type="md5">43a3bdfd71f6afc3a764652061784324</email>
              <email type="domain">univ-paris-est.fr</email>
              <idno type="idhal" notation="numeric">924554</idno>
              <idno type="halauthorid" notation="string">631934-924554</idno>
              <affiliation ref="#struct-1001627"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Robert I.</forename>
                <surname>Davis</surname>
              </persName>
              <email type="md5">a0fdf09fd44ff2f3d1a57c4d047e54cb</email>
              <email type="domain">york.ac.uk</email>
              <idno type="idhal" notation="string">robert-davis</idno>
              <idno type="idhal" notation="numeric">5951</idno>
              <idno type="halauthorid" notation="string">824564-5951</idno>
              <idno type="IDREF">https://www.idref.fr/229969402</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5772-0928</idno>
              <affiliation ref="#struct-2445"/>
              <affiliation ref="#struct-124942"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Damien</forename>
                <surname>Masson</surname>
              </persName>
              <email type="md5">c3af4cbfac650c8d9b5f567c5d51d931</email>
              <email type="domain">esiee.fr</email>
              <idno type="idhal" notation="string">damien-masson</idno>
              <idno type="idhal" notation="numeric">1652</idno>
              <idno type="halauthorid" notation="string">17139-1652</idno>
              <idno type="IDREF">https://www.idref.fr/13926826X</idno>
              <affiliation ref="#struct-1001627"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Damien</forename>
                <surname>Masson</surname>
              </persName>
              <email type="md5">11b6669eab1488f85a5280ede04078a5</email>
              <email type="domain">esiee.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-03-29 11:20:08</date>
              <date type="whenModified">2025-10-18 03:25:03</date>
              <date type="whenReleased">2016-03-29 11:20:08</date>
              <date type="whenProduced">2014</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="154126">
                <persName>
                  <forename>Damien</forename>
                  <surname>Masson</surname>
                </persName>
                <email type="md5">11b6669eab1488f85a5280ede04078a5</email>
                <email type="domain">esiee.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01294394</idno>
            <idno type="halUri">https://hal.science/hal-01294394</idno>
            <idno type="halBibtex">abdeddaim:hal-01294394</idno>
            <idno type="halRefHtml">&lt;i&gt;RTNS 2014&lt;/i&gt;, 2014, Versailles, France. pp.311:311--311:320, &lt;a target="_blank" href="https://dx.doi.org/10.1145/2659787.2659821"&gt;&amp;#x27E8;10.1145/2659787.2659821&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">RTNS 2014, 2014, Versailles, France. pp.311:311--311:320, &amp;#x27E8;10.1145/2659787.2659821&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNICE">Université Nice Sophia Antipolis</idno>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </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="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="I3S">Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="ENPC-LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="AOSTE">Research team AOSTE Models and methods for the Analysis and Optimization of Systems with real-Time and Embedding constraints</idno>
            <idno type="stamp" n="LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="CV_LIGM" corresp="CV_UNIV-MLV">CV des membres du LIGM</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIGM_LRT" corresp="LIGM">Software, Networks and Real-Time Systems</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="ESIEE-PARIS">ESIEE Paris</idno>
            <idno type="stamp" n="UNIV-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="U-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
            <idno type="stamp" n="DDRS-TEST-CJ">Test de la collection DD-RS</idno>
            <idno type="stamp" n="TEST-NICE">test nice</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">Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yasmina</forename>
                    <surname>Abdeddaïm</surname>
                  </persName>
                  <email type="md5">ac0e5eba9f99912b41c69d0cfe85e770</email>
                  <email type="domain">esiee.fr</email>
                  <idno type="idhal" notation="string">abdedday</idno>
                  <idno type="idhal" notation="numeric">15024</idno>
                  <idno type="halauthorid" notation="string">23313-15024</idno>
                  <idno type="IDREF">https://www.idref.fr/079061192</idno>
                  <affiliation ref="#struct-1001627"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Younès</forename>
                    <surname>Chandarli</surname>
                  </persName>
                  <email type="md5">43a3bdfd71f6afc3a764652061784324</email>
                  <email type="domain">univ-paris-est.fr</email>
                  <idno type="idhal" notation="numeric">924554</idno>
                  <idno type="halauthorid" notation="string">631934-924554</idno>
                  <affiliation ref="#struct-1001627"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Robert I.</forename>
                    <surname>Davis</surname>
                  </persName>
                  <email type="md5">a0fdf09fd44ff2f3d1a57c4d047e54cb</email>
                  <email type="domain">york.ac.uk</email>
                  <idno type="idhal" notation="string">robert-davis</idno>
                  <idno type="idhal" notation="numeric">5951</idno>
                  <idno type="halauthorid" notation="string">824564-5951</idno>
                  <idno type="IDREF">https://www.idref.fr/229969402</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5772-0928</idno>
                  <affiliation ref="#struct-2445"/>
                  <affiliation ref="#struct-124942"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Damien</forename>
                    <surname>Masson</surname>
                  </persName>
                  <email type="md5">c3af4cbfac650c8d9b5f567c5d51d931</email>
                  <email type="domain">esiee.fr</email>
                  <idno type="idhal" notation="string">damien-masson</idno>
                  <idno type="idhal" notation="numeric">1652</idno>
                  <idno type="halauthorid" notation="string">17139-1652</idno>
                  <idno type="IDREF">https://www.idref.fr/13926826X</idno>
                  <affiliation ref="#struct-1001627"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>RTNS 2014</title>
                  <date type="start">2014</date>
                  <settlement>Versailles</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">Proceedings of the 22Nd International Conference on Real-Time Networks and Systems</biblScope>
                  <biblScope unit="pp">311:311--311:320</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/2659787.2659821</idno>
              <ref target="http://doi.acm.org/10.1145/2659787.2659821" type="seeAlso"/>
              <ref type="publisher">https://dl.acm.org/doi/10.1145/2659787.2659821</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</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>This paper introduces sufficient schedulability tests for fixed-priority pre-emptive scheduling of a real-time system under energy constraints. In this problem, energy is harvested from the ambient environment and used to replenish a storage unit or battery. The set of real-time tasks is decomposed into two different types of task depending on whether their rate of energy consumption is (i) more than or (ii) no more than the storage unit replenishment rate. We show that for this task model, where execution may only take place when there is sufficient energy available, the worst-case scenario does not necessarily correspond to the synchronous release of all tasks. We derive sufficient schedulability tests based on the computation of worst-case response time upper and lower bounds. We examine both the effectiveness and the tightness of the bounds, via an empirical investigation.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1001627" status="OLD">
          <idno type="IdRef">142877891</idno>
          <idno type="RNSR">200212717U</idno>
          <orgName>Laboratoire d'Informatique Gaspard-Monge</orgName>
          <orgName type="acronym">LIGM</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>Université Gustave Eiffel, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ligm.u-pem.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301545" type="direct"/>
            <relation name="UMR8049" active="#struct-441569" type="direct"/>
            <relation active="#struct-580722" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-2445" status="OLD">
          <idno type="RNSR">200418395G</idno>
          <orgName>Models and methods of analysis and optimization for systems with real-time and embedding constraints</orgName>
          <orgName type="acronym">AOSTE</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/aoste</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-86790" type="direct"/>
            <relation active="#struct-451999" type="direct"/>
            <relation active="#struct-13009" type="indirect"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-124942" status="VALID">
          <idno type="ROR">https://ror.org/04m01e293</idno>
          <orgName>University of York [York, UK]</orgName>
          <desc>
            <address>
              <addrLine>Heslington, York, YO10 5DD</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.york.ac.uk/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301545" status="OLD">
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">1747-02-14</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>École nationale des ponts et chaussées, 6-8 avenue Blaise-Pascal, Cité Descartes, Champs-sur-Marne, 77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.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-580722" status="VALID">
          <idno type="ROR">https://ror.org/03x42jk29</idno>
          <orgName>Université Gustave Eiffel</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Cité Descartes, 5 Boulevard Descartes • Champs-sur-Marne, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-gustave-eiffel.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</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="laboratory" xml:id="struct-86790" status="OLD">
          <orgName>Inria Paris-Rocquencourt</orgName>
          <date type="end">2016-03-30</date>
          <desc>
            <address>
              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-451999" status="VALID">
          <orgName>COMmunications, Réseaux, systèmes Embarqués et Distribués</orgName>
          <orgName type="acronym">Laboratoire I3S - COMRED</orgName>
          <date type="start">2016-03-02</date>
          <desc>
            <address>
              <addrLine>Laboratoire I3SCS 4012106903 Sophia Antipolis Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/comred</ref>
          </desc>
          <listRelation>
            <relation active="#struct-13009" type="direct"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-13009" status="VALID">
          <idno type="IdRef">050320491</idno>
          <idno type="ISNI">0000000105613840</idno>
          <idno type="RNSR">201220432L</idno>
          <idno type="ROR">https://ror.org/01215r597</idno>
          <orgName>Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis</orgName>
          <orgName type="acronym">I3S</orgName>
          <desc>
            <address>
              <addrLine>2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-117617" type="direct"/>
            <relation name="UMR7271" active="#struct-441569" type="direct"/>
            <relation active="#struct-1039632" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-117617" status="VALID">
          <idno type="IdRef">026403498</idno>
          <idno type="ISNI">0000000123372892</idno>
          <idno type="ROR">https://ror.org/02k9vew78</idno>
          <orgName>Université Nice Sophia Antipolis (1965 - 2019)</orgName>
          <orgName type="acronym">UNS</orgName>
          <date type="start">1965-10-23</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 06100 Nice</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://unice.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1039632" status="VALID">
          <idno type="IdRef">241035694</idno>
          <idno type="ROR">https://ror.org/019tgvf94</idno>
          <orgName>Université Côte d'Azur</orgName>
          <orgName type="acronym">UniCA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://univ-cotedazur.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>