<?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-00289103</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-18T08:29:56+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">From Data to Events: Checking Properties on the Control of a System</title>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Jacquet</surname>
              </persName>
              <email type="md5">2d83c216f0dd16615eed3be9134ccc7d</email>
              <email type="domain">supelec.fr</email>
              <idno type="idhal" notation="numeric">942953</idno>
              <idno type="halauthorid" notation="string">289848-942953</idno>
              <idno type="IDREF">https://www.idref.fr/119849283</idno>
              <affiliation ref="#struct-21400"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">frederic-boulanger</idno>
              <idno type="idhal" notation="numeric">4636</idno>
              <idno type="halauthorid" notation="string">54801-4636</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
              <idno type="IDREF">https://www.idref.fr/132922029</idno>
              <affiliation ref="#struct-21400"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dominique</forename>
                <surname>Marcadet</surname>
              </persName>
              <email type="md5">3f25fc92b5d859268a92b6e9a53627b4</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">dominique-marcadet</idno>
              <idno type="idhal" notation="numeric">4356</idno>
              <idno type="halauthorid" notation="string">6297-4356</idno>
              <idno type="IDREF">https://www.idref.fr/132922347</idno>
              <idno type="VIAF">https://viaf.org/viaf/197285515</idno>
              <affiliation ref="#struct-21400"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Evelyne</forename>
                <surname>Faivre</surname>
              </persName>
              <email type="md5">36664f1be53870a1bda189ab2af6508c</email>
              <email type="domain">supelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2008-06-19 15:21:30</date>
              <date type="whenModified">2023-02-14 03:36:52</date>
              <date type="whenReleased">2008-06-20 08:53:51</date>
              <date type="whenProduced">2008-06-05</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123536">
                <persName>
                  <forename>Evelyne</forename>
                  <surname>Faivre</surname>
                </persName>
                <email type="md5">36664f1be53870a1bda189ab2af6508c</email>
                <email type="domain">supelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00289103</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-00289103</idno>
            <idno type="halBibtex">jacquet:hal-00289103</idno>
            <idno type="halRefHtml">&lt;i&gt;ACM-IEEE MEMOCODE'2008&lt;/i&gt;, Jun 2008, ANAHEIM, United States. pp.17-26</idno>
            <idno type="halRef">ACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SUPELEC">SUPELEC</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</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">From Data to Events: Checking Properties on the Control of a System</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Jacquet</surname>
                  </persName>
                  <email type="md5">2d83c216f0dd16615eed3be9134ccc7d</email>
                  <email type="domain">supelec.fr</email>
                  <idno type="idhal" notation="numeric">942953</idno>
                  <idno type="halauthorid" notation="string">289848-942953</idno>
                  <idno type="IDREF">https://www.idref.fr/119849283</idno>
                  <affiliation ref="#struct-21400"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Boulanger</surname>
                  </persName>
                  <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">frederic-boulanger</idno>
                  <idno type="idhal" notation="numeric">4636</idno>
                  <idno type="halauthorid" notation="string">54801-4636</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
                  <idno type="IDREF">https://www.idref.fr/132922029</idno>
                  <affiliation ref="#struct-21400"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dominique</forename>
                    <surname>Marcadet</surname>
                  </persName>
                  <email type="md5">3f25fc92b5d859268a92b6e9a53627b4</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">dominique-marcadet</idno>
                  <idno type="idhal" notation="numeric">4356</idno>
                  <idno type="halauthorid" notation="string">6297-4356</idno>
                  <idno type="IDREF">https://www.idref.fr/132922347</idno>
                  <idno type="VIAF">https://viaf.org/viaf/197285515</idno>
                  <affiliation ref="#struct-21400"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008)</title>
                <meeting>
                  <title>ACM-IEEE MEMOCODE'2008</title>
                  <date type="start">2008-06-05</date>
                  <settlement>ANAHEIM</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">17-26</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</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>We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique event-based controller. Descriptions are used both for generating and deploying implementation code and for checking safety properties on the systems. The only constraint is to specify the controller in a synchronous reactive language. We propose an analysis tool which transforms temporal logic properties of the system as a whole into properties on the events of the controller, and hence into synchronous reactive observers. If checks succeed, the final system is therefore correct by construction. When properties cannot be translated exactly into observers of the control, our tool is capable of generating approximate observers. In this case, the results are subject to interpretation, but can prove useful and help detect defects or even guarantee the correctness of a system.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-21400" status="OLD">
          <orgName>SUPELEC-Campus Gif</orgName>
          <desc>
            <address>
              <addrLine>Plateau du Moulon - 3 rue Joliot-Curie - 91192 Gif-sur-Yvette CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supelec.fr/gif/</ref>
          </desc>
          <listRelation>
            <relation name="300812" active="#struct-303397" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-303397" status="VALID">
          <orgName>Ecole Supérieure d'Electricité - SUPELEC (FRANCE)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>