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.

翻译：保障案例已成为安全关键系统认证中不可或缺的组成部分。虽然人工定义保障案例模式不可避免，但针对特定系统的保障案例模式实例化过程既昂贵又耗时。当被保障系统需求发生变化，或因系统组件退化（如部署学习组件时常见的情况）导致保障声明失效时，维护系统保障案例变得尤为复杂。本文报告了我们在利用工具集成框架"证据工具总线"（Evidential Tool Bus, ETB）从预定义保障案例模式构建并持续维护保障案例方面的初步经验。具体而言，我们以汽车领域的工业级自动泊车系统为例，展示了保障流程。我们提出了将所提供保障案例模式形式化为ETB可处理的工作流逻辑规范语言方案。研究结果表明，ETB能够创建并维护构建保障案例所需的证据。