<?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-01713193</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-03T03:57:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Testing real-time systems with runtime enforcement</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Luc</forename>
                <surname>Béchennec</surname>
              </persName>
              <email type="md5">e8381700652ae7f80c47bbc196ccb2a0</email>
              <email type="domain">ls2n.fr</email>
              <idno type="idhal" notation="string">jean-luc-bechennec</idno>
              <idno type="idhal" notation="numeric">17351</idno>
              <idno type="halauthorid" notation="string">10726-17351</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3763-8417</idno>
              <idno type="IDREF">https://www.idref.fr/086974882</idno>
              <affiliation ref="#struct-473973"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matthias</forename>
                <surname>Brun</surname>
              </persName>
              <email type="md5">efa53a6020d08bf754633dcfc19a7540</email>
              <email type="domain">eseo.fr</email>
              <idno type="idhal" notation="string">matthias-brun-id-hal</idno>
              <idno type="idhal" notation="numeric">882892</idno>
              <idno type="halauthorid" notation="string">509578-882892</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9076-149X</idno>
              <affiliation ref="#struct-398295"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sébastien</forename>
                <surname>Faucou</surname>
              </persName>
              <email type="md5">46c52dd3dd3a548a85ed4ccce021462b</email>
              <email type="domain">univ-nantes.fr</email>
              <idno type="idhal" notation="string">sebastien-faucou</idno>
              <idno type="idhal" notation="numeric">17420</idno>
              <idno type="halauthorid" notation="string">10793-17420</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1514-3579</idno>
              <idno type="IDREF">https://www.idref.fr/077263847</idno>
              <affiliation ref="#struct-473973"/>
              <affiliation ref="#struct-93263"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Louis-Marie</forename>
                <surname>Givel</surname>
              </persName>
              <idno type="halauthorid">927846-0</idno>
              <affiliation ref="#struct-473973"/>
              <affiliation ref="#struct-111023"/>
              <affiliation ref="#struct-398295"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <forename type="middle">H.</forename>
                <surname>Roux</surname>
              </persName>
              <email type="md5">f67776218d9028e48578a72837e76a34</email>
              <email type="domain">ec-nantes.fr</email>
              <idno type="idhal" notation="string">olivier-roux</idno>
              <idno type="idhal" notation="numeric">17486</idno>
              <idno type="halauthorid" notation="string">36724-17486</idno>
              <idno type="IDREF">https://www.idref.fr/066922836</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1665-0481</idno>
              <affiliation ref="#struct-473973"/>
              <affiliation ref="#struct-111023"/>
              <affiliation ref="#struct-1088582"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sébastien</forename>
                <surname>Faucou</surname>
              </persName>
              <email type="md5">46c52dd3dd3a548a85ed4ccce021462b</email>
              <email type="domain">univ-nantes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-02-20 11:59:21</date>
              <date type="whenModified">2026-04-12 09:00:16</date>
              <date type="whenReleased">2018-02-23 11:05:20</date>
              <date type="whenProduced">2018</date>
              <date type="whenEndEmbargoed">2018-02-20</date>
              <ref type="file" target="https://hal.science/hal-01713193v1/document">
                <date notBefore="2018-02-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01713193v1/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf" id="file-1713193-1757031">
                <date notBefore="2018-02-20"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-01713193/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="150055">
                <persName>
                  <forename>Sébastien</forename>
                  <surname>Faucou</surname>
                </persName>
                <email type="md5">46c52dd3dd3a548a85ed4ccce021462b</email>
                <email type="domain">univ-nantes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01713193</idno>
            <idno type="halUri">https://hal.science/hal-01713193</idno>
            <idno type="halBibtex">bechennec:hal-01713193</idno>
            <idno type="halRefHtml">&lt;i&gt;IEEE Design &amp; Test&lt;/i&gt;, 2018, 35 (4), &lt;a target="_blank" href="https://dx.doi.org/10.1109/MDAT.2018.2791801"&gt;&amp;#x27E8;10.1109/MDAT.2018.2791801&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">IEEE Design &amp; Test, 2018, 35 (4), &amp;#x27E8;10.1109/MDAT.2018.2791801&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1713193-1757031"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="ESEO-TECH">ESEO</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-STR" corresp="LS2N">LS2N - équipe STR</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="ESEO-ERIS" corresp="ESEO-TECH">ESEO-ERIS</idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="NU-CENTRALE">École Centrale de Nantes</idno>
            <idno type="stamp" n="ESEO-TRAME" corresp="ESEO-TECH">ESEO-TRAME</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Testing real-time systems with runtime enforcement</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Luc</forename>
                    <surname>Béchennec</surname>
                  </persName>
                  <email type="md5">e8381700652ae7f80c47bbc196ccb2a0</email>
                  <email type="domain">ls2n.fr</email>
                  <idno type="idhal" notation="string">jean-luc-bechennec</idno>
                  <idno type="idhal" notation="numeric">17351</idno>
                  <idno type="halauthorid" notation="string">10726-17351</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3763-8417</idno>
                  <idno type="IDREF">https://www.idref.fr/086974882</idno>
                  <affiliation ref="#struct-473973"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matthias</forename>
                    <surname>Brun</surname>
                  </persName>
                  <email type="md5">efa53a6020d08bf754633dcfc19a7540</email>
                  <email type="domain">eseo.fr</email>
                  <idno type="idhal" notation="string">matthias-brun-id-hal</idno>
                  <idno type="idhal" notation="numeric">882892</idno>
                  <idno type="halauthorid" notation="string">509578-882892</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9076-149X</idno>
                  <affiliation ref="#struct-398295"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sébastien</forename>
                    <surname>Faucou</surname>
                  </persName>
                  <email type="md5">46c52dd3dd3a548a85ed4ccce021462b</email>
                  <email type="domain">univ-nantes.fr</email>
                  <idno type="idhal" notation="string">sebastien-faucou</idno>
                  <idno type="idhal" notation="numeric">17420</idno>
                  <idno type="halauthorid" notation="string">10793-17420</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1514-3579</idno>
                  <idno type="IDREF">https://www.idref.fr/077263847</idno>
                  <affiliation ref="#struct-473973"/>
                  <affiliation ref="#struct-93263"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Louis-Marie</forename>
                    <surname>Givel</surname>
                  </persName>
                  <idno type="halauthorid">927846-0</idno>
                  <affiliation ref="#struct-473973"/>
                  <affiliation ref="#struct-111023"/>
                  <affiliation ref="#struct-398295"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <forename type="middle">H.</forename>
                    <surname>Roux</surname>
                  </persName>
                  <email type="md5">f67776218d9028e48578a72837e76a34</email>
                  <email type="domain">ec-nantes.fr</email>
                  <idno type="idhal" notation="string">olivier-roux</idno>
                  <idno type="idhal" notation="numeric">17486</idno>
                  <idno type="halauthorid" notation="string">36724-17486</idno>
                  <idno type="IDREF">https://www.idref.fr/066922836</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1665-0481</idno>
                  <affiliation ref="#struct-473973"/>
                  <affiliation ref="#struct-111023"/>
                  <affiliation ref="#struct-1088582"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">66757</idno>
                <idno type="issn">2168-2356</idno>
                <title level="j">IEEE Design &amp; Test</title>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="volume">35</biblScope>
                  <biblScope unit="issue">4</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/MDAT.2018.2791801</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">runtime enforcement</term>
                <term xml:lang="en">real-time testing</term>
                <term xml:lang="en">formal methods</term>
                <term xml:lang="en">RTOS</term>
                <term xml:lang="en">model-based testing</term>
                <term xml:lang="en">parametric timed model</term>
                <term xml:lang="en">real-time systems</term>
              </keywords>
              <classCode scheme="acm" n="D.4.7.4">D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems</classCode>
              <classCode scheme="acm" n="D.4.5">D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability</classCode>
              <classCode scheme="acm" n="D.2.5">D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>—When testing a time-critical system, some scenarios can be hard to run when acting only on the input sequence. The proper execution of a given scenario might require for instance a minimal execution time for a given piece of software. Execution times are notoriously difficult to control because they depend not only on the inputs, but also on the state of the micro-architecture. In this paper, we propose a method, based on runtime enforcement, which forces a system to run such a scenario. We also describe an implementation in the context of a RTOS for embedded control systems. Our method starts with a parametric formal model of the system where the parameters are delays that can be added to simulate longer execution times. The domain of acceptable parameter values to run the target scenario is computed offline. Online, a framework plugged in the RTOS observes the execution of the system and injects delays when needed.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-473973" status="OLD">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Nantes – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </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="researchteam" xml:id="struct-398295" status="OLD">
          <orgName>ESEO-TRAME</orgName>
          <orgName type="acronym">TRAME</orgName>
          <date type="end">2018-11-30</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-188843" type="direct"/>
            <relation active="#struct-469973" type="indirect"/>
            <relation active="#struct-499274" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1088582" status="VALID">
          <orgName>STR</orgName>
          <orgName type="acronym">LS2N - équipe STR</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr/equipe/str/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1088564" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="indirect"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="indirect"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-97058" status="OLD">
          <orgName>Université de Nantes - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">UN UFR ST</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-188843" status="VALID">
          <orgName>ESEO-Tech</orgName>
          <desc>
            <address>
              <addrLine>10 boulevard JeanneteauCS 9071749107 Angers cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.eseo.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-469973" type="direct"/>
            <relation active="#struct-499274" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-469973" status="VALID">
          <idno type="IdRef">191639044</idno>
          <idno type="ROR">https://ror.org/04x1a4s97</idno>
          <orgName>Université Bretagne Loire</orgName>
          <orgName type="acronym">UBL</orgName>
          <date type="start">2016-04-01</date>
          <desc>
            <address>
              <addrLine>Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-bretagneloire.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-499274" status="VALID">
          <idno type="ROR">https://ror.org/04nx9ps90</idno>
          <orgName>École supérieure d'électronique de l'ouest [Angers]</orgName>
          <orgName type="acronym">ESEO</orgName>
          <desc>
            <address>
              <addrLine>10 Boulevard Jean Jeanneteau, 49100 Angers</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1088564" status="VALID">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>Nantes Université – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation active="#struct-1086798" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
            <relation active="#struct-1088543" type="direct"/>
            <relation active="#struct-1083400" type="indirect"/>
          </listRelation>
        </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="institution" xml:id="struct-1086798" status="VALID">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>NANTES UNIVERSITÉ - École Centrale de Nantes</orgName>
          <orgName type="acronym">Nantes Univ - ECN</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-1083366" status="VALID">
          <idno type="IdRef">258086599</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Nantes Université</orgName>
          <orgName type="acronym">Nantes Univ</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1088543" status="VALID">
          <orgName>Nantes université - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">Nantes univ -  UFR ST</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083400" type="direct"/>
            <relation active="#struct-1083366" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1083400" status="VALID">
          <orgName>Nantes Université - pôle Sciences et technologie</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://nouvelleuniversite.univ-nantes.fr/les-poles</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1083366" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>