<?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-03480709</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-17T02:49:09+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS</title>
            <author role="aut">
              <persName>
                <forename type="first">Ouail</forename>
                <surname>Himrane</surname>
              </persName>
              <email type="md5">d5f767a2ff6ba371713a747d32fd87da</email>
              <email type="domain">univ-eiffel.fr</email>
              <idno type="idhal" notation="numeric">1120406</idno>
              <idno type="halauthorid" notation="string">1848593-1120406</idno>
              <affiliation ref="#struct-581183"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julie</forename>
                <surname>Beugin</surname>
              </persName>
              <email type="md5">7fd60b5e1a49e10f14202207537d8bce</email>
              <email type="domain">univ-eiffel.fr</email>
              <idno type="idhal" notation="string">julie-beugin</idno>
              <idno type="idhal" notation="numeric">1110519</idno>
              <idno type="halauthorid" notation="string">194683-1110519</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/E-1379-2015</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1981-1906</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/E-1379-2015</idno>
              <affiliation ref="#struct-581183"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed</forename>
                <surname>Ghazel</surname>
              </persName>
              <email type="md5">95dd996535fc78f0c172992c6931a827</email>
              <email type="domain">ifsttar.fr</email>
              <idno type="idhal" notation="string">mohamed-ghazel</idno>
              <idno type="idhal" notation="numeric">177593</idno>
              <idno type="halauthorid" notation="string">17055-177593</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/Z-2994-2019</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1160-7997</idno>
              <idno type="IDREF">https://www.idref.fr/103687580</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/Z-2994-2019</idno>
              <affiliation ref="#struct-581183"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Moriaque Gaël</forename>
                <surname>GBONSOU</surname>
              </persName>
              <email type="md5">085a5122d96cd6bfde579cc73fc90924</email>
              <email type="domain">imdr.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-12-14 18:06:49</date>
              <date type="whenModified">2024-12-03 15:44:37</date>
              <date type="whenReleased">2021-12-20 14:26:47</date>
              <date type="whenProduced">2020-10-13</date>
              <date type="whenEndEmbargoed">2021-12-14</date>
              <ref type="file" target="https://hal.science/hal-03480709v1/document">
                <date notBefore="2021-12-14"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03480709v1/file/LM22_COM_FULL_482883_Ouail_HIMRANE_20200709_305324.pdf" id="file-3480709-3052391">
                <date notBefore="2021-12-14"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1102595">
                <persName>
                  <forename>Moriaque Gaël</forename>
                  <surname>GBONSOU</surname>
                </persName>
                <email type="md5">085a5122d96cd6bfde579cc73fc90924</email>
                <email type="domain">imdr.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03480709</idno>
            <idno type="halUri">https://hal.science/hal-03480709</idno>
            <idno type="halBibtex">himrane:hal-03480709</idno>
            <idno type="halRefHtml">&lt;i&gt;Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques&lt;/i&gt;, Oct 2020, Le Havre (e-congrès), France</idno>
            <idno type="halRef">Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3480709-3052391"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFSTTAR">Ifsttar</idno>
            <idno type="stamp" n="UNIV-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="U-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="COSYS">Composants et 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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Ouail</forename>
                    <surname>Himrane</surname>
                  </persName>
                  <email type="md5">d5f767a2ff6ba371713a747d32fd87da</email>
                  <email type="domain">univ-eiffel.fr</email>
                  <idno type="idhal" notation="numeric">1120406</idno>
                  <idno type="halauthorid" notation="string">1848593-1120406</idno>
                  <affiliation ref="#struct-581183"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julie</forename>
                    <surname>Beugin</surname>
                  </persName>
                  <email type="md5">7fd60b5e1a49e10f14202207537d8bce</email>
                  <email type="domain">univ-eiffel.fr</email>
                  <idno type="idhal" notation="string">julie-beugin</idno>
                  <idno type="idhal" notation="numeric">1110519</idno>
                  <idno type="halauthorid" notation="string">194683-1110519</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/E-1379-2015</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1981-1906</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/E-1379-2015</idno>
                  <affiliation ref="#struct-581183"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed</forename>
                    <surname>Ghazel</surname>
                  </persName>
                  <email type="md5">95dd996535fc78f0c172992c6931a827</email>
                  <email type="domain">ifsttar.fr</email>
                  <idno type="idhal" notation="string">mohamed-ghazel</idno>
                  <idno type="idhal" notation="numeric">177593</idno>
                  <idno type="halauthorid" notation="string">17055-177593</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/Z-2994-2019</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1160-7997</idno>
                  <idno type="IDREF">https://www.idref.fr/103687580</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/Z-2994-2019</idno>
                  <affiliation ref="#struct-581183"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques</title>
                  <date type="start">2020-10-13</date>
                  <settlement>Le Havre (e-congrès)</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">ERTMS</term>
                <term xml:lang="fr">Approche orientée modèles</term>
                <term xml:lang="fr">Méthodes de vérification formelle</term>
                <term xml:lang="fr">Sécurité ferroviaire</term>
                <term xml:lang="fr">GNSS</term>
                <term xml:lang="fr">Localisation ferroviaire</term>
              </keywords>
              <classCode scheme="halDomain" n="spi">Engineering Sciences [physics]</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="fr">
              <p>Ce papier présente une approche modulaire et paramétrique pour évaluer la sécurité des systèmes avec GNSS dans la signalisation ferroviaire. Le système complexe est décomposé en modules puis modélisé de façon formelle. Ce travail s'inscrit dans le cadre d'une méthode de sécurité générique.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-581183" status="VALID">
          <idno type="RNSR">201320680B</idno>
          <orgName>Évaluation des Systèmes de Transports Automatisés et de leur Sécurité</orgName>
          <orgName type="acronym">COSYS-ESTAS</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>20 rue Elisée Reclus, BP317, 59666 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.estas.ifsttar.fr/linstitut/cosys/laboratoires/estas-ifsttar/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-580722" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-580722" status="VALID">
          <idno type="ROR">https://ror.org/03x42jk29</idno>
          <orgName>Université Gustave Eiffel</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Cité Descartes, 5 Boulevard Descartes • Champs-sur-Marne, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-gustave-eiffel.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>