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

保证案已成为认证安全关键系统的重要组成部分。虽然手动定义保证案模式是无法避免的，但系统特定实例化的保证案模式既昂贵又耗时。当所保证的系统的要求发生变化或者保证要求由于系统部件的退化等原因变得无效时，例如在部署学习能力组件时常见的情况，维护系统的保证案变得尤其复杂。在本文中，我们报道了利用证据工具总线（ETB）工具集成框架构建和持续维护预定义保证案模式的保证案的初步经验。具体而言，我们演示了在汽车领域的工业化自动泊车系统上的保证过程。我们在工作流程的ETB可处理逻辑规范语言中提供的保证案模式的形式化呈现。我们的研究结果表明，ETB能够创建和维护构建保证案所需的证据。

本文旨在利用Evidential Tool Bus（ETB）构建和持续维护一个预定义的保证案例模式，以解决安全关键系统认证中的成本和时间消耗问题。

本文提出了一种利用ETB框架来形式化提供的保证案例模式的方法，以创建和维护所需的证据，从而简化保证案例的构建和维护。

本文在汽车领域的自动泊车系统上展示了ETB框架的应用，阐述了该框架的形式化语言和实验结果，并指出该框架可以在系统需求变化或保证声明失效时进行持续维护。

最近的相关研究包括“自动化保证案例生成”和“保证案例自动化评估”。