用行为描述自动生成系统解释，提升复杂系统可信赖性。
Behavior-Driven Explainability
- 基于行为驱动开发的规范生成解释，直接映射功能行为
- 在RISC-V处理器异常场景中验证，支持设计阶段解释需求
- 适合安全关键系统设计，提升团队对系统行为的信任
随着系统复杂度大幅提升，个人或团队难以全面理解系统的全部方面，尤其在设计、维护等全生命周期阶段。对于安全关键系统而言，确保最终设计可被信任至关重要。因此，可解释性已成为现代系统的重要要求。本文提出行为驱动可解释性（BDX），利用行为驱动开发（BDD）中结构化的场景描述来生成解释。这些场景以每个功能的行动序列形式定义，可直接转化为解释内容。该方法适用于任何开发阶段或抽象层级，案例研究展示了其在RISC-V处理器异常解释中的有效性，显著增强了系统设计阶段的透明性与可追溯性。
原文摘要 · Abstract (English)
As system complexity has vastly increased, it has become significantly more challenging for a single person or a team to fully understand all aspects of an entire system. Particularly, this holds when considering all the different stages of a system's development life cycle, such as, e.g., design or maintenance. But especially for safety-critical systems it is essential that the final design can be trusted. Because of this, explainability is becoming an important requirement for modern systems. In this paper, we aim to achieve this goal by utilizing Behavior-Driven Development (BDD), where the expected system behavior is given in the form of structured scenarios. These scenarios give a sequence of actions for each functionality, and by this can be directly translated into explanations. We introduce this method of deriving explanations based on the specification as Behavior-Driven Explainability (BDX). While applicable at any development stage or abstraction level, a case study for the explanation of exceptions in a RISC-V processor shows the support this concept adds during system design.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。