AdvoCATE: An Assurance Case Automation Toolset
AdvoCATE: An Assurance Case Automation Toolset
复制标题
AdvoCATE：保障案例自动化工具集
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Josef M. Pohl
中科院分区：
文献类型：
--
作者：
E. Denney;Ganesh J. Pai;Josef M. Pohl
我们提出了AdvoCATE，一个保证案例自动化工具，以支持安全案例的自动化构建和评估。除了手动创建和编辑之外，它还具有越来越多的自动化功能。在本文中，我们强调其功能（一）包括特定的元数据，（二）翻译和从各种格式，包括其他广泛使用的安全案例工具，（三）组成，自动生成的安全案例片段，和（四）计算安全案例的度量，我们相信，将提供一个透明的，定量的基础上评估的状态的安全情况下，因为它的演变。该工具主要支持目标结构化表示法（GSN），符合GSN社区标准版本1和对象建模组论证元模型（OMG ARM）。
We present AdvoCATE, an Assurance Case Automation ToolsEt, to support the automated construction and assessment of safety cases. In addition to manual creation and editing, it has a growing suite of automated features. In this paper, we highlight its capabilities for (i) inclusion of specific metadata, (ii) translation to and from various formats, including those of other widely used safety case tools, (iii) composition, with auto-generated safety case fragments, and (iv) computation of safety case metrics which, we believe, will provide a transparent, quantitative basis for assessment of the state of a safety case as it evolves. The tool primarily supports the Goal Structuring Notation (GSN), is compliant with the GSN Community Standard Version 1, and the Object Modeling Group Argumentation Metamodel (OMG ARM).
DOI：
10.1145/1449913.1449926
发表时间：
2008-10
期刊：
--
影响因子：
--
作者：
E. Denney;B. Fischer
通讯作者：
E. Denney;B. Fischer