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

arXiv:2403.01918v1 Announce Type: cross
Abstract: 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 …

abstract ads arxiv become case certification continuous cs.lg cs.se integral patterns safety safety-critical systems tool type