Mar, 2017

使用动态保障案例工程化可信自适应软件

PDF
TL;DR本文介绍了一种系统工程可信自适应软件的方法，并利用工具支持的 ENTRUST 工具来开发了嵌入式和基于服务的系统的概念证明自适应软件，同时生成动态保障案例来证明其适用性。
发现论文，激发创造
  • 用于可信体系结构的系统挑战

    研究了面对真实环境中的各种工程挑战，为保证具有人类中心社会价值的协调行为，设计可靠和可验证安全的人机交互，我们正在为值得信赖的具有不断发展、自主学习、意图驱动、探索性的、大规模非可预测的、增强的具体化系统识别一些紧迫的系统挑战，包括具有鲁棒性和人类中心的 AI，认知架构、不确定性量化、可信自我集成和持续分析和保证。

    Jan, 2022

  • 自适应系统中的安全关键适应

    该论文提出了一个安全关键的自适应系统的定义并描述了一套分类自适应系统中的不同类型的适应，并根据它们对系统安全和系统安全案例的影响提出了可分类的标准。分类中的每一种类型都使用安全关键的自适应热水系统的例子进行说明。

    Sep, 2022

  • 自持续软件系统（S4）：提高解释性和适应性的方向

    该论文介绍了一个新的概念，用于可解释和可适应的软件系统：自维持软件系统（S4）。S4 建立了现代软件系统中所有可用知识源之间的知识循环，以提高其可解释性和适应性。

    Jan, 2024

  • 适应性系统的意识要求和绩效管理：一项调查

    该篇论文综述了自适应系统在需求感知方面的最新研究，包括分类目前的自适应系统，评估了自适应方法，并基于多个概念对多个自适应模型进行了评估。

    Jan, 2023

  • 保证智能逻辑代理在可信与道德行为方面的表现

    在这篇论文中，我们提出 / 改进 / 扩展了基于动态（运行时）逻辑的自我检测技术，以确保自主智能代理的可靠和道德行为。

    Feb, 2024

  • 国防伦理人工智能方法：可信自主系统开发案例研究

    本研究介绍了在一个行业主导、政府资助的项目中建立受信任的自主系统 - Athena AI - 的案例研究，探讨了在技术开发中嵌入负责任的研究与创新对齐的伦理设计方法和原则的价值和影响。

    Jun, 2022

  • 算法保证在人 - 自主权信任关系中的定义、案例和调查

    本文调查了技术设计及使用中存在的信任问题，提出了保证技术可信的方法，并总结出几个关键思路，为以后的保证设计提供了指导。

    Aug, 2017

  • 评估自主系统的可信度

    研究探讨了自主系统的信任度和相关标准，并提出了一个可用于自主系统的信任度评估框架的大纲。

    May, 2023

  • 面向 Evidential 工具总线的 ADS 连续保证案例创建

    借助 Evidential Tool Bus（ETB）工具集成框架，本文报道了使用预定义的保证案例模式从事保证案例的构建和持续维护的初步经验，以满足安全关键系统的认证需求。

    Mar, 2024

  • 基于原则的 AI 和自主系统伦理保证论证

    该研究论文提出了一种基于四个核心道德原则的框架 - 一个伦理保证论证模式 - 来结构化系统化地推理出在特定情境下使用给定的人工智能 / 自主系统的道德可接受性，以此来扩展和应用保证论证方法，从而获得使用 AI 和自主系统时的可接受道德保证。

    Mar, 2022