<?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-02881889</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:45:09+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Timed Discrete-Event Simulation of Aviation Scenarios</title>
            <author role="aut">
              <persName>
                <forename type="first">Hai</forename>
                <surname>Nguyen Van</surname>
              </persName>
              <idno type="halauthorid">28051-0</idno>
              <affiliation ref="#struct-1050003"/>
            </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-1050003"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Burkhart</forename>
                <surname>Wolff</surname>
              </persName>
              <email type="md5">c1a4c763047e3686fb6e4715a0210b61</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">burkhart-wolff</idno>
              <idno type="idhal" notation="numeric">5502</idno>
              <idno type="halauthorid" notation="string">18102-5502</idno>
              <idno type="IDREF">https://www.idref.fr/074692097</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9648-7663</idno>
              <affiliation ref="#struct-1050003"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-06-26 10:11:51</date>
              <date type="whenModified">2025-01-09 19:13:12</date>
              <date type="whenReleased">2020-07-01 14:43:47</date>
              <date type="whenProduced">2020-06</date>
              <date type="whenEndEmbargoed">2020-06-26</date>
              <ref type="file" target="https://centralesupelec.hal.science/hal-02881889v1/document">
                <date notBefore="2020-06-26"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://centralesupelec.hal.science/hal-02881889v1/file/authorversion.pdf" id="file-2881889-2534042">
                <date notBefore="2020-06-26"/>
              </ref>
              <ref type="externalLink" target="https://www.sne-journal.org/fileadmin/user_upload_sne/SNE_Issues_OA/SNE_30_2/articles/sne.30.2.10512.tn.OA.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178320">
                <persName>
                  <forename>Frédéric</forename>
                  <surname>Boulanger</surname>
                </persName>
                <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02881889</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-02881889</idno>
            <idno type="halBibtex">nguyenvan:hal-02881889</idno>
            <idno type="halRefHtml">&lt;i&gt;SNE Simulation Notes Europe&lt;/i&gt;, 2020, 30 (2), pp.51-60. &lt;a target="_blank" href="https://dx.doi.org/10.11128/sne.30.tn.10512"&gt;&amp;#x27E8;10.11128/sne.30.tn.10512&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">SNE Simulation Notes Europe, 2020, 30 (2), pp.51-60. &amp;#x27E8;10.11128/sne.30.tn.10512&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2881889-2534042"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</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>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="ENS-PSACLAY">Ecole Normale Supérieure Paris-Saclay</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="GS-LIFE-SCIENCES-HEALTH" corresp="UNIVERSITE-PARIS-SACLAY">Graduate School Life Sciences and Health</idno>
            <idno type="stamp" n="LMF">Laboratoire Méthodes Formelles</idno>
            <idno type="stamp" n="LMF-CDS">Concurrence et distribué</idno>
            <idno type="stamp" n="LMF-SYSTCRIT">Modélisation formelle des systèmes critiques</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">Timed Discrete-Event Simulation of Aviation Scenarios</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Hai</forename>
                    <surname>Nguyen Van</surname>
                  </persName>
                  <idno type="halauthorid">28051-0</idno>
                  <affiliation ref="#struct-1050003"/>
                </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-1050003"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Burkhart</forename>
                    <surname>Wolff</surname>
                  </persName>
                  <email type="md5">c1a4c763047e3686fb6e4715a0210b61</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">burkhart-wolff</idno>
                  <idno type="idhal" notation="numeric">5502</idno>
                  <idno type="halauthorid" notation="string">18102-5502</idno>
                  <idno type="IDREF">https://www.idref.fr/074692097</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9648-7663</idno>
                  <affiliation ref="#struct-1050003"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">130809</idno>
                <idno type="issn">2306-0271</idno>
                <title level="j">SNE Simulation Notes Europe</title>
                <imprint>
                  <publisher>ArgeSIM</publisher>
                  <biblScope unit="volume">30</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">51-60</biblScope>
                  <date type="datePub">2020-06</date>
                </imprint>
              </monogr>
              <idno type="doi">10.11128/sne.30.tn.10512</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <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="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>Ensuring systems behave as they are expected is unavoidable in the context of critical environments. In the aviation industry, certification standards provide rules and protocols to ensure correct maneuvers with respect to logical or timed events. These are targeted to computer-intensive systems as well as to human flight crews. In this setting, we are interested in the modeling and simulation of event-driven and time-driven behaviors at a high level. This study focuses on the TESL language [9] that provides a logical framework for timed behaviors with monitoring and testing features. In particular, we model various aviation scenarios and focus our study on fault monitoring.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1050003" status="OLD">
          <idno type="RNSR">199812948M</idno>
          <orgName>Laboratoire de Recherche en Informatique</orgName>
          <orgName type="acronym">LRI</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>LRI - Bâtiments 650-660 Université Paris-Saclay 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lri.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/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>