DesCert：面向认证的设计
软件工程
2022-03-30 v1
摘要
DARPA 软件自动快速认证（ARCOS）计划的目标是“自动化软件保障证据的评估，使认证者能够快速判定系统风险可接受”。作为该计划的一部分，DesCert 项目聚焦于新软件的保障驱动开发。DesCert 团队由 SRI International、Honeywell Research 与华盛顿大学组成。我们采用了一种正式的、基于工具的方法来构建由严谨证据支撑的软件制品。DesCert 工作流将证据生成集成到设计流程中，该流程从需求捕获与分析，到将高层软件需求分解为具有断言式契约的架构属性与软件组件，再到可动态与静态分析的软件。所生成的证据通过保障本体进行组织，并集成到 RACK 知识库中。
引用
@article{arxiv.2203.15178,
title = {DesCert: Design for Certification},
author = {Natarajan Shankar and Devesh Bhatt and Michael Ernst and Minyoung Kim and Srivatsan Varadarajan and Suzanne Millstein and Jorge Navas and Jason Biatek and Huascar Sanchez and Anitha Murugesan and Hao Ren},
journal= {arXiv preprint arXiv:2203.15178},
year = {2022}
}
备注
142 pages, 63 figures