行为驱动的可解释性
Behavior-Driven Explainability
浏览论文内容
中文总结 AI 辅助
研究针对系统复杂性增加致理解困难的问题，利用行为驱动开发（BDD）提出行为驱动的可解释性（BDX）方法，通过结构化场景给出功能操作序列并转化为解释，以RISC-V处理器为例展示其在系统设计中的支持作用。
中文摘要 AI 辅助
随着系统复杂性大幅增加，个人或团队全面理解整个系统的所有方面变得更具挑战性，尤其是在考虑系统开发生命周期的不同阶段时。对于安全关键系统，最终设计必须可信，因此可解释性成为现代系统的重要要求。本文旨在通过利用行为驱动开发（BDD）实现这一目标，其中预期系统行为以结构化场景的形式给出，这些场景为每个功能提供一系列操作，可直接转化为解释。我们将这种基于规范推导解释的方法称为行为驱动的可解释性（BDX）。虽然该方法适用于任何开发阶段或抽象级别，但对RISC-V处理器中异常解释的案例研究表明了这一概念在系统设计中的支持作用。
英文摘要
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.
