<?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-01242732</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-18T19:24:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Synchronous-based Code Generator For Explicit Hybrid Systems Languages</title>
            <author role="aut">
              <persName>
                <forename type="first">Timothy</forename>
                <surname>Bourke</surname>
              </persName>
              <email type="md5">627431a6c6d487d4fb57abf07f4990a8</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">tbrk</idno>
              <idno type="idhal" notation="numeric">1591</idno>
              <idno type="halauthorid" notation="string">19816-1591</idno>
              <idno type="IDREF">https://www.idref.fr/202418812</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0601-4182</idno>
              <affiliation ref="#struct-155688"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Louis</forename>
                <surname>Colaço</surname>
              </persName>
              <idno type="halauthorid">211877-0</idno>
              <affiliation ref="#struct-358165"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Bruno</forename>
                <surname>Pagano</surname>
              </persName>
              <idno type="halauthorid">102594-0</idno>
              <orgName ref="#struct-358165"/>
              <affiliation ref="#struct-358165"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Cédric</forename>
                <surname>Pasteur</surname>
              </persName>
              <email type="md5">e09e33fb6bcab6a7af870ddf0f5066c1</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="numeric">935736</idno>
              <idno type="halauthorid" notation="string">656775-935736</idno>
              <affiliation ref="#struct-155688"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marc</forename>
                <surname>Pouzet</surname>
              </persName>
              <email type="md5">d236b5ced2086d109ad32682492b572e</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="numeric">916467</idno>
              <idno type="halauthorid" notation="string">142800-916467</idno>
              <affiliation ref="#struct-155688"/>
              <affiliation ref="#struct-59704"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Marc</forename>
                <surname>Pouzet</surname>
              </persName>
              <email type="md5">d236b5ced2086d109ad32682492b572e</email>
              <email type="domain">ens.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-12-14 07:55:13</date>
              <date type="whenWritten">2015-05-18</date>
              <date type="whenModified">2025-10-24 17:38:02</date>
              <date type="whenReleased">2015-12-14 07:55:13</date>
              <date type="whenProduced">2015-07-11</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="328118">
                <persName>
                  <forename>Marc</forename>
                  <surname>Pouzet</surname>
                </persName>
                <email type="md5">d236b5ced2086d109ad32682492b572e</email>
                <email type="domain">ens.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01242732</idno>
            <idno type="halUri">https://inria.hal.science/hal-01242732</idno>
            <idno type="halBibtex">bourke:hal-01242732</idno>
            <idno type="halRefHtml">&lt;i&gt;International Conference on Compiler Construction (CC)&lt;/i&gt;, Jul 2015, London, United Kingdom</idno>
            <idno type="halRef">International Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</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-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</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 Synchronous-based Code Generator For Explicit Hybrid Systems Languages</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Timothy</forename>
                    <surname>Bourke</surname>
                  </persName>
                  <email type="md5">627431a6c6d487d4fb57abf07f4990a8</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">tbrk</idno>
                  <idno type="idhal" notation="numeric">1591</idno>
                  <idno type="halauthorid" notation="string">19816-1591</idno>
                  <idno type="IDREF">https://www.idref.fr/202418812</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0601-4182</idno>
                  <affiliation ref="#struct-155688"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Louis</forename>
                    <surname>Colaço</surname>
                  </persName>
                  <idno type="halauthorid">211877-0</idno>
                  <affiliation ref="#struct-358165"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Bruno</forename>
                    <surname>Pagano</surname>
                  </persName>
                  <idno type="halauthorid">102594-0</idno>
                  <orgName ref="#struct-358165"/>
                  <affiliation ref="#struct-358165"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Cédric</forename>
                    <surname>Pasteur</surname>
                  </persName>
                  <email type="md5">e09e33fb6bcab6a7af870ddf0f5066c1</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="numeric">935736</idno>
                  <idno type="halauthorid" notation="string">656775-935736</idno>
                  <affiliation ref="#struct-155688"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marc</forename>
                    <surname>Pouzet</surname>
                  </persName>
                  <email type="md5">d236b5ced2086d109ad32682492b572e</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="numeric">916467</idno>
                  <idno type="halauthorid" notation="string">142800-916467</idno>
                  <affiliation ref="#struct-155688"/>
                  <affiliation ref="#struct-59704"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>International Conference on Compiler Construction (CC)</title>
                  <date type="start">2015-07-11</date>
                  <date type="end">2015-07-18</date>
                  <settlement>London</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">LNCS</biblScope>
                  <date type="datePub">2015-05-18</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en"> compilation</term>
                <term xml:lang="en"> synchronous languages</term>
                <term xml:lang="en">Hybrid systems</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Modeling languages for hybrid systems are cornerstones of embedded systems development in which software interacts with a physical environment. Sequential code generation from such languages is important for simulation efficiency and for producing code for embedded targets. Despite being routinely used in industrial compilers, code generation is rarely, if ever, described in full detail, much less formalized. Yet formalization is an essential step in building trustable compilers for critical embedded software development.This paper presents a novel approach for generating code from a hybrid systems modeling language. By building on top of an existing synchronous language and compiler, it reuses almost all the existing infrastructure with only a few modifications. Starting from an existing synchronous data-flow language conservatively extended with Ordinary Differential Equations (ODEs), this paper details the sequence of source-to-source transformations that ultimately yield sequential code. A generic intermediate language is introduced to represent transition functions. The versatility of this approach is exhibited by treating two classical simulation targets: code that complies with the FMI standard and code directly linked with an off-the-shelf numerical solver (Sundials CVODE).</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-155688" status="OLD">
          <idno type="IdRef">158093453</idno>
          <idno type="RNSR">201120983P</idno>
          <orgName>Parallélisme de Kahn Synchrone</orgName>
          <orgName type="acronym">Parkas</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Département d'informatique École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/parkas</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
            <relation active="#struct-86790" type="direct"/>
            <relation name="UMR 8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-358165" status="VALID">
          <orgName>Esterel Technologies / Ansys [Toulouse]</orgName>
          <desc>
            <address>
              <addrLine>9, Rue Michel LabroussePark Avenue – EMERAUDE 131100 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.esterel-technologies.com/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </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="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="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>
      </listOrg>
    </back>
  </text>
</TEI>