<?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 inria-00071871</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-24T05:34:23+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Polychrony for system design</title>
            <author role="aut">
              <persName>
                <forename type="first">Paul</forename>
                <surname>Le Guernic</surname>
              </persName>
              <idno type="halauthorid">142867-0</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2518"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Pierre</forename>
                <surname>Talpin</surname>
              </persName>
              <email type="md5">a4581aba9878bd85f3ccefafbafbe20c</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">jean-pierretalpin</idno>
              <idno type="idhal" notation="numeric">742474</idno>
              <idno type="halauthorid" notation="string">13257-742474</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0556-4265</idno>
              <idno type="IDREF">https://www.idref.fr/094211515</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2518"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Christophe</forename>
                <surname>Le Lann</surname>
              </persName>
              <email type="md5">a18d9cb7393f1ca2c34071d78d62752e</email>
              <email type="domain">ensta.fr</email>
              <idno type="idhal" notation="string">jean-christophe-le-lann</idno>
              <idno type="idhal" notation="numeric">19050</idno>
              <idno type="halauthorid" notation="string">23740-19050</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2555-1805</idno>
              <idno type="IDREF">https://www.idref.fr/069134340</idno>
              <affiliation ref="#struct-34587"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Rapport De Recherche</forename>
                <surname>Inria</surname>
              </persName>
              <email type="md5">5abb5e81fa75e038ad4538c1220f4652</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-05-23 19:03:58</date>
              <date type="whenWritten">2003</date>
              <date type="whenModified">2025-06-17 15:04:31</date>
              <date type="whenReleased">2006-05-31 14:24:26</date>
              <date type="whenProduced">2003</date>
              <date type="whenEndEmbargoed">2006-05-23</date>
              <ref type="file" target="https://inria.hal.science/inria-00071871v1/document">
                <date notBefore="2006-05-23"/>
              </ref>
              <ref type="file" n="1" target="https://inria.hal.science/inria-00071871v1/file/RR-4715.pdf" id="file-71871-679790">
                <date notBefore="2006-05-23"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="111068">
                <persName>
                  <forename>Rapport De Recherche</forename>
                  <surname>Inria</surname>
                </persName>
                <email type="md5">5abb5e81fa75e038ad4538c1220f4652</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00071871</idno>
            <idno type="halUri">https://inria.hal.science/inria-00071871</idno>
            <idno type="halBibtex">leguernic:inria-00071871</idno>
            <idno type="halRefHtml">[Research Report] RR-4715, INRIA. 2003</idno>
            <idno type="halRef">[Research Report] RR-4715, INRIA. 2003</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-71871-679790"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</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="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</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="IRISA-D4">LANGAGE ET GÉNIE LOGICIEL </idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Polychrony for system design</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Paul</forename>
                    <surname>Le Guernic</surname>
                  </persName>
                  <idno type="halauthorid">142867-0</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2518"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Pierre</forename>
                    <surname>Talpin</surname>
                  </persName>
                  <email type="md5">a4581aba9878bd85f3ccefafbafbe20c</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">jean-pierretalpin</idno>
                  <idno type="idhal" notation="numeric">742474</idno>
                  <idno type="halauthorid" notation="string">13257-742474</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0556-4265</idno>
                  <idno type="IDREF">https://www.idref.fr/094211515</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2518"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Christophe</forename>
                    <surname>Le Lann</surname>
                  </persName>
                  <email type="md5">a18d9cb7393f1ca2c34071d78d62752e</email>
                  <email type="domain">ensta.fr</email>
                  <idno type="idhal" notation="string">jean-christophe-le-lann</idno>
                  <idno type="idhal" notation="numeric">19050</idno>
                  <idno type="halauthorid" notation="string">23740-19050</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2555-1805</idno>
                  <idno type="IDREF">https://www.idref.fr/069134340</idno>
                  <affiliation ref="#struct-34587"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-4715</idno>
                <imprint>
                  <date type="datePub">2003</date>
                </imprint>
                <authority type="institution">INRIA</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>System design based on the so-called «synchronous hypothesis» consists of abstracting non-functional implementation details of a system and lets one benefit from a focused reasoning on the logics behind the instants at which system functionalities should be secured, providing ease to generating synchronous circuits and verifying their functionalities using compilers and tools that implement this approach. In the relational model of the design language Signal, this affinity goes beyond the domain of purely synchronous circuits and embraces the context of complex architectures consisting of synchronous circuits and desynchronization protocols: Gals architectures. The unique features of Signal are to provide the notion of polychrony: the capability to describe circuits and systems with several clocks; to support refinement: the ability to assist and support system design from the early stages of requirement specification, to the later stages of synthesis and deployment. The Signal model provides a design methodology that forms a continuum from synchrony to asynchrony, from specification to implementation , from abstraction to concretization, from interfaces to implementations. Signal gives the opportunity to seamlessly model circuits and devices at multiple levels of abstractions, by implementing mechanisms found in many hardware simulators, while reasoning within a simple and formally defined mathematical model. In the same manner, the flexibility inherent to the abstract notion of signal handled in the polychronous design model of Signal invites and favors the design of correct by construction systems by means of well-defined transformations of system specifications that preserve the intended semantics and stated properties of the architecture under design. The aim of the present article is to review and summarize these formal, correct-by-construction, design transformations. Most of them are implemented in the Polychrony tool-set, allowing for mixed bottom-up and top-down design of embedded hardware-software system using the Signal design language.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2518" status="OLD">
          <idno type="RNSR">200218352U</idno>
          <orgName>Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems</orgName>
          <orgName type="acronym">ESPRESSO</orgName>
          <date type="start">2002-01-01</date>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/espresso</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2494" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="indirect"/>
            <relation active="#struct-419153" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34587" status="OLD">
          <orgName>INRIA Rocquencourt</orgName>
          <desc>
            <address>
              <addrLine>Domaine de Voluceau-Rocquencourt BP 105 78153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-rocq.inria.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2494" status="OLD">
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">1980-01-01</date>
          <date type="end">1999-12-31</date>
          <desc>
            <address>
              <addrLine>Campus universitaire de Beaulieu - 35042 Rennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>