Systematic Specification of a Service Safety Monitor for Autonomous Vehicles - Critical Automotive applications : Robustness & Safety
Communication Dans Un Congrès Année : 2019

Systematic Specification of a Service Safety Monitor for Autonomous Vehicles

Résumé

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.
Fichier principal
Vignette du fichier
CARS_2019_paper_4.pdf (451.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02308457 , version 1 (08-10-2019)

Identifiants

  • HAL Id : hal-02308457 , version 1

Citer

Nikita Bhardwaj Haupt, Peter Liggesmeyer. Systematic Specification of a Service Safety Monitor for Autonomous Vehicles. 5th International Workshop on Critical Automotive Applications: Robustness & Safety, Sep 2019, Naples, Italy. ⟨hal-02308457⟩

Collections

CARS2019
108 Consultations
117 Téléchargements

Partager

More