Goal-Aware RSS for Complex Scenarios via Program Logic

  title={Goal-Aware RSS for Complex Scenarios via Program Logic},
  author={Ichiro Hasuo and Clovis Eberhart and James Frederick Haydon and J{\'e}r{\'e}my Dubut and Rose Bohrer and Tsutomu Kobayashi and Sasinee Pruekprasert and Xiaoyi Zhang and Erik Andr'e Pallas and Akihisa Yamada and Kohei Suenaga and Fuyuki Ishikawa and Kenji Kamijo and Yoshiyuki Shinya and Takamasa Suetomi},
—We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement—in addition to collision avoidance as in the original RSS— requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller… 



Towards Standardization of AV Safety: C++ Library for Responsibility Sensitive Safety

It is shown how the C++ Library for Responsibility Sensitive Safety can be used to explore the usefulness of the RSS model through parameter exploration and analysis on minimum safe longitudinal distance, ($d_{min}$), considering different weather conditions.

Risk-Aware Safety Layer for AV Behavior Planning

This work proposes to consider the risk of a driving situation inside RSS, a novel risk-aware RSS approach that allows for significant reductions in safety margins in a situation-dependent manner, while risk limits are maintained, thus achieving the desired balance between safety and usefulness.

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search

  • Yixing LuoXiaoyi Zhang Tao Xie
  • Computer Science
    2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • 2021
This paper introduces the notion of requirements violation pattern to characterize a specific combination of requirements violations and proposes a testing approach named EMOOD that can effectively generate test scenarios to expose as many requirements violation patterns as possible.

Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization

This paper presents an introduction to RSS, one that is expected to bridge between different research communities and pave the way to a logical theory of RSS, its mathematical formalization, and software tools of practical use.

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency

A new compositional logic for verifying safety properties of shared variable concurrency is presented, in which, in order to characterize infinite computations, a Hoare-style I/pre/post format is

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty

An automated workflow that takes an Event-B model of an uncertainty-unaware controller and a specification of uncertainty as input and automatically robustifies the controller so that it satisfies safety even under the uncertainty.

Safety Score: A Quantitative Approach to Guiding Safety-Aware Autonomous Vehicle Computing System Design

A field study indicates that traditional computing system performance metrics, such as tail latency, average latency, maximum latency, and timeout, cannot fully satisfy the safety requirement for AV computing system design.

On a Formal Model of Safe and Scalable Self-driving Cars

A white-box, interpretable, mathematical model for safety assurance, which the authors call-Sensitive Safety (RSS), and a design of a system that adheres to the safety assurance requirements and is scalable to millions of cars.

Java Program Verification via a Hoare Logic with Abrupt Termination

This paper formalises a semantics for statements and expressions (in sequential imperative languages) which includes non-termination, normal termination and abrupt termination (e.g. because of an

Model Predictive Instantaneous Safety Metric for Evaluation of Automated Driving Systems

A Model Predictive Instantaneous Safety Metric (MPrISM) is introduced, which determines the safety status of the SV, considering the worst-case safety scenario for a given traffic snapshot, and induces theoretical guarantees of safety in terms of the time to collision under standard assumptions.