<?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-02158973</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-19T09:47:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Robert</forename>
                <surname>Davis</surname>
              </persName>
              <email type="md5">a0fdf09fd44ff2f3d1a57c4d047e54cb</email>
              <email type="domain">york.ac.uk</email>
              <idno type="idhal" notation="string">robert-davis</idno>
              <idno type="idhal" notation="numeric">5951</idno>
              <idno type="halauthorid" notation="string">27705-5951</idno>
              <idno type="IDREF">https://www.idref.fr/229969402</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5772-0928</idno>
              <affiliation ref="#struct-124942"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Liliana</forename>
                <surname>Cucu-Grosjean</surname>
              </persName>
              <email type="md5">07272c080da700daea86b2ab20d713ea</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">884506</idno>
              <idno type="halauthorid" notation="string">508347-884506</idno>
              <affiliation ref="#struct-543939"/>
            </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>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-06-18 14:22:11</date>
              <date type="whenWritten">2019</date>
              <date type="whenModified">2025-07-22 08:34:02</date>
              <date type="whenReleased">2019-06-18 14:22:11</date>
              <date type="whenProduced">2019</date>
            </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-02158973</idno>
            <idno type="halUri">https://inria.hal.science/hal-02158973</idno>
            <idno type="halBibtex">davis:hal-02158973</idno>
            <idno type="halRefHtml">&lt;i&gt;Leibniz Transactions on Embedded Systems&lt;/i&gt;, 2019, 6 (1), pp.60. &lt;a target="_blank" href="https://dx.doi.org/10.4230/LITES-v006-i001-a003"&gt;&amp;#x27E8;10.4230/LITES-v006-i001-a003&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Leibniz Transactions on Embedded Systems, 2019, 6 (1), pp.60. &amp;#x27E8;10.4230/LITES-v006-i001-a003&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </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="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</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">A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Robert</forename>
                    <surname>Davis</surname>
                  </persName>
                  <email type="md5">a0fdf09fd44ff2f3d1a57c4d047e54cb</email>
                  <email type="domain">york.ac.uk</email>
                  <idno type="idhal" notation="string">robert-davis</idno>
                  <idno type="idhal" notation="numeric">5951</idno>
                  <idno type="halauthorid" notation="string">27705-5951</idno>
                  <idno type="IDREF">https://www.idref.fr/229969402</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5772-0928</idno>
                  <affiliation ref="#struct-124942"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Liliana</forename>
                    <surname>Cucu-Grosjean</surname>
                  </persName>
                  <email type="md5">07272c080da700daea86b2ab20d713ea</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">884506</idno>
                  <idno type="halauthorid" notation="string">508347-884506</idno>
                  <affiliation ref="#struct-543939"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">107167</idno>
                <idno type="issn">2199-2002</idno>
                <title level="j">Leibniz Transactions on Embedded Systems</title>
                <imprint>
                  <publisher>European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.</publisher>
                  <biblScope unit="volume">6</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">60</biblScope>
                  <date type="datePub">2019</date>
                  <date type="dateEpub">2019</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4230/LITES-v006-i001-a003</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Timing analysis</term>
                <term xml:lang="en">Real-time</term>
                <term xml:lang="en">Probabilistic</term>
              </keywords>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.E.0.2"/>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.E.0.2.0.2"/>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</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>This survey covers probabilistic timing analysis techniques for real-time systems. It reviews and critiques the key results in the field from its origins in 2000 to the latest research published up to the end of August 2018. The survey provides a taxonomy of the different methods used, and a classification of existing research. A detailed review is provided covering the main subject areas: static probabilistic timing analysis, measurement-based probabilistic timing analysis, and hybrid methods. In addition, research on supporting mechanisms and techniques, case studies, and evaluations is also reviewed. The survey concludes by identifying open issues, key challenges and possible directions for future research.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-124942" status="VALID">
          <idno type="ROR">https://ror.org/04m01e293</idno>
          <orgName>University of York [York, UK]</orgName>
          <desc>
            <address>
              <addrLine>Heslington, York, YO10 5DD</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.york.ac.uk/</ref>
          </desc>
        </org>
        <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="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>