<?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-04005696</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-20T02:59:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">STARTREC: Verification of a safety-critical system for autonomous vehicles</title>
            <author role="aut">
              <persName>
                <forename type="first">Marwan Wehaiba El</forename>
                <surname>Khazen</surname>
              </persName>
              <idno type="halauthorid">2407484-0</idno>
              <affiliation ref="#struct-543939"/>
              <affiliation ref="#struct-1062093"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Slim Ben</forename>
                <surname>Amor</surname>
              </persName>
              <idno type="halauthorid">2703156-0</idno>
              <affiliation ref="#struct-1062093"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Liliana</forename>
                <surname>Cucu-Grosjean</surname>
              </persName>
              <idno type="halauthorid">508347-0</idno>
              <affiliation ref="#struct-543939"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Arnaud</forename>
                <surname>Dumérat</surname>
              </persName>
              <idno type="halauthorid">2740081-0</idno>
              <affiliation ref="#struct-545263"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Xavier</forename>
                <surname>Jean</surname>
              </persName>
              <idno type="halauthorid">1043831-0</idno>
              <affiliation ref="#struct-545263"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kossivi</forename>
                <surname>Kougblenou</surname>
              </persName>
              <idno type="halauthorid">2140119-0</idno>
              <affiliation ref="#struct-1062093"/>
              <affiliation ref="#struct-543939"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Benjamin</forename>
                <surname>Monate</surname>
              </persName>
              <idno type="halauthorid">489677-0</idno>
              <affiliation ref="#struct-491249"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Liliana</forename>
                <surname>Cucu-Grosjean</surname>
              </persName>
              <email type="md5">07272c080da700daea86b2ab20d713ea</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder>STARTREC</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-02-27 07:39:06</date>
              <date type="whenModified">2025-07-22 08:34:02</date>
              <date type="whenReleased">2023-02-27 09:16:18</date>
              <date type="whenProduced">2022-04-12</date>
              <date type="whenEndEmbargoed">2023-02-27</date>
              <ref type="file" target="https://inria.hal.science/hal-04005696v1/document">
                <date notBefore="2023-02-27"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-04005696v1/file/ERTS2022-vCameraReady.pdf" id="file-4005696-3490067">
                <date notBefore="2023-02-27"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="110258">
                <persName>
                  <forename>Liliana</forename>
                  <surname>Cucu-Grosjean</surname>
                </persName>
                <email type="md5">07272c080da700daea86b2ab20d713ea</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04005696</idno>
            <idno type="halUri">https://inria.hal.science/hal-04005696</idno>
            <idno type="halBibtex">khazen:hal-04005696</idno>
            <idno type="halRefHtml">&lt;i&gt;ERTS 2022 - Embedded Real Time Systems&lt;/i&gt;, Apr 2022, Toulouse, France</idno>
            <idno type="halRef">ERTS 2022 - Embedded Real Time Systems, Apr 2022, Toulouse, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4005696-3490067"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="ERTS2022">Proceeding of the 11th European Congress on Embedded Real Time Systems</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">STARTREC: Verification of a safety-critical system for autonomous vehicles</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marwan Wehaiba El</forename>
                    <surname>Khazen</surname>
                  </persName>
                  <idno type="halauthorid">2407484-0</idno>
                  <affiliation ref="#struct-543939"/>
                  <affiliation ref="#struct-1062093"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Slim Ben</forename>
                    <surname>Amor</surname>
                  </persName>
                  <idno type="halauthorid">2703156-0</idno>
                  <affiliation ref="#struct-1062093"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Liliana</forename>
                    <surname>Cucu-Grosjean</surname>
                  </persName>
                  <idno type="halauthorid">508347-0</idno>
                  <affiliation ref="#struct-543939"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Arnaud</forename>
                    <surname>Dumérat</surname>
                  </persName>
                  <idno type="halauthorid">2740081-0</idno>
                  <affiliation ref="#struct-545263"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Xavier</forename>
                    <surname>Jean</surname>
                  </persName>
                  <idno type="halauthorid">1043831-0</idno>
                  <affiliation ref="#struct-545263"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kossivi</forename>
                    <surname>Kougblenou</surname>
                  </persName>
                  <idno type="halauthorid">2140119-0</idno>
                  <affiliation ref="#struct-1062093"/>
                  <affiliation ref="#struct-543939"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Benjamin</forename>
                    <surname>Monate</surname>
                  </persName>
                  <idno type="halauthorid">489677-0</idno>
                  <affiliation ref="#struct-491249"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>ERTS 2022 - Embedded Real Time Systems</title>
                  <date type="start">2022-04-12</date>
                  <date type="end">2022-04-15</date>
                  <settlement>Toulouse</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Timing verification</term>
                <term xml:lang="en">Formal verification</term>
                <term xml:lang="en">Autonomous vehicles</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>In this paper, we present our ongoing work on verification activities of the software used in a safety-critical embedded system dedicated to autonomous vehicles. These activities are focused on the use of formal methods for the verification of functional properties on the embedded code, and statistical methods for the analysis of its Worst-Case Execution Time (WCET). The project's goal is to address some technical barriers of software verification that will impact the safety demonstration of future autonomous driving systems. These barriers are challenging because of the high complexity of an embedded hardware and software, and appeal for methods and tools reaching the highest level of rigorousness.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-543939" status="VALID">
          <idno type="RNSR">201822841D</idno>
          <idno type="ROR">https://ror.org/013c4e161</idno>
          <orgName>Adapter le raisonnement pire cas à différentes criticités</orgName>
          <orgName type="acronym">KOPERNIC</orgName>
          <date type="start">2018-07-03</date>
          <date type="end">2025-12-31</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/kopernic</ref>
          </desc>
          <listRelation>
            <relation active="#struct-454310" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1062093" status="VALID">
          <orgName>StatInf</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://statinf.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-545263" status="VALID">
          <orgName>EasyMile SAS</orgName>
          <desc>
            <address>
              <addrLine>Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.easymile.com/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-491249" status="VALID">
          <orgName>TrustInSoft</orgName>
          <orgName type="acronym">TIS</orgName>
          <desc>
            <address>
              <addrLine>222 Cour avenue du Maine75014 Paris, France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </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>
      </listOrg>
    </back>
  </text>
</TEI>