首页> 外文会议>IEEE International Verification and Security Workshop >Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation
【24h】

Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation

机译:走向自我解释的数字系统:下一代的设计方法

获取原文

摘要

As digital systems get ever more complex, their behaviour may at times appear unfathomable. Users will only be prepared to accept this if they are convinced that the system does indeed work correctly. Thus, we argue the need for self-explaining systems: systems that are able to explain their behaviour, and the reasons for it. In this paper, we propose first steps towards a design methodology for such systems, and argue that beyond user acceptance, self-explanation also has other applications such as self-verification and reconfiguration. We propose a conceptual framework for self-explaining systems, discuss how to achieve completeness, and consider implementation aspects.
机译:随着数字系统变得越来越复杂,它们的行为有时可能变得难以理解。用户只有在确信系统确实可以正常工作的情况下,才准备接受此请求。因此,我们认为需要自我解释的系统:能够解释其行为的系统及其原因。在本文中,我们提出了针对此类系统的设计方法的第一步,并指出,除了用户接受之外,自我解释还具有其他应用程序,例如自我验证和重新配置。我们为自解释系统提出了一个概念框架,讨论了如何实现完整性,并考虑了实现方面。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号