<?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-00801584</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-03T09:15:00+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers</title>
            <author role="crp">
              <persName>
                <forename type="first">Ahmed</forename>
                <surname>Mekki</surname>
              </persName>
              <email type="md5">21c01d8a72366c39660c2b0c5762f8cf</email>
              <email type="domain">ifsttar.fr</email>
              <idno type="idhal" notation="numeric">938128</idno>
              <idno type="halauthorid" notation="string">643596-938128</idno>
              <affiliation ref="#struct-388410"/>
            </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-92973"/>
              <affiliation ref="#struct-170023"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Armand</forename>
                <surname>Toguyeni</surname>
              </persName>
              <email type="md5">f4e4ede94d91b3e3d05fd621ef5224ef</email>
              <email type="domain">ec-lille.fr</email>
              <idno type="idhal" notation="numeric">847799</idno>
              <idno type="halauthorid" notation="string">149607-847799</idno>
              <affiliation ref="#struct-388410"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Armand</forename>
                <surname>Toguyeni</surname>
              </persName>
              <email type="md5">f01b9629ce7994383359cfec877b730c</email>
              <email type="domain">centralelille.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-03-17 17:38:38</date>
              <date type="whenModified">2024-05-31 18:32:03</date>
              <date type="whenReleased">2013-03-17 17:38:38</date>
              <date type="whenProduced">2009-07-02</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="181547">
                <persName>
                  <forename>Armand</forename>
                  <surname>Toguyeni</surname>
                </persName>
                <email type="md5">f01b9629ce7994383359cfec877b730c</email>
                <email type="domain">centralelille.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00801584</idno>
            <idno type="halUri">https://hal.science/hal-00801584</idno>
            <idno type="halBibtex">mekki:hal-00801584</idno>
            <idno type="halRefHtml">&lt;i&gt;Third International Workshop on Verification and Evaluation of Computer and Communication Systems&lt;/i&gt;, Jul 2009, Rabat, Morocco. pp.112-124</idno>
            <idno type="halRef">Third International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco. pp.112-124</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="IFSTTAR">Ifsttar</idno>
            <idno type="stamp" n="CRISTAL">Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)</idno>
            <idno type="stamp" n="CRISTAL-MOSES" corresp="CRISTAL">CRISTAL-MOSES</idno>
            <idno type="stamp" n="UNIV-LILLE">Université de Lille</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>
          </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">Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Ahmed</forename>
                    <surname>Mekki</surname>
                  </persName>
                  <email type="md5">21c01d8a72366c39660c2b0c5762f8cf</email>
                  <email type="domain">ifsttar.fr</email>
                  <idno type="idhal" notation="numeric">938128</idno>
                  <idno type="halauthorid" notation="string">643596-938128</idno>
                  <affiliation ref="#struct-388410"/>
                </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-92973"/>
                  <affiliation ref="#struct-170023"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Armand</forename>
                    <surname>Toguyeni</surname>
                  </persName>
                  <email type="md5">f4e4ede94d91b3e3d05fd621ef5224ef</email>
                  <email type="domain">ec-lille.fr</email>
                  <idno type="idhal" notation="numeric">847799</idno>
                  <idno type="halauthorid" notation="string">149607-847799</idno>
                  <affiliation ref="#struct-388410"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of VECoS'09</title>
                <meeting>
                  <title>Third International Workshop on Verification and Evaluation of Computer and Communication Systems</title>
                  <date type="start">2009-07-02</date>
                  <date type="end">2009-07-03</date>
                  <settlement>Rabat</settlement>
                  <country key="MA">Morocco</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">112-124</biblScope>
                  <date type="datePub">2009-07-02</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-au">Computer Science [cs]/Automatic Control Engineering</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>The work presented in this paper is part of a project that aims to develop of a new approach to time-constrained system verification based on UML. In fact, being relatively easy to learn and use, UML is very popular, unlike formal methods. Nevertheless, formal models provide developers with several advantages: they can be used for activities, such as properties verification, which are crucial for critical system development. Such activities are less effective when carried out on UML models. Also, because UML semantics is informal, the automatic verification of UML models is directly unfeasible. In this paper, we propose a new verification approach that takes advantage of UML Statecharts model to implement a new technique based on both Timed Automata Observers and model checking. The contributions of the paper are the definition of new time constraints (properties) taxonomy and the definition of a Statecharts patterns' base. These patterns are then translated to Timed Automata Observers. The obtained observers are synchronized with the system specification, thus reducing the verification task to a reachability analysis.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-388410" status="OLD">
          <orgName>Systèmes Tolérants aux Fautes</orgName>
          <orgName type="acronym">STF</orgName>
          <desc>
            <address>
              <addrLine>Cité ScientifiqueCS 2004859651 VILLENEUVE D’ASCQ Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lagis.cnrs.fr/Equipe-STF,175</ref>
          </desc>
          <listRelation>
            <relation active="#struct-410272" type="direct"/>
            <relation name="UMR9189" active="#struct-120930" type="indirect"/>
            <relation name="UMR9189" active="#struct-374570" type="indirect"/>
            <relation name="UMR9189" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92973" status="OLD">
          <idno type="IdRef">026404184</idno>
          <idno type="ROR">https://ror.org/0546v5182</idno>
          <orgName>Université de Lille, Sciences et Technologies</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille1.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-170023" status="OLD">
          <orgName>Évaluation des Systèmes de Transports Automatisés et de leur Sécurité</orgName>
          <orgName type="acronym">IFSTTAR/ESTAS</orgName>
          <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="laboratory" xml:id="struct-410272" status="VALID">
          <idno type="IdRef">18388695X</idno>
          <idno type="RNSR">201521249L</idno>
          <idno type="ROR">https://ror.org/05vrs3189</idno>
          <idno type="Wikidata">Q116959497</idno>
          <orgName>Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189</orgName>
          <orgName type="acronym">CRIStAL</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lille - Campus scientifique - Bâtiment ESPRIT - Avenue Henri Poincaré - 59655 Villeneuve d’Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cristal.univ-lille.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR9189" active="#struct-120930" type="direct"/>
            <relation name="UMR9189" active="#struct-374570" type="direct"/>
            <relation name="UMR9189" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-120930" status="VALID">
          <idno type="IdRef">256304629</idno>
          <idno type="ISNI">0000000122034461</idno>
          <idno type="ROR">https://ror.org/01x441g73</idno>
          <orgName>Centrale Lille</orgName>
          <desc>
            <address>
              <addrLine>École Centrale de Lille - Cité Scientifique - CS 20048 59651 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://centralelille.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-374570" status="VALID">
          <idno type="IdRef">223446556</idno>
          <idno type="ISNI">0000 0001 2242 6780</idno>
          <idno type="ROR">https://ror.org/02kzqn938</idno>
          <idno type="Wikidata">Q3551621</idno>
          <orgName>Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>EPE Université de Lille. -- 42 rue Paul Duez, 59000 Lille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-lille.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>
        <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>