<?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-02296533</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-18T03:11:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures</title>
            <author role="aut">
              <persName>
                <forename type="first">Jacques</forename>
                <surname>Malenfant</surname>
              </persName>
              <email type="md5">1b4551a7142ea5d76db8f7754f2511a3</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">jacques-malenfant</idno>
              <idno type="idhal" notation="numeric">9733</idno>
              <idno type="halauthorid" notation="string">2219-9733</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2986-8132</idno>
              <idno type="IDREF">https://www.idref.fr/05031954X</idno>
              <affiliation ref="#struct-541717"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jacques</forename>
                <surname>Malenfant</surname>
              </persName>
              <email type="md5">1b4551a7142ea5d76db8f7754f2511a3</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-09-25 11:53:05</date>
              <date type="whenModified">2025-02-20 14:09:04</date>
              <date type="whenReleased">2019-09-25 13:50:04</date>
              <date type="whenProduced">2019-09-09</date>
              <date type="whenEndEmbargoed">2020-03-25</date>
              <ref type="file" target="https://hal.sorbonne-universite.fr/hal-02296533v1/document">
                <date notBefore="2020-03-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.sorbonne-universite.fr/hal-02296533v1/file/Malenfant.pdf" id="file-2296533-2215909">
                <date notBefore="2020-03-25"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="452417">
                <persName>
                  <forename>Jacques</forename>
                  <surname>Malenfant</surname>
                </persName>
                <email type="md5">1b4551a7142ea5d76db8f7754f2511a3</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02296533</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-02296533</idno>
            <idno type="halBibtex">malenfant:hal-02296533</idno>
            <idno type="halRefHtml">&lt;i&gt;13th European Conference on Software Architecture (ECSA)&lt;/i&gt;, Sep 2019, Paris, France. pp.132-138, &lt;a target="_blank" href="https://dx.doi.org/10.1145/3344948.3344989"&gt;&amp;#x27E8;10.1145/3344948.3344989&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">13th European Conference on Software Architecture (ECSA), Sep 2019, Paris, France. pp.132-138, &amp;#x27E8;10.1145/3344948.3344989&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2296533-2215909"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</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>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</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">Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jacques</forename>
                    <surname>Malenfant</surname>
                  </persName>
                  <email type="md5">1b4551a7142ea5d76db8f7754f2511a3</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">jacques-malenfant</idno>
                  <idno type="idhal" notation="numeric">9733</idno>
                  <idno type="halauthorid" notation="string">2219-9733</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2986-8132</idno>
                  <idno type="IDREF">https://www.idref.fr/05031954X</idno>
                  <affiliation ref="#struct-541717"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>13th European Conference on Software Architecture (ECSA)</title>
                  <date type="start">2019-09-09</date>
                  <date type="end">2019-09-13</date>
                  <settlement>Paris</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <publisher>ACM Press</publisher>
                  <publisher>ACM Press</publisher>
                  <biblScope unit="volume">2</biblScope>
                  <biblScope unit="pp">132-138</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3344948.3344989</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">test</term>
                <term xml:lang="en">hybrid systems</term>
                <term xml:lang="en">simulation</term>
                <term xml:lang="en">software components</term>
                <term xml:lang="en">validation</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-sy">Computer Science [cs]/Systems and Control [cs.SY]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</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>Cyber-physical control systems (CPCS) are notoriously difficult to specify, implement, test, validate and verify. In this paper, we propose to integrate hybrid systems, and their declensions as hybrid automata and DEVS simulation models, within a full-fledged and well-founded software component model tailored for CPCS. The key concept is to attach to components modular, composable and reusable behavioural and simulation models. The goal is to seamlessly support the software development process, from model-in-the-loop initial validation, until deployment time actual system verification. The resulting comprehensive modeling and software implementation tool aims at fully supporting the different phases of the software life cycle to provide more reliable, robust, reusable and adaptable CPCS using less resources.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541717" status="VALID">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</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>
      </listOrg>
    </back>
  </text>
</TEI>