利用 Evidential Tool Bus 面向自动驾驶系统的持续保证案例创建

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