# Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus

arXiv: https://arxiv.org/abs/2403.01918 · HTML: https://mlsanity.com/paper/2403.01918/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 4 of its 17 references that are in the map.
- First posted on arXiv 4 Mar 2024.

## Builds on (most cited first, 4 of 4)

- [Are Transformers More Robust? Towards Exact Robustness Verification for Transformers](https://mlsanity.com/paper/2202.03932/) (2022)
- [OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems](https://mlsanity.com/paper/2306.10296/) (2023)
- [A Methodology for Automating Assurance Case Generation](https://mlsanity.com/paper/2003.05388/) (2020)
- [Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components](https://mlsanity.com/paper/2311.03362/) (2023)

## Abstract (arXiv)

An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-specific instantiations of assurance case patterns are both costly and time-consuming. It becomes especially complex to maintain an assurance case for a system when the requirements of the System-Under-Assurance change, or an assurance claim becomes invalid due to, e.g., degradation of a systems component, as common when deploying learning-enabled components. In this paper, we report on our preliminary experience leveraging the tool integration framework Evidential Tool Bus (ETB) for the construction and continuous maintenance of an assurance case from a predefined assurance case pattern. Specifically, we demonstrate the assurance process on an industrial Automated Valet Parking system from the automotive domain. We present the formalization of the provided assurance case pattern in the ETB processable logical specification language of workflows. Our findings show that ETB is able to create and maintain evidence required for the construction of an assurance case.