<?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-01055388</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-21T10:21:41+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Specification of Embedded Control Systems Behaviour Using Actor Interface Automata</title>
            <author role="aut">
              <persName>
                <forename type="first">Christo</forename>
                <surname>Angelov</surname>
              </persName>
              <idno type="halauthorid">853451-0</idno>
              <affiliation ref="#struct-264057"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Feng</forename>
                <surname>Zhou</surname>
              </persName>
              <idno type="idhal" notation="numeric">755317</idno>
              <idno type="halauthorid" notation="string">617360-755317</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6122-0611</idno>
              <affiliation ref="#struct-264057"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Krzysztof</forename>
                <surname>Sierszecki</surname>
              </persName>
              <idno type="halauthorid">853452-0</idno>
              <affiliation ref="#struct-264057"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-08-12 16:04:20</date>
              <date type="whenModified">2026-02-24 08:58:02</date>
              <date type="whenReleased">2014-08-12 16:12:20</date>
              <date type="whenProduced">2010-10-13</date>
              <date type="whenEndEmbargoed">2014-08-12</date>
              <ref type="file" target="https://inria.hal.science/hal-01055388v1/document">
                <date notBefore="2014-08-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01055388v1/file/SEUS_2010_Paper_15_-_Actor_Interface_Automata_-_20100716_9.pdf" id="file-1055388-859811">
                <date notBefore="2014-08-12"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-16256-5_17.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01055388</idno>
            <idno type="halUri">https://inria.hal.science/hal-01055388</idno>
            <idno type="halBibtex">angelov:hal-01055388</idno>
            <idno type="halRefHtml">&lt;i&gt;8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)&lt;/i&gt;, Oct 2010, Waidhofen/Ybbs, Austria. pp.167-178, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-16256-5_17"&gt;&amp;#x27E8;10.1007/978-3-642-16256-5_17&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.167-178, &amp;#x27E8;10.1007/978-3-642-16256-5_17&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1055388-859811"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-LNCS-6399" corresp="IFIP-LNCS">Software Technologies for Embedded and Ubiquitous Systems</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC10" corresp="IFIP-TC">IFIP-TC10</idno>
            <idno type="stamp" n="IFIP-2010">IFIP-2010</idno>
            <idno type="stamp" n="IFIP-SEUS">Software Technologies for Embedded and Ubiquitous Systems</idno>
            <idno type="stamp" n="IFIP-WG10-2">Embedded Systems</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">Specification of Embedded Control Systems Behaviour Using Actor Interface Automata</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Christo</forename>
                    <surname>Angelov</surname>
                  </persName>
                  <idno type="halauthorid">853451-0</idno>
                  <affiliation ref="#struct-264057"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Feng</forename>
                    <surname>Zhou</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">755317</idno>
                  <idno type="halauthorid" notation="string">617360-755317</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6122-0611</idno>
                  <affiliation ref="#struct-264057"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Krzysztof</forename>
                    <surname>Sierszecki</surname>
                  </persName>
                  <idno type="halauthorid">853452-0</idno>
                  <affiliation ref="#struct-264057"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)</title>
                  <date type="start">2010-10-13</date>
                  <date type="end">2010-10-15</date>
                  <settlement>Waidhofen/Ybbs</settlement>
                  <country key="AT">Austria</country>
                </meeting>
                <editor>Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Software Technologies for Embedded and Ubiquitous Systems</biblScope>
                  <biblScope unit="volume">LNCS-6399</biblScope>
                  <biblScope unit="pp">167-178</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-16256-5_17</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">interface automata</term>
                <term xml:lang="en">distributed timed multitasking</term>
                <term xml:lang="en">domain-specific frameworks</term>
                <term xml:lang="en">component-based design of embedded software</term>
                <term xml:lang="en">Distributed control systems</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dl">Computer Science [cs]/Digital Libraries [cs.DL]</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>Distributed Timed Multitasking (DTM) is a model of computation describing the operation of hard real-time embedded control systems. With this model, an application is conceived as a network of distributed embedded actors that communicate with one another by exchanging labeled messages (signals), independent of their physical allocation. Input and output signals are exchanged with the controlled plant at precisely specified time instants, which provides for a constant delay from sampling to actuation and the elimination of I/O jitter. The paper presents an operational specification of DTM in terms of actor interface automata, whereby a distributed control system is modeled as a set of communicating interface automata executing distributed transactions. The above modeling technique has implications for system design, since interface automata can be used as design models that can be implemented as application or operating system components. It has also implications for system analysis, since actor interface automata are essentially timed automata that can be used as analysis models in model checking tools and simulation environments.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-264057" status="INCOMING">
          <orgName>Mads Clausen Institute for Product Innovation</orgName>
          <desc>
            <address>
              <addrLine>Soenderborg</addrLine>
              <country key="DK"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-50786" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-50786" status="VALID">
          <idno type="IdRef">076624099</idno>
          <idno type="ROR">https://ror.org/03yrrjy16</idno>
          <orgName>University of Southern Denmark = Syddansk Universitet</orgName>
          <orgName type="acronym">SDU</orgName>
          <desc>
            <address>
              <addrLine>5320 Odense</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">https://www.sdu.dk/en</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>