机构名称：
¥ 6.0
摘要 基于论证的保证案例通常使用图形论证结构来表示和组织，在实践中越来越多地用于向利益相关者（例如监管机构）提供保证，确保系统在可靠性和安全性方面可用于其预期用途。一般而言，全面的系统范围保证论证会汇总大量不同信息，例如安全分析、需求分析、设计、验证和其他工程活动的结果。尽管存在多种保证案例工具，但许多对论证结构的理想操作（例如层次化和模块化抽象、论证模式实例化以及丰富结构化信息的包含/提取）都缺乏自动化支持。为了弥补这一自动化差距，过去四年来，我们一直在 NASA 艾姆斯研究中心开发一套保证案例自动化工具集 AdvoCATE。本文介绍了如何在保证案例论证结构的形式化基础上设计 AdvoCATE，以提供以下独特功能：a) 自动创建和组装保证论证；b) 将形式化方法集成到更广泛的保证论证中；c) 自动模式实例化；d) 分层抽象；e) 查询和视图；f) 论证验证。我们（和我们的同事）已在实际项目中使用 AdvoCATE 来确保无人机系统的安全。
保证案例开发的工具支持
主要关键词
相关文件推荐
