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