<?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-01263461</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-24T15:58:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">HCPN modeling for ERTMS requirements specification</title>
            <author role="aut">
              <persName>
                <forename type="first">Zakaryae</forename>
                <surname>Boudi</surname>
              </persName>
              <idno type="halauthorid">989720-0</idno>
              <affiliation ref="#struct-222119"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">El Miloudi</forename>
                <surname>El Koursi</surname>
              </persName>
              <email type="md5">666c853a665957bb2216dd3adacdffc7</email>
              <email type="domain">inrets.fr</email>
              <idno type="idhal" notation="string">el-miloudiel-koursi</idno>
              <idno type="idhal" notation="numeric">1354754</idno>
              <idno type="halauthorid" notation="string">321273-1354754</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1153-1929</idno>
              <affiliation ref="#struct-222119"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Simon</forename>
                <surname>Collart-Dutilleul</surname>
              </persName>
              <idno type="halauthorid">381158-0</idno>
              <affiliation ref="#struct-222119"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ifsttar</forename>
                <surname>Cadic</surname>
              </persName>
              <email type="md5">ac6d72b766ba563125152d1789e6a340</email>
              <email type="domain">ifsttar.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-01-27 17:17:09</date>
              <date type="whenWritten">2015-01-01</date>
              <date type="whenModified">2024-12-03 15:42:34</date>
              <date type="whenReleased">2016-01-27 17:17:09</date>
              <date type="whenProduced">2015-01-08</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="128222">
                <persName>
                  <forename>Ifsttar</forename>
                  <surname>Cadic</surname>
                </persName>
                <email type="md5">ac6d72b766ba563125152d1789e6a340</email>
                <email type="domain">ifsttar.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01263461</idno>
            <idno type="halUri">https://hal.science/hal-01263461</idno>
            <idno type="halBibtex">boudi:hal-01263461</idno>
            <idno type="halRefHtml">&lt;i&gt;HASE 2015, High Assurance Systems Engineering&lt;/i&gt;, Jan 2015, Daytona Beach, United States. 2p</idno>
            <idno type="halRef">HASE 2015, High Assurance Systems Engineering, Jan 2015, Daytona Beach, United States. 2p</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFSTTAR">Ifsttar</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-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="IFSTTAR-UNIVEIFFEL">Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux</idno>
            <idno type="stamp" n="COSYS">Composants et systèmes</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">HASE 2015, High Assurance Systems Engineering , Daytona Beach, ETATS-UNIS, 08-/01/2015 - 09/01/2015</note>
            <note type="audience" n="1">Not set</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="fr">HCPN modeling for ERTMS requirements specification</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Zakaryae</forename>
                    <surname>Boudi</surname>
                  </persName>
                  <idno type="halauthorid">989720-0</idno>
                  <affiliation ref="#struct-222119"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">El Miloudi</forename>
                    <surname>El Koursi</surname>
                  </persName>
                  <email type="md5">666c853a665957bb2216dd3adacdffc7</email>
                  <email type="domain">inrets.fr</email>
                  <idno type="idhal" notation="string">el-miloudiel-koursi</idno>
                  <idno type="idhal" notation="numeric">1354754</idno>
                  <idno type="halauthorid" notation="string">321273-1354754</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1153-1929</idno>
                  <affiliation ref="#struct-222119"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Simon</forename>
                    <surname>Collart-Dutilleul</surname>
                  </persName>
                  <idno type="halauthorid">381158-0</idno>
                  <affiliation ref="#struct-222119"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">DOC00020270</idno>
                <title level="m">HASE 2015, High Assurance Systems Engineering</title>
                <meeting>
                  <title>HASE 2015, High Assurance Systems Engineering</title>
                  <date type="start">2015-01-08</date>
                  <date type="end">2015-01-09</date>
                  <settlement>Daytona Beach</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">2p</biblScope>
                  <date type="datePub">2015-01-01</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">INTEROPERABILITE</term>
                <term xml:lang="fr">METHODE FORMELLE</term>
                <term xml:lang="fr">ERTMS</term>
                <term xml:lang="fr">MODELISATION</term>
                <term xml:lang="fr">SECURITE</term>
                <term xml:lang="fr">TRANSPORT FERROVIAIRE</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</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>Ensuring railway interoperability in Europe implies that the functional specifications have a common understanding by all the stakeholders. One solution to guarantee that point is the formalization of the specification. Under the French project called 'PERFECT', we aim to formalize railway specifications and validate various systems in order to determine, using software tools, the compliance between ERTMS and National railway requirements. The big challenge is to provide a user-friendly formalization with verification tools. In this paper, we present our preliminary exploration of the use of Hierarchical Colored Petri Net (HCPN) in modeling ERTMS/ETCS (European Rail Traffic Management System/European Train Control System) functional specifications. The purpose of this contribution is to point the benefits in using HCPNs, which are widely used among railway operators, for understanding the specification and analyzing system safety features. The present work focuses on modeling the functional terms of establishing a communication session between the on-board equipment and the Radio Block Center specified in the System Requirements Specification (SRS).</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-222119" status="OLD">
          <orgName>Évaluation des Systèmes de Transports Automatisés et de leur Sécurité</orgName>
          <orgName type="acronym">IFSTTAR/COSYS/ESTAS</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>20 rue Elisée Reclus, BP317, 59666 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ifsttar.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-222110" type="direct"/>
            <relation active="#struct-301713" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-222110" status="OLD">
          <idno type="ROR">https://ror.org/02xwvzv71</idno>
          <orgName>Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux</orgName>
          <orgName type="acronym">IFSTTAR</orgName>
          <date type="start">2011-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>14-20 Boulevard Newton - Cité Descartes, Champs sur Marne - F-77447 Marne la Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ifsttar.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301713" status="OLD">
          <orgName>PRES Université Lille Nord de France</orgName>
          <date type="start">2009-01-01</date>
          <date type="end">2014-12-31</date>
          <desc>
            <address>
              <addrLine>PRES - pôle de recherche et d'enseignement supérieur Université de Lille Nord de France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>