<?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-02308457</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-25T18:54:04+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Systematic Specification of a Service Safety Monitor for Autonomous Vehicles</title>
            <author role="aut">
              <persName>
                <forename type="first">Nikita</forename>
                <forename type="middle">Bhardwaj</forename>
                <surname>Haupt</surname>
              </persName>
              <email type="md5">ebe46c5ac87deae2bf9436dd27963df3</email>
              <email type="domain">cs.uni-kl.de</email>
              <idno type="idhal" notation="numeric">1055674</idno>
              <idno type="halauthorid" notation="string">1666381-1055674</idno>
              <affiliation ref="#struct-175400"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Peter</forename>
                <surname>Liggesmeyer</surname>
              </persName>
              <email type="md5">2002ded15663ae2e8b9a0dbb1e0a520c</email>
              <email type="domain">cs.uni-kl.de</email>
              <idno type="idhal" notation="numeric">995882</idno>
              <idno type="halauthorid" notation="string">724934-995882</idno>
              <affiliation ref="#struct-175400"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Matthieu</forename>
                <surname>Roy</surname>
              </persName>
              <email type="md5">2cc774ae4ae545900ca8af4f1e0a884c</email>
              <email type="domain">laas.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-10-08 15:10:40</date>
              <date type="whenModified">2025-09-24 10:16:02</date>
              <date type="whenReleased">2019-10-09 10:09:47</date>
              <date type="whenProduced">2019-09</date>
              <date type="whenEndEmbargoed">2019-10-08</date>
              <ref type="file" target="https://hal.science/hal-02308457v1/document">
                <date notBefore="2019-10-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02308457v1/file/CARS_2019_paper_4.pdf" id="file-2308457-2225682">
                <date notBefore="2019-10-08"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="131243">
                <persName>
                  <forename>Matthieu</forename>
                  <surname>Roy</surname>
                </persName>
                <email type="md5">2cc774ae4ae545900ca8af4f1e0a884c</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02308457</idno>
            <idno type="halUri">https://hal.science/hal-02308457</idno>
            <idno type="halBibtex">haupt:hal-02308457</idno>
            <idno type="halRefHtml">&lt;i&gt;5th International Workshop on Critical Automotive Applications: Robustness &amp; Safety&lt;/i&gt;, Sep 2019, Naples, Italy</idno>
            <idno type="halRef">5th International Workshop on Critical Automotive Applications: Robustness &amp; Safety, Sep 2019, Naples, Italy</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2308457-2225682"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CARS2019">Critical Automotive applications : Robustness &amp; Safety</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="en">Systematic Specification of a Service Safety Monitor for Autonomous Vehicles</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Nikita</forename>
                    <forename type="middle">Bhardwaj</forename>
                    <surname>Haupt</surname>
                  </persName>
                  <email type="md5">ebe46c5ac87deae2bf9436dd27963df3</email>
                  <email type="domain">cs.uni-kl.de</email>
                  <idno type="idhal" notation="numeric">1055674</idno>
                  <idno type="halauthorid" notation="string">1666381-1055674</idno>
                  <affiliation ref="#struct-175400"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Peter</forename>
                    <surname>Liggesmeyer</surname>
                  </persName>
                  <email type="md5">2002ded15663ae2e8b9a0dbb1e0a520c</email>
                  <email type="domain">cs.uni-kl.de</email>
                  <idno type="idhal" notation="numeric">995882</idno>
                  <idno type="halauthorid" notation="string">724934-995882</idno>
                  <affiliation ref="#struct-175400"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>5th International Workshop on Critical Automotive Applications: Robustness &amp; Safety</title>
                  <date type="start">2019-09</date>
                  <settlement>Naples</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">autonomous vehicles</term>
                <term xml:lang="en">safety rules</term>
                <term xml:lang="en">safety monitor</term>
                <term xml:lang="en">safety monitoring</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</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>Autonomous vehicles are complex safety critical systems that operate in uncertain and dynamic environment. To ensure safe behavior, possibly at all times in all possible situations, they must be aware of themselves, their environment and take decisions accordingly. To this end, safety monitoring is a valuable technique that allows the vehicle to observe its behavior and trigger corrective measures in case of any violations. In this paper, we present a systematic specification for such a safety monitor. The monitor is a collection of safety rules that are obtained by performing hazard and risk analysis based on the operational mode and environmental situation of the vehicle at the time of the hazard. The rules act like safety constraints for the vehicle and in case of a violation generate a trigger to bring vehicle back to a safe state.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-175400" status="VALID">
          <orgName>University of Kaiserslautern / Rheinland-Pfälzische Technische Universität Kaiserslautern</orgName>
          <orgName type="acronym">RPTU</orgName>
          <desc>
            <address>
              <addrLine>Gottlieb-Daimler-Straße Geb. 36, Raum 310, 67663 Kaiserslautern</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-kl.de/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>