Formal verification of safety architectures for automated driving
Safety architectures play a crucial role in the safety assurance of automated driving vehicles
(ADVs). They can be used as safety envelopes of black-box ADV controllers, and for …
(ADVs). They can be used as safety envelopes of black-box ADV controllers, and for …
Formal modelling of safety architecture for responsibility-aware autonomous vehicle via event-b refinement
T Kobayashi, M Bondu, F Ishikawa - International Symposium on Formal …, 2023 - Springer
Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in
society. This complexity is the core challenge in formally proving their safety conditions with …
society. This complexity is the core challenge in formally proving their safety conditions with …
Formal verification of intersection safety for automated driving
J Haydon, M Bondu, C Eberhart… - 2023 IEEE 26th …, 2023 - ieeexplore.ieee.org
We build on our recent work on formalization of responsibility-sensitive safety (RSS) and
present the first formal framework that enables mathematical proofs of the safety of control …
present the first formal framework that enables mathematical proofs of the safety of control …
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
J Reimann, N Mansion, J Haydon, B Bray… - Proceedings of the 39th …, 2024 - dl.acm.org
As the development of autonomous vehicles progresses, efficient safety assurance methods
become increasingly necessary. Safety assurance methods such as monitoring and …
become increasingly necessary. Safety assurance methods such as monitoring and …
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS
Autonomous vehicles (AVs) are expected to satisfy not only safety, but they also shall
achieve specific goals, eg, stop** at a particular location on a shoulder lane of a highway …
achieve specific goals, eg, stop** at a particular location on a shoulder lane of a highway …
STEAM & MoSAFE: SOTIF Error-and-Failure Model & Analysis for AI-Enabled Driving Automation
Driving Automation Systems (DAS) are subject to complex road environments and vehicle
behaviors and increasingly rely on sophisticated sensors and Artificial Intelligence (AI) …
behaviors and increasingly rely on sophisticated sensors and Artificial Intelligence (AI) …
Activities of National Institute of Informatics in Japan
M Kitsuregawa, S Urushidani, K Yamaji… - Communications of the …, 2023 - dl.acm.org
60 COMMUNICATIONS OF THE ACM| JULY 2023| VOL. 66| NO. 7 (for example, cattle
monitoring) and atmospheric phenomena (for example, polar mirage monitoring). In parallel …
monitoring) and atmospheric phenomena (for example, polar mirage monitoring). In parallel …
[HTML][HTML] The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
M Kitsuregawa, S Urushidani… - … of the ACM, 2023 - acmwebvm01.acm.org
The National Institute of Informatics (NII) is a national-level research and services institute
focusing on informatics in Japan. NII was formally established in 2000 by the Ministry of …
focusing on informatics in Japan. NII was formally established in 2000 by the Ministry of …
High-level Decision Making under Safety Constraints for Autonomous Vehicles
L Wang - 2024 - publikationen.bibliothek.kit.edu
Future transportation systems serve as a crucial foundations for enhancing human
productivity. Among these, automated driving has emerged as a vital technology with the …
productivity. Among these, automated driving has emerged as a vital technology with the …
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
OT De Candido - 2023 - mediatum.ub.tum.de
In this dissertation, we address the challenge of validating Machine Learning (ML)-based
Highly Automated Driving (HAD) functions. We develop validation safety arguments …
Highly Automated Driving (HAD) functions. We develop validation safety arguments …