<?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-03411222</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-18T05:05:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study</title>
            <author role="aut">
              <persName>
                <forename type="first">Zhibin</forename>
                <surname>Yang</surname>
              </persName>
              <idno type="idhal" notation="numeric">772844</idno>
              <idno type="halauthorid" notation="string">876565-772844</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9888-6975</idno>
              <orgName ref="#struct-242940"/>
              <affiliation ref="#struct-242940"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Shenghao</forename>
                <surname>Yuan</surname>
              </persName>
              <idno type="halauthorid">2283242-0</idno>
              <orgName ref="#struct-242940"/>
              <affiliation ref="#struct-242940"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Paul</forename>
                <surname>Bodeveix</surname>
              </persName>
              <email type="md5">2597f92ed353996b3b60ce578a68a54c</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">jean-paul-bodeveix</idno>
              <idno type="idhal" notation="numeric">742455</idno>
              <idno type="halauthorid" notation="string">2716-742455</idno>
              <idno type="IDREF">https://www.idref.fr/033384940</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4179-6063</idno>
              <affiliation ref="#struct-394992"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">M</forename>
                <surname>Filali</surname>
              </persName>
              <email type="md5">9e6bafd752a046ca4d001972cb6bb165</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">mamoun-filali-amine</idno>
              <idno type="idhal" notation="numeric">742572</idno>
              <idno type="halauthorid" notation="string">24658-742572</idno>
              <idno type="IDREF">https://www.idref.fr/033384959</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5387-6805</idno>
              <affiliation ref="#struct-394992"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Tiexin</forename>
                <surname>Wang</surname>
              </persName>
              <idno type="idhal" notation="numeric">814876</idno>
              <idno type="halauthorid" notation="string">1107764-814876</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5432-3812</idno>
              <orgName ref="#struct-242940"/>
              <affiliation ref="#struct-242940"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yong</forename>
                <surname>Zhou</surname>
              </persName>
              <idno type="halauthorid">1249074-0</idno>
              <orgName ref="#struct-242940"/>
              <affiliation ref="#struct-242940"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Mamoun</forename>
                <surname>FILALI-AMINE</surname>
              </persName>
              <email type="md5">9e6bafd752a046ca4d001972cb6bb165</email>
              <email type="domain">irit.fr</email>
            </editor>
            <funder>National Natural Science Foundation of China (62072233, 61502231)</funder>
            <funder>Aviation Science Fund of China (201919052002)</funder>
            <funder>The Fundamental Research Funds for the Central Universities (NP2017205)</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-11-17 09:56:21</date>
              <date type="whenModified">2025-10-22 18:04:09</date>
              <date type="whenReleased">2021-11-22 09:34:13</date>
              <date type="whenProduced">2021-07-01</date>
              <date type="whenEndEmbargoed">2021-11-17</date>
              <ref type="file" target="https://hal.science/hal-03411222v1/document">
                <date notBefore="2021-11-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03411222v1/file/Multi-task%20Ada%20Code%20Generation_preprint.pdf" id="file-3432114-3009382">
                <date notBefore="2021-11-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="973333">
                <persName>
                  <forename>Mamoun</forename>
                  <surname>FILALI-AMINE</surname>
                </persName>
                <email type="md5">9e6bafd752a046ca4d001972cb6bb165</email>
                <email type="domain">irit.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03411222</idno>
            <idno type="halUri">https://hal.science/hal-03411222</idno>
            <idno type="halBibtex">yang:hal-03411222</idno>
            <idno type="halRefHtml">&lt;i&gt;Science of Computer Programming&lt;/i&gt;, 2021, Special issue:SI: Formal Techniques for Safety-Critical Systems 2019, 207, pp.102644. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.scico.2021.102644"&gt;&amp;#x27E8;10.1016/j.scico.2021.102644&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Science of Computer Programming, 2021, Special issue:SI: Formal Techniques for Safety-Critical Systems 2019, 207, pp.102644. &amp;#x27E8;10.1016/j.scico.2021.102644&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3432114-3009382"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-ACADIE" corresp="IRIT">Assistance à la Certification d’Applications DIstribuées et Embarquées</idno>
            <idno type="stamp" n="IRIT-FSL" corresp="IRIT">Fiabilité des Systèmes et des Logiciels</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Special issue edited by Osman Hasan, Frédéric Mallet</note>
            <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">Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Zhibin</forename>
                    <surname>Yang</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">772844</idno>
                  <idno type="halauthorid" notation="string">876565-772844</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9888-6975</idno>
                  <orgName ref="#struct-242940"/>
                  <affiliation ref="#struct-242940"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Shenghao</forename>
                    <surname>Yuan</surname>
                  </persName>
                  <idno type="halauthorid">2283242-0</idno>
                  <orgName ref="#struct-242940"/>
                  <affiliation ref="#struct-242940"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Paul</forename>
                    <surname>Bodeveix</surname>
                  </persName>
                  <email type="md5">2597f92ed353996b3b60ce578a68a54c</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">jean-paul-bodeveix</idno>
                  <idno type="idhal" notation="numeric">742455</idno>
                  <idno type="halauthorid" notation="string">2716-742455</idno>
                  <idno type="IDREF">https://www.idref.fr/033384940</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4179-6063</idno>
                  <affiliation ref="#struct-394992"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">M</forename>
                    <surname>Filali</surname>
                  </persName>
                  <email type="md5">9e6bafd752a046ca4d001972cb6bb165</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">mamoun-filali-amine</idno>
                  <idno type="idhal" notation="numeric">742572</idno>
                  <idno type="halauthorid" notation="string">24658-742572</idno>
                  <idno type="IDREF">https://www.idref.fr/033384959</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5387-6805</idno>
                  <affiliation ref="#struct-394992"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Tiexin</forename>
                    <surname>Wang</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">814876</idno>
                  <idno type="halauthorid" notation="string">1107764-814876</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5432-3812</idno>
                  <orgName ref="#struct-242940"/>
                  <affiliation ref="#struct-242940"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yong</forename>
                    <surname>Zhou</surname>
                  </persName>
                  <idno type="halauthorid">1249074-0</idno>
                  <orgName ref="#struct-242940"/>
                  <affiliation ref="#struct-242940"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">18828</idno>
                <idno type="issn">0167-6423</idno>
                <title level="j">Science of Computer Programming</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="serie">Special issue:SI: Formal Techniques for Safety-Critical Systems 2019</biblScope>
                  <biblScope unit="volume">207</biblScope>
                  <biblScope unit="pp">102644</biblScope>
                  <date type="datePub">2021-07-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.scico.2021.102644</idno>
              <ref type="publisher">https://www.sciencedirect.com/science/article/pii/S016764232100037X?via%3Dihub</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Multi core</term>
                <term xml:lang="en">Ada</term>
                <term xml:lang="en">Multi-task code generation</term>
                <term xml:lang="en">Safety-critical systems</term>
                <term xml:lang="en">Synchronous dataflow language</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</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 growing trend to use multi-core processors to get more performance is increasingly present in safety-critical systems. Synchronous dataflow programming is naturally well-suited to parallel execution, thanks to the fact that all data dependencies are always explicit. MiniSIGNAL is a multi-task code generation tool for the synchronous dataflow language SIGNAL. The existing MiniSIGNAL code generation strategies mainly consider coarse-grained parallelism based on Ada multi-task model. However, when we applied it to industrial case studies, this code generation scheme has revealed inefficient: architecture aspects of the target platform have to be taken into account to achieve fine-grained parallelism. To generate more efficient target code from industrial cases, this paper presents a new multi-task code generation method for MiniSIGNAL. Starting at the level of synchronous clocked guarded actions (S-CGA) which is an intermediate language for the compilation process of MiniSIGNAL, the transformation consists of two parts: at the platform-independent level, transforming the S-CGA representation to an abstract multi-task structure (called Virtual Multi-Tasks, VMT); at the platform-dependent level, adopting the thread pool pattern concurrent JobQueue to support fine-grained parallel Ada code generation from the VMT structure. Moreover, the formal syntax and the operational semantics of VMT are mechanized in the proof assistant Coq. Finally, the effectiveness of our approach is illustrated by an application of the real-world Guidance, Navigation and Control system.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-242940" status="VALID">
          <idno type="ROR">https://ror.org/01scyh794</idno>
          <orgName>Nanjing University of Aeronautics and Astronautics [Nanjing]</orgName>
          <orgName type="acronym">NUAA</orgName>
          <desc>
            <address>
              <addrLine>29 Yudao St., Nanjing 210016</addrLine>
              <country key="CN"/>
            </address>
            <ref type="url">http://ice.nuaa.edu.cn/about/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-394992" status="OLD">
          <orgName>Assistance à la Certification d’Applications DIstribuées et Embarquées</orgName>
          <orgName type="acronym">IRIT-ACADIE</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/-Equipe-ACADIE-</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </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-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>