<?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-01263994</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-20T03:15:31+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *</title>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Carle</surname>
              </persName>
              <email type="md5">24e6ab3c65c393562297189f93f05677</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">thomas-carle</idno>
              <idno type="idhal" notation="numeric">750932</idno>
              <idno type="halauthorid" notation="string">12556-750932</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1411-1030</idno>
              <idno type="IDREF">https://www.idref.fr/18325581X</idno>
              <affiliation ref="#struct-236317"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dumitru</forename>
                <surname>Potop-Butucaru</surname>
              </persName>
              <email type="md5">d2d95dc1d2b7e911056f43ee12c32e4c</email>
              <email type="domain">inria.fr</email>
              <ptr type="url" target="https://who.rocq.inria.fr/Dumitru.Potop_Butucaru/"/>
              <idno type="idhal" notation="string">dpotop</idno>
              <idno type="idhal" notation="numeric">742796</idno>
              <idno type="halauthorid" notation="string">12384-742796</idno>
              <idno type="IDREF">https://www.idref.fr/118081365</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3672-6156</idno>
              <affiliation ref="#struct-2445"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yves</forename>
                <surname>Sorel</surname>
              </persName>
              <email type="md5">aecd2785c6cf24dbb0663ad820352619</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">yves-sorel</idno>
              <idno type="idhal" notation="numeric">22034</idno>
              <idno type="halauthorid" notation="string">12225-22034</idno>
              <idno type="IDREF">https://www.idref.fr/087109670</idno>
              <affiliation ref="#struct-2445"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Lesens</surname>
              </persName>
              <idno type="halauthorid">119534-0</idno>
              <affiliation ref="#struct-260022"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Dumitru</forename>
                <surname>Potop-Butucaru</surname>
              </persName>
              <email type="md5">cee609dd1649e3de3db5ff655da084d8</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-01-28 15:15:59</date>
              <date type="whenModified">2025-10-07 15:32:02</date>
              <date type="whenReleased">2016-01-28 15:32:32</date>
              <date type="whenProduced">2015-11-30</date>
              <date type="whenEndEmbargoed">2016-01-28</date>
              <ref type="file" target="https://inria.hal.science/hal-01263994v1/document">
                <date notBefore="2016-01-28"/>
              </ref>
              <ref type="file" subtype="publisherPaid" n="1" target="https://inria.hal.science/hal-01263994v1/file/43-225-1-PB.pdf" id="file-1263994-1343628">
                <date notBefore="2016-01-28"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="114364">
                <persName>
                  <forename>Dumitru</forename>
                  <surname>Potop-Butucaru</surname>
                </persName>
                <email type="md5">cee609dd1649e3de3db5ff655da084d8</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01263994</idno>
            <idno type="halUri">https://inria.hal.science/hal-01263994</idno>
            <idno type="halBibtex">carle:hal-01263994</idno>
            <idno type="halRefHtml">&lt;i&gt;Leibniz Transactions on Embedded Systems&lt;/i&gt;, 2015, &lt;a target="_blank" href="https://dx.doi.org/10.4230/LITES-v002-i002-a001"&gt;&amp;#x27E8;10.4230/LITES-v002-i002-a001&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Leibniz Transactions on Embedded Systems, 2015, &amp;#x27E8;10.4230/LITES-v002-i002-a001&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1263994-1343628"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNICE">Université Nice Sophia Antipolis</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="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</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="TESTALAIN1">TESTALAIN1</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="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="TEST-NICE">test nice</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">From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Carle</surname>
                  </persName>
                  <email type="md5">24e6ab3c65c393562297189f93f05677</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">thomas-carle</idno>
                  <idno type="idhal" notation="numeric">750932</idno>
                  <idno type="halauthorid" notation="string">12556-750932</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1411-1030</idno>
                  <idno type="IDREF">https://www.idref.fr/18325581X</idno>
                  <affiliation ref="#struct-236317"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dumitru</forename>
                    <surname>Potop-Butucaru</surname>
                  </persName>
                  <email type="md5">d2d95dc1d2b7e911056f43ee12c32e4c</email>
                  <email type="domain">inria.fr</email>
                  <ptr type="url" target="https://who.rocq.inria.fr/Dumitru.Potop_Butucaru/"/>
                  <idno type="idhal" notation="string">dpotop</idno>
                  <idno type="idhal" notation="numeric">742796</idno>
                  <idno type="halauthorid" notation="string">12384-742796</idno>
                  <idno type="IDREF">https://www.idref.fr/118081365</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3672-6156</idno>
                  <affiliation ref="#struct-2445"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yves</forename>
                    <surname>Sorel</surname>
                  </persName>
                  <email type="md5">aecd2785c6cf24dbb0663ad820352619</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">yves-sorel</idno>
                  <idno type="idhal" notation="numeric">22034</idno>
                  <idno type="halauthorid" notation="string">12225-22034</idno>
                  <idno type="IDREF">https://www.idref.fr/087109670</idno>
                  <affiliation ref="#struct-2445"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Lesens</surname>
                  </persName>
                  <idno type="halauthorid">119534-0</idno>
                  <affiliation ref="#struct-260022"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">107167</idno>
                <idno type="issn">2199-2002</idno>
                <title level="j">Leibniz Transactions on Embedded Systems</title>
                <imprint>
                  <publisher>European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.</publisher>
                  <date type="datePub">2015-11-30</date>
                  <date type="dateEpub">2015-11-30</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4230/LITES-v002-i002-a001</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en"> partitioning</term>
                <term xml:lang="en"> non-functional properties</term>
                <term xml:lang="en"> distributed</term>
                <term xml:lang="en"> optimization</term>
                <term xml:lang="en"> code generation</term>
                <term xml:lang="en"> ARINC 653</term>
                <term xml:lang="en">real-time scheduling</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</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>Our objective is to facilitate the development of complex time-triggered systems by automating the allocation and scheduling steps. We show that full automation is possible while taking into account the elements of complexity needed by a complex embedded control system. More precisely, we consider deterministic functional specifications provided (as often in an industrial setting) by means of synchronous data-flow models with multiple modes and multiple relative periods. We first extend this functional model with an original real-time characterization that takes advantage of our time-triggered framework to provide a simpler representation of complex end-to-end flow requirements. We also extend our specifications with additional non-functional properties specifying partitioning, allocation , and preemptability constraints. Then, weprovide novel algorithms for the off-line scheduling of these extended specifications onto partitioned time-triggered architectures à la ARINC 653. The main originality of our work is that it takes into account at the same time multiple complexity elements: various types of non-functional properties (real-time, partitioning, allocation, preemptability) and functional specifications with conditional execution and multiple modes. Allocation of time slots/windows to partitions can be fullyor partially provided, or synthesized by our tool. Our algorithms allow the automatic allocation and scheduling onto multi-processor (distributed) sys-tems with a global time base, taking into account communication costs. We demonstrate our technique on a model of space flight software systemwith strong real-time determinism requirements.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-236317" status="VALID">
          <idno type="ROR">https://ror.org/05gq02987</idno>
          <orgName>Brown University</orgName>
          <desc>
            <address>
              <addrLine>Providence, Rhode Island 02912</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.brown.edu/</ref>
          </desc>
        </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="laboratory" xml:id="struct-260022" status="VALID">
          <orgName>Airbus Defence and Space [Les Mureaux]</orgName>
          <desc>
            <address>
              <addrLine>61 Route de Verneuil 78 130 Les Mureaux Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://airbusdefenceandspace.com</ref>
          </desc>
          <listRelation>
            <relation active="#struct-312948" type="direct"/>
          </listRelation>
        </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-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-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>
        <org type="institution" xml:id="struct-312948" status="INCOMING">
          <orgName>ASTRIUM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>